Sandro Stucki
In my research, I like to explore the many aspects of programming languages. I'm particularly interested in type systems and theory, the semantics and implementation of domain-specific languages, as well as formal methods for scientific modeling. Until recently, I spent my time pondering the type safety of Scala and related type systems. These days, I’m busy applying formal methods and type theory to problems in privacy and security, and hacking type soundness proofs in Agda. I'm interested in the design of domain-specific languages for modeling probabilistic and stochastic systems, especially biochemical systems. I have also written a GNU/Emacs mode for Kappa, a modeling language for systems biology.
PostDoc
Yehia Abd Alrahman
I am a PostDoc Researcher at the Dept. Of Computer Science and Engineering, affiliated under Göteborg Universitet. I have been a research associate at the University of Leicester and since then I am working on the ERC consolidator grant D-SynMA (led by Prof. Nir Piterman), investigating distributed reactive synthesis for Multiagent Systems. I was a PostDoc Researcher at SysMA research unit in IMT School for Advanced Studies Lucca, Italy; also a member of the Italian Project FILIERASICURA with Cisco Italia. I obtained my PhD degree, as well as the *Doctor Europeaus* certificate from IMT School for Advanced Studies Lucca working towards a Foundational theory of collective-adaptive systems. During my PhD, I have been a visiting research scholar at the Dept. Of Informatics, LFCS Laboratory in the University of Edinburgh where I investigated Quantitative Analysis of collective-adaptive systems.
PostDoc
Pablo Picazo-Sanchez
My research interests range from computer security to applied cryptography. Over the last years I have worked on a number of areas in these fields, including: Attack modeling or Security on RFID systems.
PostDoc
Thomas Sewell
My research focuses on Translation validation and checking correctness of program compilations.
PostDoc
Giuseppe Perelli
My main interest is in Logic and Formal Methods for AI. In particular: Formal specification, verification, and synthesis of multi-agent systems; Equilibtium checking and Rational synthesis for infinite duration games; Logics for games and strategic reasoning, multiplayer games, imperfect information, incomplete information; Quantitative reasoning in games; Distributed Systems; Game theory for computer science
PostDoc