Theory and algorithms

Our Mathematical Foundations of Computer Science research group works in areas crucial for creating efficient and reliable software and hardware for computational biology, cybersecurity, artificial intelligence, and a range of other critical applications.