Harry Mairson is an academic known for his contributions to the field of computer science, particularly in programming languages, logic, and formal methods. He has been involved in research related to functional programming and has taught at institutions such as Brandeis University. His work often intersects theoretical aspects of computer science with practical applications.
New to topics? Read the docs here!