About me

My name is Enrico Magnago, I am a computer scientist and software developer interested in automated reasoning and high performance computing.

I am an Applied Scientist at the Automated Reasoning Group at Amazon's Simple Storage Service (S3-ARG) since December 2022.

In November 2022 I obtained a Ph.D. in computer science from the University of Trento and Fondazione Bruno Kessler (Embedded Systems unit). My doctoral research focused on formal verification of infinite-state, timed and hybrid systems. In more detail, I was dealing with the problem of (dis)proving temporal properties on such systems, of which software (non)termination is a notable instance.
My PhD thesis summarises the main contributions of my doctoral research in these fields (slides).

My master thesis presents a model checker for Timed Transition Systems: Timed Automata with a symbolic, possibly infinite discrete component.

I was also involved in the development of the NuSMV and nuXmv model checkers and I am a contributor of the pySMT library.

More information can be found in my curriculum vitae.
If you are really interested you can also have a look at the exams I gave during my master degree and bachelor.

Here is my PGP public key.