Curriculum Vitae

CURRICULUM VITÆ (short)

December 2011

Thomas Stephen Edward Maibaum BSc (Toronto, 1970), PhD (London, 1974), CEng, PEng, FIET, FRSA, MIEEE, CRC (Tier I)

APPOINTMENTS:

At McMaster University: Canada Research Chair in the Foundations of Software Engineering 2004-present

At King’s College London: Professor of the Foundations of Software Engineering 1999-2004, Head of Department (Jan 01-July 02)

At Imperial College: Head of Department 1989-97, Professor of the Foundations of Software Engineering 1990-99, Lecturer and Reader 1981-90, Head of Department (July 89-April 97)

At University of Waterloo: Postdoctoral Fellow and Assistant Professor, 1973-81

Visiting positions: Visiting Professor at the Pontifícia Universidade Católica do Rio de Janeiro, 1977, 81, 98; Honourary Professor at same from 1992; Visiting Professor, Nanyang Technological University 1994-95

Fellowships: International fellow, Computer Science Laboratory, SRI International, 1998; Royal Society/SERC Industrial Fellow 1984-85; Royal Academy of Engineering Foresight Fellow 1998, Marie Curie Fellowship 1997-98

INDUSTRIAL AND COMMERCIAL EXPERIENCE

Many collaborative projects with industry since 1983, at both UK and European levels.

Consultant to GEC, HP Labs, and various other companies over the past 2 decades.

Expert witness in several IT related cases.

RESEARCH INTERESTS

My research interests have focused for over 35 years on the theory of specification and its application in various contexts. In the early 80s, I started work on what has become known as Requirements Specification and made a major contribution through the FORTEST PROJECT. This project was the first to use deontic logic, the logic of legal reasoning. In the last few years, I have again become interested in the topic because of theory required to underpin the modelling and analysis of fault tolerance mechanisms. The requirements specification work led to component based modelling and the application of coordination concepts to software architecture. Recent work on this area has focused on modelling dynamic reconfiguration and the analysis of aspects and non functional requirements in terms of architectural transformations. Throughout much of my career, I have pursued an interest in the epistemology of software engineering, attempting to understand its fundamentals. A recent manifestation of this interest has been the work on the foundations of certification and safety/assurance cases in the context of a large collaborative project on software/system certification. Of particular interest is the concept of confidence, especially as it applies to decision making in the context of certification. I have also been studying the semantics of multi modelling in the context of model driven engineering.

RECENT PUBLICATIONS

S Abramsky, DM Gabbay, TSE Maibaum,  eds, "Handbook of Logic in Computer Science, Vol I - VI", Vol I-II 1992, Vol III-IV 1995, Vol V 2000, Oxford University Press.

N Aguirre N, JC Bicarregui, T Dimitrakos and TSE Maibau, “Towards Dynamic Population Management of Abstract Machines in the B Method”, Proc of ZB2003, LNCS 2651, Springer-Verlag, pp 528-545, 2003.

N Aguirre and T Maibaum, “A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems”, in Proc. of 17th International Conference on Automated Software Engineering ASE 2002, Edinburgh, United Kingdom, IEEE Press, 2002.

T Dimitrakos and TSE Maibaum, “On a Generalized Modularization Theorem”, Information Processing Letters, Volume 74, Issue 1, 2000

JLL  Fiadeiro, TSE Maibaum, "Categorical Semantics of Parallel Program Design", Science of Computer Programming, Vol 28, 111-138, 1997.

AM Haeberer and TSE Maibaum, "The very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm", Proc of ASE’98, D Redmiles and B Nuseibeh, eds, IEEE Computer Science Press, 1998.

JC Bicarregui, T Dimitrakos, DM Gabbay & TSE Maibaum “Interpolation in Practical Formal Development” Logic Journal of the IGPL, Volume 9, Issue 2, 2001, 231-243

TSE Maibaum “On what exactly goes on when software is developed step-by-step, II: The sequel” Information Processing Letters Volume 88, Issues 1-2, 2003, 45-51

TSE Maibaum “ The Epistemology of Validation and Verification Testing” Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Khendek F & Dssouli R, eds, LNCS 3502, Springer-Verlag, 2005,1-8

N Aguirre, TSE Maibaum & P Alencar “Extension Morphisms in CommUnity”, Algebra, Meaning and Computation: Festschrift in Honour of Joseph Goguen’s 65th Birthday, LNCS 4060, Springer Vrelag,  2006, 173-193

N Aguirre, G Regis & TSE Maibaum “Verifying Temporal Properties of CommUnity Designs”, IFM 2007, to appear LNCS 4591, Springer Verlag 2007

P Castro & TSE Maibaum “Reasoning about System-Degradation and Fault-Recovery with Deontic Logic”, Workshop on Methods, Models and Tools for Fault Tolerance, IFM 2007

P Castro & TSE Maibaum  “An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers”, SEFM 2007, to appear LNCS ####, Springer Verlag 2007

TSE Maibaum “Challenges in Software Certification” (invited talk), Formal Methods and Software Engineering (ICFEM 2007),  LNCS 4789,  4-18, Springer Verlag 2007

TSE Maibaum & A Wassyng “A Product-Focused Approach to Software Certification”, column for IEEE Computer – Software Technologies,  IEEE CS Press, Feb 2008

P Castro & TSE Maibaum T S E  “A Complete and Compact Propositional Deontic Logic”, ICTAC 2007, LNCS 4711, 109-123, Springer Verlag 2007

