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!
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.
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 Αντώνης Σταμπούλης.