I'm Michael Akintunde, a PhD student at Imperial College in London, in the Verification of Autonomous Systems Group, supervised by Prof. Alessio Lomuscio.

My research interests lie in the area of formal verification, particularly in the development of techniques for verifying the correctness of software generated using machine learning. I also have a keen interest in functional programming.

Postal Address:
Rm. 502,
Department of Computing,
Imperial College,
180 Queen's Gate,
London SW7 2AZ,

Email: {myfirstname}.{mylastname}13@imperial.ac.uk [replace myfirstname with my first name and mylastname with my last name]



M. E. Akintunde, A. Kevorchian, A. Lomuscio, E. Pirovano. Verification of RNN-Based Neural Agent-Environment Systems. Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI19). Honolulu, Hawaii, USA. AAAI Press. To appear.


M. E. Akintunde, A. Lomuscio, L. Maganti, E. Pirovano. Reachability Analysis for Neural Agent-Environment Systems. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR18). Tempe, Arizona, USA. pp 184-193. AAAI Press.


M. Akintunde, A. Lomuscio. Planning for CTL*-Extended Goals via Model Checking (MEng thesis).


Teaching assistant in the Department of Computing for:

Systems Verification (303)

Programming I (120.1)

Other bits and bobs.

Former committee member of The Imperial College Algorithmic Trading Society (ICATS).

My CV.

My Github.

My LinkedIn.

Michael Akintunde is {hisfirstname}.{hislastname}13@imperial.ac.uk