M Chapman, L V Rasmussen, J A Pacheco and V Curcin
Computational argumentation-based clinical decision support 2019
M Chapman, P Balatsoukas, M Ashworth, V Curcin, N Kökciyan, K Essers, I Sassoon, S Modgil, S Parsons and E I Sklar
A Microservice Architecture for the Design of Computer-Interpretable Guideline Processing Tools 2019
M Chapman and V Curcin
Cyber hide-and-seek 2016
M D Chapman
Learning the language of error 2015
M Chapman, H Chockler, P Kesseli, D Kroening, O Strichman and M Tautschnig
Playing hide-and-seek an abstract game for cyber security 2014
M Chapman, G Tyson, P McBurney, M Luck and S Parsons
Social networking and information diffusion in automated markets 2012
M Chapman, G Tyson, K Atkinson, M Luck and P McBurney
2017 Research Associate at King's College London
Involved in developing a proof of concept collaborative mobile decision-support system to help patients suffering from chronic diseases to self-manage their treatment, under the project `collaborative mobile decision support for managing multiple morbidities', funded by the EPSRC. Focus included consumer sensor integration, electronic health record standardisation, formal clinical guideline representation and reasoning, and the application of distributed ledger technologies to provenance. …
2015 Teaching Fellow at King's College London
Assigned as a lecturer to King's two-semester, first-year programming course, working with over 350 students per cohort. Focussed on innovative teaching practices, including automated assessment, practical higher education teaching and student-lead teaching and learning, particularly in relation to the teaching of programming. Additional roles included deputy exam board chair, deputy senior tutor, disability support tutor and head of technology-enhanced learning. Awarded King's College London's prestigious Teaching Excellence Award. …
2014 Research Assistant at King's College London
Involved in the development of a tool that abstractly represents software error traces as finite automata, under the project `Facilitating Code Merging with User-Defined Abstractions’, funded by Google. Focussed on the development of a module to estimate model-checking bounds, and the merge feature described in the project title. …
2011 Graduate Teaching Assistant at King's College London
Delivered seminars and practical sessions in programming practice, applications and data structures, computer systems and artificial intelligence. Responsible for coordinating the other teaching assistants assigned to these topics. Atypically for this position, delivered lectures in programming practice. Twice awarded the department's Outstanding Teaching assistant award. …
2016 Doctor of Philosophy (Ph.D.) in Computer Science at King's College London.
Developed and evaluated strategies for Search Games, using simulation. Focussed on drawing parallels between the dynamics of these games, and the dynamics of network attacks. Conducted under the supervision of Professor Peter McBurney and Professor Michael Luck.
2011 Bachelor of Science (BSc) in Computing at University of Liverpool.
In 2017 I was awarded King's College London's prestigious Teaching Excellence Award for my work teaching programming to undergraduate students. I was previously nominated for the award in 2012, 2013 and 2016. In 2017, nearly 2,500 students voted in the awards, and winners were chosen from across King's 6,800 staff. The award highlighted my contributions to high-quality student feedback, and came with a number of positive comments from students.
© Martin Chapman