Dmitriy Traytel

Address

Dmitriy Traytel
Institute of Information Security
Department of Computer Science
ETH Zürich
Universitätstrasse 6
8092 Zürich, Switzerland
Office: CNB F 107.2
Phone: +41 44 632 30 23
Email: traytel the at sign inf.ethz.ch

Dmitriy Traytel
dblp GoogleScholar

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.

News


Drafts

Publications

Journal Articles

Conference Papers

Workshop Papers

Theses

Ph.D.
Formalizing Symbolic Decision Procedures for Regular Languages [official copy] slides
M.Sc.
A Category Theory Based (Co)datatype Package for Isabelle/HOL slides
B.Sc.
Extension of a Type Inference Algorithm with Coercive Subtyping slides

Student (Co)supervision

Current

Past

Tools

Current

Past

Events


© 2011–2018 by Dmitriy Traytel