Institute of Information Security
Department of Computer Science
8092 Zürich, Switzerland
Office: CNB F 107.2
Phone: +41 44 632 30 23
Email: traytel inf.ethz.ch
Starting from 2018, I am a senior researcher (Oberassistent) in the Information Security Group led by David Basin at ETH Zürich. Before that I worked as a postdoctoral researcher in the same group. I completed my PhD in 2015 at TU München under Tobias Nipkow's supervision. My research interests include logic, automata, runtime verification and monitoring, decision procedures, (co)induction and (co)recursion, and interactive theorem proving. Take a look at my publications, students I have (co)supervised / am (co)supervising, some tools I have (co)developed / am (co)developing, and scientific events I was involved in.
- My (joint with David Basin and Bhargav Bhatt) paper Optimal Proofs for Linear Temporal Logic on Lasso Words received the ATVA 2018 Distinguished Paper award.
- As part of the Formal Methods and Functional Programming course at ETH, I am happy to organize a Functional Programming Competition. It is now too late to participate, but you can look at the impressive results of the competitors!
- My (joint with David Basin and Srđan Krstić) project proposal Monitoring at Any Cost has been accepted by the Air Force Research Laborotory.
© 2011–2018 by Dmitriy Traytel