Research supervision and mentorship
Postdoctoral level and research assistants
“Can discrete and continuous dynamics represent biochemical signalling networks?” (with Prof. Pedro Mendes). Dr. Benjamin Small (EPSRC Doctoral Prize). School of Computer Science and Manchester Institute of Biotechnology, University of Manchester, UK. 2011–2012.
“DYVERSE: a new kind of control for hybrid systems”. Dr. Michael O’Toole (EPSRC). School of Computer Science, University of Manchester, UK. 2011–2012.
“Automated system for the detection and location of mechanical collisions”. Roberto García Aguilar and Juan Miguel Andújar Morgado (research assistants with Professor José Andrés Somolinos Sánchez). Industrial Engineering School of Ciudad Real, Universidad de Castilla-La Mancha, Spain. 2006–2008.
PhD level
“Understanding the construction of metropolitan areas through data analytics: the case of Greater Manchester Combined Authority (GMCA)”. Harry Odell. PhD in Data Analytics (funding from the Centre of Doctoral Training in Data Analytics for Society). Co-supervised with Drs. Nuno Pinto, Iain Deas. School of Environment, Education and Development, University of Manchester, UK. Ongoing.
“Intelligent hybrid systems for medical image classification”. Jesús Rogelio García Aguirre. PhD in Electrical Engineering (funding from CONACYT México). Co-supervised with Dr. Luis Martín Torres Treviño. Faculty of Mechanical and Electrical Engineering, Universidad Autónoma de Nuevo León, Monterrey, México. Ongoing.
“Characterisation of complex networks from their topologies”. Oliver Blanthorn. PhD in Computer Science (funding fromthe Centre of Doctoral Training in Computer Science). Main supervisor. School of Computer Science, University of Manchester, UK. Viva voce examination 19th November 2019.
“Building models of small DNA control elements for prediction of transcription factor activity”. José Luis Hernández Domínguez. PhD Computer Science (funding from CONACYT México). Co-supervised with Prof. Andrew Brass. School of Computer Science, University of Manchester, UK. Degree awarded January 2020.
“Stability and stabilisation of switching and hybrid dissipative systems”. Paschalis Karalis. PhD in Computer Science (funding from the School of Computer Science). Main supervisor. School of Computer Science, University of Manchester, UK. Viva voce examination 20th July 2018.
“Plasticity in reproductive behaviours as a response to human induced ecological changes”. Miguel Gómez Llano. PhD in Evolution and Ecology (funding from BBSRC and NERC). Co-supervised with Dr. Tucker Gilman. School of Earth and Environmental Sciences, University of Manchester, UK. Viva voce examination 3rd November 2017.
“Verification of liveness properties on hybrid dynamical systems”. Rebekah Carter. Probably the first PhD thesis dedicated to the analysis and verification of complex hybrid dynamical systems in the UK and in the world. Programs available at https://tinyurl.com/y9vwxpu8. PhD in Computer Science (funding fromEPSRC). Main supervisor. School of Computer Science, University of Manchester, UK. Viva voce examination 12th June 2013.
“Medical fruits from healthcare data: applied artificial intelligence to improve decisions, outcomes and reduce costs”. Diane Halliwell. PhD in Business and Management (funding from the Alliance Manchester Business School). Co-supervised with Prof. Julia Handl. Alliance Manchester Business School, University of Manchester, UK. 2018–2020.
“Adaptive hybrid dynamical systems to model, analyse and control complex power networks”. Jaime Triviño Bustamante. PhD in Computer Science (funding from Comisión Nacional de Investigación Científica y Tecnológica from the Government of Chile). Main supervisor. School of Computer Science, University of Manchester, UK. 2017–2019.
“Uniform interpolation-based methods for the quality assurance of large ontologies”. Ghadah Alghamdi. PhD in Computer Science. Co-supervised with Dr. Renate Schmidt. School of Computer Science, University of Manchester, UK. 2017–2019.
Research stays and supervision (more than 2 months):
“Detecting and mitigating gender bias in natural language processing: A case study of English to Twi Akuapem translation”. Abigail Oppong from Ashesi University College, Berekuso, Ghana. Online supervision and mentoring. 2018-2022.
“Analysis of thalamocortical oscillations on working memory computations”. Utku Celikok from Istanbul Technical University, Turkey. Co-supervisor of last-year MEng project with Professor Neslihan Sengör. School of Computer Science, University of Manchester, UK. 2014.
“Can dynamical systems speak different languages?”. Zachary Scott from University ofMichigan-Flint, USA. School of Computer Science, University of Manchester, UK. 2014.
“Optimal control and feedback dissipativity of nonlinear discrete-time systems”. Dr. Fernando Ornelas Tellez from Centro de Investigación y de Estudios Avanzados (CINVESTAV) del Instituto Politécnico Nacional (IPN) Unidad Guadalajara, México. School of Computer Science, University of Manchester, UK. 2010.
“Análisis de las oscilaciones de atascamiento-deslizamiento en un sistema mecánico sujeto a fricción” (“Analysis of stick-slip oscillations in a mechanical system with friction”). Gustavo A. Canul Chay (MSc student) from Mechatronics Section of CINVESTAV-IPN. Co-supervisor: Professor Jaime Álvarez Gallegos. CINVESTAV-IPN, Mexico. 2004-2006.
“Analytical models describing the torsional and lateral behaviour of a conventional drillstring”. Julien Cabillic from Institut Français de Mécanique Avancée. Instituto Mexicano del Petróleo (IMP, Mexican Institute of Petroleum), Mexico. 2004.
MSc level
“Detection of coronary artery disease in computed tomography images using a convolutional neural network model”. Aaron Rafferty. Programme in Artificial Intelligence. School of Engineering, Computing and Mathematical Sciences, University of Wolverhampton, UK. 2023.
“Improving credit approval decisions with explainable machine learning”. Lawrence Krukrubo. Programme in Artificial ntelligence. School of Engineering, Computing and Mathematical Sciences, University of Wolverhampton, UK. 2023.
“Multi-disease detection using hybrid machine learning”. Nithish Reddy Ryala. Programme in Data Science. School of Engineering, Computing and Mathematical Sciences, University ofWolverhampton, UK. 2023.
“Deep learning-assisted framework for chest infection detection”. Mian Muhammad Qureshi. Programme in Data Science. School of Engineering, Computing and Mathematical Sciences, University of Wolverhampton, UK. 2023.
“Music instrument recognition by music audio file”. Lakshitha Chathuranga Lokuge. MSc in Computer Science.School of Engineering, Computing and Mathematical Sciences, University ofWolverhampton, UK. 2023.
“Studying neurons and neuronal networks”. Aja Kassama. Programme in Artificial Intelligence. School of Engineering, Computing and Mathematical Sciences, University of Wolverhampton, UK. 2022–2023.
“A hybrid automaton model for recycling greywater coming from washing machines”. Vanessa Salazar Castillo. Programme in Artificial Intelligence. School of Engineering, Computing and Mathematical Sciences, University of Wolverhampton, UK. 2022–2023.
“Predicting likeliness of forest fire and weather patterns with network science”. Luke Collins. Programme in Data Science. School of Engineering, Computing and Mathematical Sciences, University of Wolverhampton, UK. 2022–2023.
“Lubrication oil condition monitoring and top-up/sweetening prediction for large marine diesel engines using linear regression”. Maurice P. Asuquo. Programme in Artificial Intelligence. School of Engineering, Computing and Mathematical Sciences, University of Wolverhampton, UK. 2022.
“Robotic system for telesurgery”. Oluwagbemisola Taiwo. Programme in Computer Science and IT. School of Engineering, Computing and Mathematical Sciences, University of Wolverhampton, UK. 2022.
“Social media as an information system for a city (Coventry)”. John Idogun. Programme in Computer Science and IT. School of Engineering, Computing and Mathematical Sciences, University ofWolverhampton, UK. 2022.
“How the implementation of cloud computing in a K-12 school can improve the education quality”. Cappa Muzan. Programme in Computer Science and IT. School of Engineering, Computing and Mathematical Sciences, University of Wolverhampton, UK. 2022.
“Detecting shifts in metropolitan structure – a spatial network perspective”. Harry Odell. Programme in Data Analytics for Society. Co-supervisors: Nuno Pinto, Iain Deas. School of Environment, Education and Development, University of Manchester, UK. 2020.
“Analysis of stock markets using complex networks and machine learning”. Lingjie Zhang. Programme in Advanced Computer Science with IT Management. School of Computer Science, University of Manchester, UK. 2018.
“Dynamical models and analysis to explain the migration of monarch butterflies”. Zhijun Bai. Programme in Advanced Computer Science with IT Management. School of Computer Science, University of Manchester, UK. 2018.
“Simulation of models of monarch butterfly dynamical moving structures”. Enlai Gu. Programme in Advanced Computer Science with IT Management. School of Computer Science, University of Manchester, UK. 2018.
“Construction and modeling of an Alzheimer’s disease micro-RNA mediated gene regulatory network”. Jennifer Olumide (Virgo). Programme in Advanced Computer Science. School of Computer Science (distance learning programme), University of Manchester, UK. 2015–2018.
“Modelling and simulation of hybrid dynamical systems”. Yuyin Chen. Programme in Advanced Computer Science with IT Management. School of Computer Science, University of Manchester, UK. 2016.
“Using machine learning to gain insights about cancer”. Sultan Aldera. Programme in Advanced Computer Science. Co-supervisors: Prof. Andy Brass, Dr. Jim Weatherall (AstraZeneca). School of Computer Science, University of Manchester, UK. 2015.
“Formal verification of an electromechanical system with discontinuous properties”. Paul Kevin Duckworth. Programme in Mathematics and Computational Science. School of Mathematics and School of Computer Science, University of Manchester, UK. 2010.
“Computational model of a rotary system with discontinuous elements”. First MSc thesis dedicated to hybrid dynamical systems in the UK. Rebekah Carter (NAG Prize). Programme in Mathematics and Computational Science. School of Mathematics and School of Computer Science, University of Manchester, UK. 2009
Final-year BSc/MEng projects
I have supervised 31 last-year undergraduate projects. Most of my undergraduate students develop research projects related to neuronal networks in the human brain, collective dynamics/intelligence, synchronisation, Alan Turing’s morphogenesis, complex networks, dynamical systems analysis, automated verification, formal methods of computer science, hybrid dynamical systems, and swarming and flocking algorithms. They are always amongst the best projects, in Manchester three of them were awarded the AT&T Prize for the best final-year undergraduate project. I highlight the following research projects developed in the School of Computer Science at the University of Manchester and at the University of Wolverhampton:
“Exploring solutions to track body movements and facial expressions for VTubers”. Michal Jakub Tarkowski. 2022–2023.
“Web accessibility”. Olasubomi Olasonjoye. 2022–2023.
“AI cybersecurity melody UK-KPOP”. Alisha Afsar. 2022–2023.
“Effects of advertisement on consumer’s behaviour”.Mandeep Singh. 2022–2023.
“Modelling the neuron-astrocyte dynamics”. Ana Gabriela Pandrea. 2018–2019.
“Alan Turing’s morphogenesis on complex networks”. Joseph Blackmore. 2018–2019.
“Studying neurons and neuronal networks”. Matthew Downes. 2018–2019.
“The free sound of self-organisation: swarm music”. Fernando Macedo Ferreira, Poppy Reid. 2018–2019.
“The mystery of monarch butterflies: models explaining their migration”.Mihai Man. 2018–2019.
“Dynamical and computational structures under the sea: modelling of fish motion”. Radu Adam. 2018–2019.
“HyMAT: Discrete qualitative dynamical analysis using hybrid automata and languages”. Can dynamical systems speak different languages? Mike Cruchten. AT&T Prize for the best final-year undergraduate project. 2017–2018.
“Studying neurons and neuronal networks”.Wonkwon Lee. 2017–2018.
“Analysis of stock market evolution through complex network science”. Rares Urs. 2017–2018.
“The mathematics of the heart”. Radu Belciu. 2017–2018.
“The free sound of self-organisation: swarm music”. Octavian Ionut, Gengyuan Xion; Jake Williams. 2017–2018; 2015–2016.
“Models for neurons and neuronal networks”. Imogen Gough. AT&T Prize for the best final-year undergraduate project. Imogen also came 2nd in the 3rd year poster competition at the 2016 BCS Lovelace Colloquium that was held in the University of Sheffield in 2016. 2015–2016.
“Dynamical and computational structures under the sea: modelling of fish motion”. JonathanWhite, Timothy Roberts. 2015–2016.
“Models for neurons and neuronal networks for the study of working memory”. Ruchika Mhaprolkar. AT&T Prize for the best final-year undergraduate project. 2014–2015.
“Alan Turing’s morphogenesis on complex networks”. Shaaz Abedin. 2014–2015.
“To verify or not to verify: adventures in dynamical systems using MetiTarski”. Bogdan Toader. 2012–2013.
“Alan Turing’s morphogenesis: on the wonders of nature”. Vasilis Nicolaou. 2012–2013.
“Bringing order to complexity: Turing’s morphogenesis”. José Eduardo-Winpenny Tejedor. 2010–2011.