About
Harry Mairson is a Professor of Computer Science at Brandeis University, affiliated with the Michtom School of Computer Science and the Benjamin and Mae Volen National Center for Complex Systems. He holds a B.A. from Yale University and a Ph.D. from Stanford University. His research focuses on type systems for programming languages, computational resources for optimizations, linear logic, and the intersection of computer science with instrument design.
Recent work involves developing a domain-specific language for string instrument design, blending 17th-century craftsmanship with computational methods. Notable awards include the SIGPLAN Research Highlight Award (2013, 2014) and the Most Influential ICFP Paper Award (2007).
He has held visiting positions at Aix-Marseille University (2009) and CNRS (2004). His teaching and professional activities span academic leadership and interdisciplinary collaboration.
