Daniel‘s research interests include software verification using symbolic execution and static analysis. He received an MSc in Computing from Imperial College during which he contributed to the KLEE project. Prior to this he studied Physics at the University of Bristol which included an industrial placement with Sharp laboratories of Europe. Daniel’s PhD studies are generously funded by the EPSRC industrial case studentship with ARM.

Daniel is also a member of the Multicore Programming Group.

Group Publications

  • Just Fuzz It: Solving Floating-point Constraints Using Coverage-guided Fuzzing

    Daniel Liew, Cristian Cadar, Alastair Donaldson, J. Ryan Stinnett

    European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)

  • Floating-Point Symbolic Execution: A Case Study in N-version Programming

    Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, Klaus Wehrle

    IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)

  • Symbooglix: A Symbolic Execution Engine for Boogie Programs

    Daniel Liew, Cristian Cadar, Alastair Donaldson

    IEEE International Conference on Software Testing, Verification, and Validation (ICST 2016)