E-mail:
firstname.lastname[at]mail.mcgill.ca
Office:
McConnell Eng. Bldg., Room 225
- Types and programming languages
- Proof mechanization
- Computational logic
- D. Zackon, C. Sano, A. Momigliano & B. Pientka. 2025. Split decisions: Explicit contexts for substructural languages. Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. 257–271. (2025 CPP Distinguished Paper Award) [doi]
- M. Carbone, D. Castro-Perez, F. Ferreira, L. Gheri, F. K. Jacobsen, A. Momigliano, L. Padovani, A. Scalas, D. Tirore, M. Vassor, N. Yoshida, and D. Zackon. 2024. The concurrent calculi formalisation benchmark. Proceedings of the 26th International Conference on Co-ordination Models and Languages (Lect. Notes Comput. Sci., Vol. 14676). 149–158. [doi]
- D. Zackon, R. Kavanagh, A. Momigliano & B. Pientka. January 2026. Rocq CARVe-ing: A library for substructural meta-theory. 12th International Workshop on Rocq for Programming Languages. Rennes, France. [abstract]
- D. Zackon, B. Pientka & A. Momigliano. July 2025. Mechanizing linear logical relations. 9th International Workshop on Trends in Linear Logic and Applications. Birmingham, U.K. [abstract]
- J. Trzeciak's Writing Mathematical Papers in English
- D. Margalit's Mathematics Students Resource
- D. B. West on grammar and mathematical style
- C. E. Linderholm's seminal Mathematics Made Difficult
- A. Bierce's The Devil's Dictionary (and its natural extension)
- Earliest known uses of various mathematical words and symbols
- What is a proof?
Fri Jan 23 12:12:15 EST 2026
