|
Eugen ZĂLINESCU
Professur f. Informationssicherheit/ZISC CNB F 103.2 Universitätstrasse 6 8092 Zürich Switzerland Phone : +41 44 632 91 83 Fax : +41 44 632 11 72 E-mail : firstname dot surname at inf dot ethz dot ch |
- Publications
- Reaserch Interests
-
- Automata theory: model checking, runtime verification
- Formal methods for security: verification of security protocols
- Automated deduction: rewriting, resolution techniques
- Current affiliation
- Since September 2009, I am a post-doc at ETHZ in David Basin's group working on topics related to runtime verification and usage control.
- Previous affiliations
- From 2007 to 2009, I was a post-doc at the Microsoft Research-INRIA Joint Centre in Orsay, working in the Security project.
- I obtained my PhD in 2007 from the Henri Poincaré - Nancy 1 University. My supervisors were Véronique Cortier and Michaël Rusinowitch. I worked in the INRIA project CASSIS at LORIA.
- I completed the MDFI master (in fact the former French DEA) in 2004 at IML, Marseille.
- I graduated from the Faculty of Computer Science, "Al. I. Cuza" University, in Iaşi, Romania in 2003.