Antonis Stampoulis

Department of Computer Science, Yale University
51 Prospect Street
P.O. Box 208285
New Haven, CT
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.
Courses I took during my first year:
- 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