Boris Düdder (Preferred)
Boris Düdder
Associate Professor, University of Copenhagen
Joined
May 2024
Names
Emails
****@di.ku.dk (Confirmed)
Personal Links
Career & Education History
Associate Professor
University of Copenhagen (diku.dk)
2020 – Present
Assistant Professor
University of Copenhagen (diku.dk)
2017 – 2020
Advisors, Relations & Conflicts
PhD Advisor
Jakob Rehof
2008 – 2014
Expertise
Formal methods
2010 – Present
Programming languages
2008 – Present
Logic
2008 – Present