Adrian Francalanza's Homepage

BIT1010 Historical and Social Aspects of Information and Communication Technology
- History of Logic and Abstract Machines
- History of Computing Machines
CS4060 Formal Methods, coordinated by Dr. Gordon Pace
Core Computer Science 2: Formal Languages and Automata
FYP supervisions (sample)
- Implementing a Pi-calculus Compiler, Chris Tabone, 2005/06 (original project description)
- Design Patterns for Concurrency, Fikre Leguesse, 2008/09 (original project description)
- Distributed Protocols as Erlang Behaviours, Darren Demicoli, 2009/10
- Towards Formalising Erlang Failure and Failure Detection, Audrianne Farrugia, 2010/11
- Implementing Proof Systems for the Intuitionistic Propositional Logic, Veronica Zammit, 2010/11
MSc supervisions (sample)
- Distributed Monitored Processes, Andrew Gauci, 2010/11