Dimitri Racordon

Labs and Groups

• Programming Research Laboratory

Research Interests

• Programming languages
• Compiler construction
• Type systems
• Memory safety
• Formal methods

Education

• PhD in Computer Science, University of Geneva — Switzerland
• MS in Computer Science, University of Geneva — Switzerland
• BS in Computer Systems Science, HEPIA — Switzerland

Pronouns

they/them/theirs

Biography

Dimitri Racordon is a postdoctoral research associate at the Khoury College of Computer Sciences at Northeastern University, advised by Jan Vitek. Their research focuses on algorithms & theory, formal methods, programming languages and software engineering. Racordon is also affiliated with the Programming Research Laboratory at Northeastern.

Before joining Northeastern in 2021, they were a postdoctoral research fellow at the University of Geneva in Switzerland. Outside of academic research, Racordon’s interests include Nintendo games, running and cycling.

Recent Publications