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.