About

I am full permanent research scientist at University of Luxembourg.

I am member of the Department of Computer Science (DCS), which is part of the Faculty of Science, Technology and Medicine (FSTM).

My research interests include modern software engineering methods, formal verification, and computing education, which I interweave with sustainable computing.

Short Bio

• 2011 - present: Research scientist, University of Luxembourg.
• 2021 - 2024: Deputy Programme Director for the BSc in Computer Science, University of Luxembourg.
• 2010: Ph.D in Computer Science, University of Luxembourg.
• 2004 - 2006: R&D engineer, University of Luxembourg.
• 2003: M.S. in Computer Science, National University of Rosario, Argentina.

A more detailed bio can be found here