Liam Chung
Promovendus
- Naam
- L.W. Chung
- Telefoon
- 071 5272727
- l.w.chung@liacs.leidenuniv.nl
Ik ben promovendus aan het Leiden Institute of Advanced Computer Science (LIACS) van de Universiteit Leiden. Ik ben geïnteresseerd in het gebruik van algebra en coalgebra als hulpmiddelen bij het bestuderen van computerprogramma's, in het bijzonder equationeel redeneren en automatentheorie, om te werken aan problemen zoals programma-equivalentie.
Promovendus
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science