Benjamin Rossman, Associate Professor of Computer Science
 My research interests lie in computational complexity and logic, specifically the areas of circuit complexity (the quest for lower bounds in combinatorial models of computation) and finite model theory (the study of logical definability on finite structures). My work is supported by NSERC Discovery and Accelerator Grants, the Ontario Early Researcher Award, and a Sloan Research Fellowship. - Contact Info:
Teaching (Fall 2025):
- COMPSCI 335.01, COMPUTATIONAL COMPLEXITY
Synopsis
- North Building 311, MW 03:05 PM-04:20 PM
- Office Hours:
- Please email me for office hours.
- Education:
Ph.D. | Massachusetts Institute of Technology | 2010 |
- Recent Publications
(More Publications)
- Rossman, B, Equi-Rank Homomorphism Preservation Theorem on Finite Structures,
Leibniz International Proceedings in Informatics Lipics, vol. 326
(February, 2025) [doi] [abs]
- Rossman, B, Formula Size-Depth Tradeoffs for Iterated Sub-permutation Matrix Multiplication,
Proceedings of the Annual ACM Symposium on Theory of Computing
(June, 2024),
pp. 1386-1395 [doi] [abs]
- Kush, D; Rossman, B, TREE-DEPTH AND THE FORMULA COMPLEXITY OF SUBGRAPH ISOMORPHISM,
SIAM Journal on Computing, vol. 52 no. 1
(January, 2023),
pp. 273-325 [doi] [abs]
- He, W; Rossman, B, Symmetric Formulas for Products of Permutations,
Leibniz International Proceedings in Informatics Lipics, vol. 251
(January, 2023), ISBN 9783959772631 [doi] [abs]
- Cavalar, BP; Kumar, M; Rossman, B, Monotone Circuit Lower Bounds from Robust Sunflowers.,
Algorithmica, vol. 84 no. 12
(January, 2022),
pp. 3655-3685 [doi] [abs]
- Recent Grant Support
- NSF Student Travel Grant for 2023 Conference on Computational Complexity, National Science Foundation, 2023/06-2025/05.
|