Research stay at Amazon Web Services in Cambridge, UK
S3 Automated Reasoning Group
Abstract
I will have the opportunity to spend 6 months at AWS in Cambridge, UK, under the supervision of Gustavo Petri.
Ignacio D. Lopez-Miguel
PhD student
I am a PhD student at the Technical University of Vienna (TU Wien)