Hybrid dynamical systems, cyber-physical systems,

complex systems and artificial intelligence

  • Journal papers:

  • Book chapters:

  • Conference papers:

  • Papers available at arXiv and bioRxiv:

  • Developed software packages for automated verification (selected):

  • Other:

  • AmicaGeo: Reinventing online dating. A. Poliakov, E.M. Navarro-López, D. McGeady. Business plan that earned a place in the finals of the RCUK Business Plan Competition in London. This was the seed of the idea for the company Locomizer.

  • Educational articles:


Would you like that we work together?