Robin Green

Robin Green started his MSc at UCD in September 2005 under the joint supervision of Dr. Josephy Kiniry and Prof. Paddy Nixon, working on the Mobius project. He has a BSc (Hons) in Combined Science (comprising Computer Science, Mathematics, and Independent Studies) from Lancaster University, UK.

He is interested in both type-based and logic-based formal methods techniques, due to their potential benefits for improving software quality, making code more self-documenting, and assisting with debugging and maintenance.

His present research focuses on the practice and formalisation of various programming techniques which attempt to make code easier to reason about: purity, immutability, software transactional memory (STM), and dependently-typed programming.