Dan Liew

Email daniel.liew_ZZ@imperial.ac.uk (remove the _ZZ)
GitHub delcypher
Twitter @dan_liew
LinkedIn Dan Liew
Imperial College London
Department of Computing
South Kensington Campus
London SW7 2AZ
United Kingdom


I am a fourth year PhD student studying at Imperial College, London under the supervision of Dr. Alastair Donaldson of the Multicore programming group and Dr. Cristian Cadar of the Software reliability group. My work is generously funded by an EPSRC CASE studentship in collaboration with ARM.

I am currently interested in improving the reliability of software using symbolic execution. I am the primary author of Symbooglix which is an open source symbolic execution engine for Boogie programs.

I also contribute to several open source projects including LLVM and Boogie. I have also interned at Google.

I received a MSc in Computing from Imperial College in 2012 during which I contributed to the KLEE project. Prior to this I did a BSc in Physics with Industrial Experience at the University of Bristol. During this I did a 1 year industrial placement at SHARP laboratories of Europe (Oxford).

I occasionally post to my blog.