Hello!

I am a software engineering consultant and programming languages researcher living in New York City. In my consulting practice, I focus in programming language design, systems design, technical strategy, and engineering mentorship.

I was previously the Director of Engineering at Originate NYC, and a researcher at MIT and at Yale. You can find some of the things that I’ve worked on below, or read new posts to this site as a blog.

I dedicate part of my time to finding ways to help with climate crisis mitigation, by supporting organizations working towards this. I am presently advising the US Coalition on Sustainability, which aims to accelerate progress on achieving the UN’s Sustainable Development Goals; and I am co-creating a course with Terra.do called Climate Change for Software Engineers.

Feel free to drop me a line!

Research

• Makam, a meta-language meant for prototyping and experimenting with new programming language ideas, and as an educational tool for teaching programming language concepts like type systems, compilation, etc. I started building Makam during my post-doc at MIT, and have continued to work on it since.

• VeriML is the tactic language I designed and built during my Ph.D. It is motivated by the need for building formal proofs in a scalable way, in the context of software verification.

• I’ve also worked on designing and implementing an efficient field-sensitive pointer analysis for the Windows Static Driver Verifier while at Microsoft Research.

Others

• Some of my old projects from my days at the NTUA.

• For official purposes, my name is Antonios Michael Stampoulis; for all other purposes, I use the informal version of my first name, Antonis. In Greek, my name is written as Αντώνης Σταμπούλης.

• My wife’s page: Erato Kremmyda, and some of my friends’ pages: Argyro Katsika, Mihalis Maniatakos, Thanassis Bamis.