Mr Ambroise   Lafont
Postdoctoral Fellow

Mr Ambroise Lafont

Engineering
Sch: Computer Science & Eng

I defended my PhD in France, and joined UNSW as a postdoctoral fellow in February 2020. See my personal webpage : https://amblafont.github.io/

Publications

  • Conference Papers | 2020
    Mr Ambroise Lafont
    Hirschowitz A; Hirschowitz T; Lafont A, 2020, 'Modules over monads and operational semantics', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.FSCD.2020.12
    Conference Papers | 2018
    Mr Ambroise Lafont
    Ahrens B; Hirschowitz A; Lafont A; Maggesi M, 2018, 'High-level signatures and initial semantics', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.CSL.2018.4

Awards

Grants

Media