Samuli Heilala

Email address

firstname dot lastname at gmail dot com

About me

I graduated from the Master of Science program at the School of Computer Science at McGill University in October 2009. I was supervised by Brigitte Pientka and affiliated with the Computation and Logic Group.

This page serves mostly as a repository for some of my academic papers and technical reports.

Some papers

Samuli Heilala. A path characterization of validity for multimodal logics. Master's thesis, School of Computer Science, McGill University, June 2009 [pdf]

Anil Ada, Melanie Coggan, Paul Di Marco, Alain Doyon, Liam Flookes, Samuli Heilala, Ethan Kim, Jonathan Li On Wing, Louis-Francois Preville-Ratelle, Sue Whitesides, and Nuo Yu. On bus graph realizability. In Prosenjit Bose (ed.) Proceedings of the 19th Annual Canadian Conference on Computational Geometry (CCCG 2007), pages 229--232, Ottawa, Canada, August 2007 [pdf]

Samuli Heilala and Brigitte Pientka. Bidirectional decision procedures for the intuitionistic propositional modal logic IS4. In Frank Pfenning (ed.) Proceedings of the 21st International Conference on Automated Deduction (CADE 2007), pages 116--131, Bremen, Germany, July 2007. Springer LNAI 4603 [pdf]

Samuli Heilala and Brigitte Pientka. Bidirectional decision procedures for the intuitionistic propositional modal logic IS4. Technical report SOCS-TR-2007.2, School of Computer Science, McGill University, May 2007 [pdf]

Anil Ada, Melanie Coggan, Paul Di Marco, Alain Doyon, Liam Flookes, Samuli Heilala, Ethan Kim, Jonathan Li On Wing, Louis-Francois Preville-Ratelle, Sue Whitesides, and Nuo Yu. On bus graph realizability. Technical report SOCS-TR-2006.1, School of Computer Science, McGill University, September 2006 [pdf]