Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Computation and Logic Group, School of Computer Science, McGill University -- People
Ahmer Ahmedani, MSc 2006, "Information flow in a Java intermediate language".
Ian Clement, MSc 2008, "Proof theoretical foundations for constructive description logic".
Samuli Heilala, MSc 2009, "A path characterization of validity for multimodal logics".
David Xi Li, MSc 2007, "Forward theorem prover for logical frameworks".
Jacques Le Normand, MSc 2007, "Guarded abstract data-types".
Ye Henry Tian, MSc 2005, "Mechanically verifying correctness of CPS compilation".
Undergraduate Alumni
Benjamin Azan, "Type systems for Featherweight Java: Theory and Implementation", Summer 2005.
(Winner of the SoCS Undergraduate Research Excellence Prize.)
Sabrina Chantrelle, "Focusing prover for bunched implications", Summer 2005.
Maja Frydrychowicz, "A logical foundation for enforcing access control", Summer 2007.
Andrés Franceschi Larrea
Daniel Pomerantz, "Forward proof search for intuitionistic modal logic", Summer 2006.