Julian Mackay

PhD Student School of Engineering and Computer Science

Julian Mackay profile picture

Thesis Info

Research Interests: Programming Language Design, Formal Methods, Object Oriented Programming Languages
Thesis Title: Secure Web Development with Generic Wyvern
Supervisor: Dr Alex Potanin and Prof Lindsay Groves

 

Julian Mackay did a BSc Honours project in 2011 on Mechanised Theorem Proving in COQ with AlexPotanin and LindsayGroves.