I am a PhD student at the College of Computer and Information Science at Northeastern University and a member of the PRL group. My advisors are Riccardo Pucella and Matthias Felleisen. I am interested in programming languages design, semantics and theory. Before coming here, I completed my bachelors degree in computer science at ECE NTUA under the supervision of Nikolaos Papaspyrou.

• the possibility of improving the performance of contract checking systems through parallelism
• the development of sound and extensible semantic models for contracts.

C. Dimoulas, R. Pucella, and M. Felleisen. Future contracts. In Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP 2009, September 7-9, 2009, Coimbra, Portugal, 2009. [ bib | .PDF ]

C. Dimoulas and M. Wand. The higher-order aggregate update problem. In Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Proceedings, January 18-20, 2009, Savannah, GA, USA, 2009. [ bib | .PDF ]

• CSG107:Program Design Paradigms, Fall 2009
• CSG107:Program Design Paradigms, Spring 2009
• CSG107:Program Design Paradigms, Fall 2008
• CSU213:Fundamentals of Computer Science 2, Spring 2008
• CSU211:Introduction to Programming and Computing, Fall 2007
• CSU213:Fundamentals of Computer Science 2, Spring 2007
• CSU211:Introduction to Programming and Computing, Fall 2006