Dmitriy Traytel

Address

Dmitriy Traytel
Department of Computer Science
University of Copenhagen
Sigurdsgade 41
2200 Copenhagen N, Denmark
Office: 2.15
Email: traytel At (@) sign di dot ku dot dk
PGP Key

Dmitriy Traytel

Starting from August 2020, I work as an associate professor at the University of Copenhagen (UCPH). I am part of the Software, Data, People & Society (SDPS) section of UCPH's Department of Computer Science (DIKU). Before that I worked as a senior researcher (Oberassistent) in the Information Security Group led by David Basin at ETH Zürich. 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.

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

Forthcoming

Past


© 2011–2020 by Dmitriy Traytel

Valid XHTML 1.0 Transitional