Dmitriy Traytel

Address

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

Dmitriy Traytel

Starting from August 2015, I am a postdoc in the Information Security Group led by David Basin at the ETH Zürich. Before that I was a PhD student at the TU München, at the Chair for Logic and Verification headed by Tobias Nipkow. There, I participated in the graduate school PUMA. My research interests include logic, automata, runtime verification and monitoring, decision procedures, (co)inductive datatypes, and interactive theorem proving. You may want to take a look at my (draft) publications, students I have (co)supervised / am (co)supervising, and some projects I was/am involved in.


Drafts

Publications

Journal Articles

Conference Papers

Workshop Papers

Theses

Ph.D.
Formalizing Symbolic Decision Procedures for Regular Languages [slides, official copy]
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

Projects

(Co)organized Events


© 2011–2015 by Dmitriy Traytel