University of Warwick

Faculty Member, Computer Science

Associate Professor

Thesis Title: Typed Concurrent Programs: Specification & Verification

Supervisor: Prof. Samson Abramsky

Contact Information

Homepage: http://www.warwick.ac.uk/go/biju