Liam Chung
PhD candidate
- Name
- L.W. Chung
- Telephone
- 071 5272727
- l.w.chung@liacs.leidenuniv.nl
I am a PhD candidate at the Leiden Institute of Advanced Computer Science (LIACS) at Leiden University. I am interested in using algebra and coalgebra as tools for studying computer programs, in particular equational reasoning and automata theory, to work on problems like program equivalence.
PhD candidate
- Science
- Leiden Inst of Advanced Computer Science