Logic & Mathematics Foundations of Informatics

About the Program

As technology becomes more complex, understanding the algorithms, functions, and reasoning behind it becomes more valuable.

With a background in logic and mathematical foundations, you can test the newest operating systems, investigate ways to encode and decode sensitive information, and conduct research that affects fields from bioinformatics to artificial intelligence.

Designed for students from a computer science or math background, the logic and mathematical foundations track of the Ph.D. in Informatics is math-oriented and interdisciplinary. Our students and faculty explore the intersection of math, philosophy, and technology through:

  • Computational complexity theory
  • Mathematical foundations of computation
  • Theoretical cryptography
  • Analysis of algorithms
  • Models of computation
  • Substructural logics such as linear and relevance logics
  • Category theory
  • Proof theory
  • Information-based logics
  • Algebraic logic
  • Relations between computation and logic

Because information theory is fundamental to all areas of technology, we encourage our students to collaborate with faculty and students in programs such as bioinformatics, complex systems, and security informatics. And we’re eager to advise students with interdisciplinary interests.

Curious how your interests might fit in? Contact our faculty.


Logic and mathematical foundations of informatics track of the Ph.D. in Informatics

  • A research-based, interdisciplinary degree

Academic Bulletins

PDF Version

Click here for the PDF version.