معرفی
Affiliations
Christos Dimoulas is an Assistant Professor of Computer Science at Northwestern University, within the McCormick School of Engineering and Applied Sciences and the Computer Science Department. His office is located at Mudd 3513.
Education
- Ph.D. in Computer Science, Northeastern University, Boston, MA
Research Interests
Dr. Dimoulas focuses on Programming Languages, including type systems, gradual typing, formal methods, software contracts, and security. His work often explores the intersection of theory and practice, addressing challenges like blame assignment in type mismatches, efficient runtime checks, and language-based security mechanisms.
Publications
His recent work includes advancements in gradually typed languages, effectful software contracts, and transient semantics for Racket. Key themes include improving type safety, optimizing performance through profiling, and enhancing error localization via blame analysis.
Students & Advising
Current advisees include Nathaniel Hejduk and Chenhao Zhang. Alumni such as Dr. Lukas Lazarek (now at Brown University) have contributed to projects like blame evaluation in gradual types.
Teaching
Recent courses include CS 324/424: Dynamics of Programming Languages (Spring 2025) and CS 321: Programming Languages (Fall 2024). He often incorporates practical language design and implementation topics into his curricula.
Labs & Collaborations
His research frequently collaborates with institutions like Northeastern University and Brown University, focusing on projects such as the Rational Programmer framework for evaluating language pragmatics.
