School of Engineering

Staff Profile

Dr Andrey Mokhov

Senior Lecturer in Computer Engineering, Royal Society Industry Fellow

Background

Dr Andrey Mokhov is a Senior Lecturer in Computing Engineering and Royal Society Industry Fellow at Newcastle University. His areas of expertise are concurrency, formal methods and functional programming.

You can find my open-source projects on GitHub and an up-to-date list of publications on Google Scholar.

Research

I am a member of the ?Systems Research Group, where I lead a small team applying abstract mathematics, custom hardware design, and functional programming to industrial engineering problems.

You can find my open-source projects on GitHub and an up-to-date list of publications on Google Scholar

I am an investigator on the EPSRC programme grant POETS, where I lead Newcastle University team.

Research Interests

  • Algebraic graphs: underlyng mathematics, efficient algorithms, and applications.
  • Design and implementation of large-scale software build systems.
  • EDA tools for asynchronous circuits and concurrent systems in general.
  • New computing architectures and hardware accelerators.
  • Complexity theory, particularly in the context of circuits and algebraic structures.

Teaching

I currently lead only one module: EEE1008 (C Programming, see notes).

Publications