Would you like to learn hybrid dynamical systems?
PhD projects finished
On hybrid systems
- Title: Verification of liveness properties on hybrid dynamical systems.
- Carried out by: Mrs. Rebekah Carter.
- Period: September 2009-March 2013.
- Supervisor: Dr. Eva Navarro-López.
PhD dissertations in progress
A new exciting 4-year-funded PhD multi-disciplinary project bringing together the fields of ecology, evolution, computer science and control theory
- Title: The evolution of sexual imprinting behaviour.
- Carried out by: Miguel Gómez Llano.
- Period: Since September 2013.
- Supervisors: Dr. Tucker Gilman (Computational and Evolutionary Biology Department, Faculty of Life Sciences, Manchester), Dr. Eva Navarro-López (School of Computer Science, Manchester) and Prof. Erik Svensson (Department of Biology, Lund University).
MSc projects supervised
On hybrid systems
- Title: Formal verification of an electromechanical system with discontinuous properties.
- Carried out by: Paul Kevin Duckworth (MSc with distinction).
- Period: February-September 2010.
- Title: Computational model of a rotary system with discontinuous elements.
- Carried out by: Mrs. Rebekah Carter (NAG Prize, MSc with distinction).
- Period: February-September 2009.
Research students are welcome
I welcome applications from enthusiastic research students interested in any of my research areas. You should ideally have a background in differential equations, dynamical systems analysis, simulation, and formal computer science. Please, send me an e-mail message if you would be interested. You can obtain further information about the postgraduate studies, funding opportunities and application procedures following this link.