Introduction
My name is Maja Frydrychowicz and I am a 3rd year undergraduate student at the School of Computer Science at McGill University, expecting to complete a B.Sc in Computer Science, along with a minor in Mathematics, by Spring 2008.
In April of 2007, I began work on the logical foundations of access control with Prof. Brigitte Pientka, my supervisor and mentor for the Canadian Distributed Mentor Project. Prof. Pientka heads the Computation and Logic Group at Mcgill's School of Computer Science. A major goal of her research is the development of a theoretical and practical foundation for building and reasoning about safe, reliable software systems
I present here a journal chronicling the progress of our research. If you have any questions or comments, you may reach me at: mfrydr at cs dot mcgill dot ca.