Pranav Singh
​
Dr Pranav Singh
Department of Mathematical Sciences
University of Bath
Bath, BA2 7AY, United Kingdom
​
​
+44 (0) 1225 385494
​
​
​
​
I work at the intersection of scientific computing, numerical linear algebra, and machine learning, with a focus on building reliable AI systems for high-stakes settings.
I am an Associate Professor (Senior Lecturer) of Mathematics at the University of Bath and Co-Founder & CEO of Numeriquai, where we develop AI systems for structured reasoning and complex decision automation.
​
My background spans Theoretical Computer Science, Scientific Computing, and Applied Mathematics, combining mathematical foundations with practical systems and algorithm design.​
​​Current Interests:
-
Reliable and verifiable AI
-
Neurosymbolic reasoning systems
-
Novel neural architectures
-
Scientific machine learning
-
Scientific computing
-
Quantum numerical algorithms
​​
Techniques:
-
Mathematical Logic
-
Theorem Proving
-
Numerical Linear Algebra
-
Neural ODEs
-
Functions of Matrices
-
Rational Approximations
-
Krylov Subspace Methods
-
Numerical Optimization
-
Differential Geometry (including Lie algebra)
​​
Earlier Works:
-
Geometric Numerical Integrators
-
Formal Verification & Axiomatisations
-
Programming Language & Compiler Design
-
Geometric Computer Vision.
​
Academic Career
_edited_p.png){kind=spacer}
_edited_p.png){kind=spacer}
2016 - 2019
Junior Research Fellow in Mathematics
2000 - 2005
BTech & MTech in Computer Science