Z Li & TSE Maibaum “A Test Framework for Integration Testing of Object-Oriented Programs”, Proceedings of CASCON 2007, 252-255, IBM 2007

Z Li & TSE Maibaum “An Approach to Integration Testing of Object-Oriented Programs”, Proceedings of Seventh International Conference on Quality Software (QSIC 2007), 268-273, IEEE CS Press 2007

P Castro & TSE Maibaum “A Tableaux System for Deontic Action Logic“ van der Meyden R & van der Torre L (eds.), Proceedings of the Ninth International Conference on Deontic Logic in Computer Science (DEON'08),  LNCS 5076, Springer Verlag,  2008

BK Aichernig & TSE Maibaum (eds) “Formal Methods at the Crossroads: from Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, March 18-21, 2002” LNCS 2757, Springer-Verlag, 2003

J Cuéllar, TSE Maibaum & K Sere (eds) “FM 2008: Formal Methods, 15th International Symposium on Formal Methods”, Turku, Finland, May 26-30, 2008, Proceedings. LNCS 5014 Springer Verlag 2008, ISBN 978-3-540-68235-6

Castro P F & Maibaum T S E “Deontic Action Logic, Atomic Boolean Algebra and Fault-Tolerance”, Journal of Applied Logic, Volume 7, Issue 4, 2009.

Castro P F & Maibaum T S E “Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance”, Electronic Notes in Theoretical Computer Science, Volume 258, 2009

Maibaum T S E “Formal methods versus engineering”, ACM SIGCSE Bulletin, ACM Press, June 2009, pp. 6-12

John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden “A Software Certification Consortium and its Top 9 Hurdles”, Electr. Notes Theor. Comput. Sci. 238(4), 11-17, 2009

Maibaum T S E & Wassyng A “A Product-Focused Approach to Software Certification”, column for IEEE Computer – Software Technologies,  IEEE CS Press, Feb 2008

Castro P & Maibaum T S E “Reasoning about system-degradation and fault-recovery with deontic logic” (Extended Version) Methods, Models and Tools for Fault Tolerance, eds: Butler M, Jones C, Romanovsky A & Troubitsyna E. Springer, LNCS 5454, 2009

Wassyng, A, Maibaum, T & Lawford, M “On Software Certification: We Need Product-Focused Approaches”, C. Choppy and O. Sokolsky (Eds.): Monterey Workshop 2008, LNCS 6028, 250-274, Springer, 2010

Wassyng A, Maibaum T, Lawford M & Behrer H “Is There a Case Against Safety Cases?”, in Calinescu R & Jackson E (eds), Monterey Workshop 2010, LNCS Vol. 6662, Springer-Verlag, Berlin, Heidelberg, 206–227, 2011

Wassyng A, Lawford M & Maibaum T “Separating Safety & Control Systems to Reduce Complexity”, in Hinchey M & Doyle L (eds), Conquering Complexity, Springer, to appear, 89-108, 2011

Régis G, Aguirre N & Maibaum T “Specifying and Verifying Business Processes using PPML”, Proc. of Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM, Springer, LNCS 5885, pp 737-756, 2009, isbn 978-3-642-10372-8

Castro P F & Maibaum T S E “Characterising Locality (Encapsulation) with Bisimulation”, Proceedings of 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Cavalcanti, A.; Deharbe, D.; Gaudel, M.-C.; Woodcock, J. (Eds.) 2010, XIII, 397 p., ISBN 978-3-642-14807-1 (print), 978-3-642-14808-8 (electronic), 322-336

Castro P F, Aguirre N M, López Pombo C G & Maibaum T S E “Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting”, Proceedings of 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Cavalcanti, A.; Deharbe, D.; Gaudel, M.-C.; Woodcock, J. (Eds.) 2010, XIII, 397 p., ISBN 978-3-642-14807-1 (print), 978-3-642-14808-8 (electronic), 306-321

Diskin Z, Czarnecki K, & Maibaum T “The diagram algebra of coupled transformations: arrows, deltas, and tiles”, To appear in GTTSE’11 Postprocedings, Springer LNCS ####, 2011

Diskin Z, Maibaum T & Czarnecki K “Intermodeling, queries, institutions”, to appear in FASE‘2012

Wassyng A, Lawford M & Maibaum T “Software Certification Experience in the Canadian Nuclear Industry: Lessons for the Future”, in Proc. of the 11th International Conference on Embedded Software (EMSOFT 2011), Taipei, Taiwan, October 9-14, 7pp, To appear. (Invited talk at session on Software Certification), 2011

Bender M, Maibaum T, Lawford M & Wassyng A “Positioning Verification in the Context of Software/System Certification”, in Proc of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011), Newcastle Upon Tyne, U.K., September 9-14, Electronic Communications of the EASST Volume 46, 2011 (invited talk)

Wassyng A, Lawford M, Maibaum T & Luxat J “Separation of Control and Safety Systems”, in Proc of the 3rd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2011), Chicago, April 11, 2011 (invited paper)

Castro P F & Maibaum T S E “Towards a First-Order Deontic Action Logic”, in postproceedings of WADT 2010, Springer LNCS ####, 2011Hao X & Maibaum T “An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump”, postproceedings of International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2011), Springer, 2012

I have supervised over 100 Masters students, over 35 PhD students and over 30 postdoctoral fellows during my career.

A FULL CV IS AVAILABLE AT THIS LINK.