A Validated Parser for Stan

Published in Boston College, Department of Computer Science, 2021

My undergraduate thesis, compeleted as part of my Bachelors of Arts in Computer Science at Boston College. My topic of study was a formally verified parser for the language Stan, as part of a larger project by my advisors (Joseph Tassarotti and Jean-Baptiste Tristan) to verify a complete Stan compiler.

Download the full document here. You can also view some presentation slides I prepared on the topic, along with my notes on the slides .