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 (draft) 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.
- I am excited to serve on the program committees for TABLEAUX 2019 and CPP 2020. Send your best papers on automated reasoning and interactive theorem proving there!
- As part of the Formal Methods and Functional Programming course at ETH, which I am co-lecturing, Martin Raszyk organizes the next iteration of the Functional Programming Competition. The previous year's competition, which I have organized, can be found here.
- 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.
© 2011–2018 by Dmitriy Traytel