About

I am a mathematician, computer scientist, and educator interested in theoretical computer science and discrete mathematics, and their applications.

My work lies at the intersection of mathematics and computer science, with interests spanning combinatorics, matroid theory, theoretical computer science, cryptography, and related areas.

Research

My research interests include:

Machine Learning and Artificial Intelligence

Formal methods in Machine learning
Automated theorem proving

Computer Science

Cryptography and post-quantum cryptography
Theoretical computer science

Mathematics

Tropical geometry
Polyhedral combinatorics
Matroid theory
Algebraic and enumerative combinatorics

Publications

Matroid Chern-Schwartz-MacPherson cycles and Tutte activities with Spencer Backman, Proceedings of the American Mathematical Society.
Eulerian polynomials for subarrangements of Weyl arrangements with Masahiko Yoshinaga and Tan Nhat Tran, Advances in Applied Mathematics (2021).

Teaching

I have been teaching in computer science and mathematics. Here is the list of my courses:

University of Toronto (Toronto, Ontario, Canada)

Computability and Complexity Theory (Fall 2026)
Theory of Computation (Fall 2022, Fall 2024, Fall 2025)
Cryptography and Complexity (Fall 2024)
Introduction to Computer Science (Winter 2024, Winter 2026)
Data Structures (Winter 2023)
Matroid Theory (Summer 2023)

The Fields Institute (Toronto, Ontario, Canada)

Post-Quantum Cryptography (Cybersecurity Program) (Winter 2025)

Abdus Salam School of Mathematical Sciences (Lahore, Punjab, Pakistan)

Abstract Algebra (Summer 2021)
Matroid Theory (Summer 2021)

Lahore University of Management Sciences (Lahore, Punjab, Pakistan)

Calculus II (Fall 2021)

Habib University (Karachi, Sindh, Pakistan)

Linear Algebra (Winter 2021)
Engineering Mathematics (Fall 2021)

Western University (London, Ontario, Canada)

Applied Logic for CS (Fall 2020)
Calculus 1000 (Fall 2019)
Calculus 1000 (Fall 2017)
Putnam Seminar (2016-17)

Ahmed Ashraf