My name is Enrico Magnago, I am a computer scientist and software developer interested in
automated reasoning, logic, theoretical computer science and computing in general.
I am a Senior Applied Scientist at Amazon Web Services. I joined AWS in December 2022 and I have been applying Automated Reasoning techniques to Amazon's Simple Storage Service (S3).
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.