Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Dmitriy Traytel
Associate Professor
DenmarkResearch Interests
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.
About
Dmitriy Traytel is an Associate Professor at the University of Copenhagen, Denmark. His research areas focus on higher-order logic, relational calculus, and formal proofs, as evidenced by his recent publications including "Admissible Types-to-PERs Relativization in Higher-Order Logic" and "Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant." Traytel is actively contributing to advancements in efficient evaluation methods and formalization in computer science. His work continues to impact the fields of logic and computational theory.
Articles (11)
Year:
2025
Year:
2025
Year:
2025
Year:
2025
Year:
2025
Year:
2025
Year:
2023
Year:
2023
Year:
2022
Year:
2021
Year:
2020
Collaborators (5)
Jonathan Huerta y Munive
Aalborg University
Andrei Popescu
Senior Lecturer (Associate Professor)
University of Sheffield
Srdan Krstic
Associate Professor
Københavns Universitet
Jasmin Christian Blanchette
Ludwig-Maximilians-Universität München
Leonardo Lima
Københavns Universitet
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.