I'm the module leader for CSD3600 (Open Source Software), where we go into the specific culture and development model for FLOSS (Free/Libre and Open Source Software). I'm also involved in teaching the integrated first year for the BSc in Computer Science.
Research Outputs & Interests
I'm interested in formal methods, interactive theorem proving, and open source software.
Boender, Jaap and Kammueller, Florian and Nagarajan, Rajagopal (2015) Formalization of quantum protocols using Coq. In: The 12th International Workshop on Quantum Physics and Logic (QPL 2015), 15-17 Jul 2015, Oxford, United Kingdom.
Amadio, Roberto M. and Ayache, Nicolas and Bobot, Francois and Boender, Jaap and Campbell, Brian and Garnier, Ilias and Madet, Antoine and McKinna, James and Mulligan, Dominic P. and Piccolo, Mauro and Pollack, Randy and Régis-Gianas, Yann and Sacerdoti Coen, Claudio and Stark, Ian and Tranquilli, Paolo (2014) Certified Complexity (CerCo). In: Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), 29-31 Aug 2013, Bertinoro, Italy.
Boender, Jaap and Kammueller, Florian and Nagarajan, Rajagopal (2014) Verification of quantum protocols using Coq. In: 17th Conference on Quantum Information Processing (QIP), 3-7 Feb 2014, Barcelona, Spain.