Mark Marron is a Principal Research SDE at Microsoft Research where he works on a range of programming language and software engineering topics. He is currently leading work on the Bosque Programming Language project. His other work includes cloud runtimes, low-overhead diagnostic tracing and time-travel debugging tools, program synthesis, compilers and analysis, and applying machine learning to software engineering problems. He attended UC Berkeley and obtained a BA in Mathematics. He received his Ph.D. from the University of New Mexico. He spent 2008-2012 at the Imdea Software Institute in Madrid Spain before joining Microsoft Research.