Get my own profile
Co-authors
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerified email at cs.uni-salzburg.at
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Silviu S. CraciunasTTTech Computertechnik AGVerified email at tttech.com
Andreas HaasUniversity of SalzburgVerified email at cs.uni-salzburg.at
Ichiro HasuoAssociate Professor of Computer Science, National Institute of InformaticsVerified email at acm.org
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Alexandra SilvaProfessor at University College LondonVerified email at ucl.ac.uk
ali sezginUniversity of CambridgeVerified email at cam.ac.uk
Peter van RossumVerified email at cs.ru.nl
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Andreas HolzerUniversity of TorontoVerified email at cs.toronto.edu
Eduardo R. B. MarquesDCC / FCUP & CRACS / INESC-TECVerified email at dcc.fc.up.pt
Catuscia PalamidessiINRIA, University of Paris Saclay and Ecole PolytechniqueVerified email at lix.polytechnique.fr
Miguel AndresGoogle Inc, Ecole Polytechnique, Radboud UniversityVerified email at lix.polytechnique.fr
Jasen MarkovskiEindhoven University of TechnologyVerified email at tue.nl
Flavio D. GarciaProfessor of Computer Security, University of BirminghamVerified email at bham.ac.uk
Raja SenguptaSystems Program, CEE, University of California, BerkeleyVerified email at ce.berkeley.edu
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Ana Sokolova
Associate Professor at University of Salzburg
Verified email at cs.uni-salzburg.at - Homepage