Iain McGinniss - Personal Website
I am a Computing Science PhD student at the University of Glasgow, enjoying the chance to do some exploratory thinking after a 5 year tour of duty in industry.
My interests lie in the design of programming languages to prevent common programming errors, particularly in parallel/distributed systems, through static analysis. At present I am working in the area of contract specification for interfaces which have state based preconditions.
I am part of the Formal Analysis, Theory and Algorithms group, my supervisor is Dr. Simon Gay.
Contact Details:
- Email: iainmcg@dcs.gla.ac.uk
- Skype: iainmcgin
- Address:
Office F112
School of Computing Science
Lilybank Gardens
University of Glasgow
G12 8QQ
Scotland, UK