Dmitriy Traytel

Address

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

Dmitriy Traytel

I am an associate professor at the University of Copenhagen (UCPH) since August 2020. I am part of (and currently head 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 at TU München under Tobias Nipkow's supervision in 2015. 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

Supervision

Current

Past

Tools

Current

Past

Events

Forthcoming

Past


© 2011–2024 by Dmitriy Traytel

Valid XHTML 1.0 Transitional