Bio

Julia Turcotti is a researcher at MIT CSAIL looking to pivot to industry. Her research has focussed on using the power of formal semantics to make fast programming safer and safe programming faster. She has led the implementation efforts for a variety of projects across industry and academia including Uber's NilAway, the first of its kind static null safety checker for Go; Swift 6's ownership regions model, which introduced safe sharing of mutable data to Apple's application programming platform, and new initiatives in hardware transactional memory and causal learning at MIT. She received her BA in math and computer science from UC Berkeley in 2021, and has since interned with Splunk, Citadel Securities, Akuna Capital, Uber, Apple, and Amazon while also pursuing a PhD at MIT advised by Adam Chlipala.