Hello, and welcome to my homepage! My name is Antonis Stampoulis and I am a second year Ph.D. student in the Department of Computer Science in Yale University. My research interests include programming languages, certified code and theorem proving. My advisor is Prof. Zhong Shao. I completed my undergraduate studies at the Electrical and Computer Engineering Department of the NTUA in Athens, Greece, where I majored in Computer Science. My diploma thesis was in the area of proof-carrying code under the supervision of Prof. Nikos Papaspyrou.

I have completed the requirements for my M.Sc. degree from Yale, which I will be receiving in May. I took the following courses this year:

• CPSC 530: Formal Semantics. Instructor: Paul Hudak.
• LING 541: Language and Computation. Instructor: Gaja Jarosz.

• CPSC 524: Parallel Programming Techniques. Instructors: Robert Bjornson, Nick Carriero, and David Gelernter.
• CPSC 569: Randomized Algorithms. Instructor: Ravi Kannan.
• CPSC 621: Advanced Programming Languages Seminar. Instructors: Zhong Shao, Paul Hudak.
• CPSC 521: Compilers and Interpreters. Instructor: Zhong Shao.
• CPSC 531: Fundamentals of Computer Music. Instructor: Paul Hudak.
• CPSC 534: Mobile Computing and Wireless Networks. Instructor: Yang Richard Yang.
• CPSC 562: Graphs and Networks. Instructor: Dan Spielman.

Past projects

Here you can download some of the programming projects I've completed.

• Tiger Compiler, for CPSC 521, implemented in SML/NJ. Uses an intermediate tree generator module made by Eric Cheng.
• Survey of Security in Vehicular Networks, for CPSC 534. Some parts written by Zheng Chai.
• Haskell CSound wrapper with GADTs and arrows, for CPSC 531. Requires a working copy of Haskore.
• My diploma thesis (in Greek).
• Edsger Compiler, for the Compilers course at the NTUA, implemented in C++. Compiles a subset of C into x86 assembly and CIL code for .NET.
• Virtual Mechanics (Windows, Linux i386), a simulator for elementary physics lab experiments. Developed with Albert Angel, Melina Kourti, Panagiotis Voulgaris and Christos Dimoulas, for the software engineering course at the NTUA. Originally meant to be used only for 3D simulation of scripted experiments; later a rudimentary user interface was added.
• Connect Four, a network-enabled implementation of the popular board game in Java. Includes a powerful AI client. Developed with Charis Nakos.
• enRay (source, Linux, Windows), a hardware-accelerated realtime raytracing engine. Example games with binaries for Windows and Linux: enRay invaders, enRay Tetris.

Other

My Last.FM page