Search
John T. O’Donnell
John O'Donnell is currently a lecturer in the Computing Science Department at the University of Glasgow, specialising in computer systems (software and hardware), functional programming, and formal methods. His research is concerned with computer systems, algorithms, and how to develop reliable applications and reason about their behavior. He is actively involved in functional programming research, and am a member of the IFIP Working Group 2.8 on, Functional Programming, and the ENDS (computer systems) group at Glasgow.