Gregory J. Duck
National University of Singapore
Telephone: (+65) 6516 1181
Gregory J. Duck received his BSc (Mathematics) and BEng (Software) from the University of Melbourne in 2002, and his Phd (Computer Science) in 2006, also from the University of Melbourne. From 2005-2009 he was a researcher for National ICT Australia (NICTA) working for the G12 project. For 2009-2010 he worked for Constraint Technologies in Melbourne. From 2011 onwards he works at the National University of Singapore.
My research interests include: systems, security, cryptocurrencies, programming languages, OLDER: program verification, theorem proving, constraint programming, rewrite systems, Constraint Handling Rules, and a whole lot more.
I am involved in the following conferences/workshops: