News.

I have moved to the Department of Informatics at King's College London. My new web page is here.

On 27th April 2021 I defended my dissertation, which can be found here.

About.

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

My previous research was in the area of formal verification, particularly in the development of techniques for verifying the correctness of software generated using machine learning.

Previous Postal Address:
Room 502 - Huxley Building,
Department of Computing,
Imperial College,
180 Queen's Gate,
London SW7 2AZ,
UK.

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

Publications.

2020

M. E. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Verifying Strategic Abilities of Neural Multi-agent Systems. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR20). Rhodes, Greece. pp 22-32. AAAI Press.

M. E. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Formal Verification of Neural Agents in Non-deterministic Environments. Proceedings of the 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS20). Auckland, New Zealand. pp 25-33. IFAAMAS Press.

2019

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. pp 6006-6013. AAAI Press.

2018

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.

2017

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

Talks.

2020

Formal Verification of Neural Agents in Non-deterministic Environments. 3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS'20). Remote. July 2020. (Youtube stream)

Formal Verification of Neural Agents in Non-deterministic Environments. 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'20). Remote. May 2020. (video talk)

2019

Verification of RNN-Based Neural Agent-Environment Systems. ForMaL: DigiCosme Spring School on Formal Methods and Machine Learning. École Normale Supérieure Paris-Saclay, Cachan, France. June 2019.

Verification of RNN-Based Neural Agent-Environment Systems. AAAI Spring Symposium on Verification of Neural Networks (VNN19). Stanford University, California, USA. March 2019. (slides)

Software.

NANESVerify (Neural Agent operating on a Non-deterministic Environment System Verify), a software package for performing MILP-based verification for agent-environment systems where the agent is controlled by ReLU-activated feed-forward neural networks, the environment is non-deterministic with branching temporal evolutions, and specifications are expressed in a bounded variant of CTL. (paper)

RNSVerify (Recurrent Neural System Verify), an extension of NSVerify to handle recurrent neural networks. (paper)

NSVerify (Neural System Verify), a software package for performing reachability analysis on neural agent-environment systems implemented by ReLU feed-forward neural networks. (paper)

All tools available to download here.

Teaching.

Teaching assistant in the Department of Computing for the following courses:

303 Systems Verification -- Spring Term, 2020

120.1 Programming I (Haskell) -- Autumn Term, 2019

498H Logics for Strategic Reasoning in AI -- Spring Term, 2019

120.1 Programming I (Haskell) -- Autumn Term, 2018

303 Systems Verification -- Spring Term, 2018

120.1 Programming I (Haskell) -- Autumn Term, 2017

Service.

Volunteer, 16th International Conference on Principles of Knowledge Representation and Reasoning (KR18), Tempe, Arizona, USA. 30th October 2018

Volunteer, 7th Federated Logic Conference (FLoC18), Oxford, UK. 13th July 2018

Volunteer, Deep Learning Summit, London, UK. September 21st - 22nd, 2017

Other bits and bobs.

Former member of The Imperial College Snowsports Club.

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

My Github.

My LinkedIn.


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