S
About
Regular biography
Shay Cohen is a Reader in the Department of Computer Science at The University of Edinburgh. Their research interests include areas such as programming languages, formal methods, and software engineering. Cohen's work focuses on the development of tools and techniques for ensuring correctness and reliability in software systems. They are affiliated with the School of Informatics and can be contacted via email at scohen@inf.ed.ac.uk. Their academic profile is available at https://www.ed.ac.uk/Shay_Cohen.html.