Benjamin Rossman

Benjamin E. Rossman (born 10 February 1980) is an American-Canadian mathematician and theoretical computer scientist, specializing in computational complexity theory.[1] He is currently an associate professor of computer science at Duke University.

He graduated from the University of Pennsylvania with B.A. in 2001 and M.A. in 2002.[2] He received in 2011 his Ph.D. with advisor Madhu Sudan from MIT with thesis Average-Case Complexity of Detecting Cliques.[3][4] From 2010 to 2013 Rossman was a postdoc at the Tokyo Institute of Technology. From 2013 to 2016 he was an assistant professor in the Kawarabayashi Large Graph Project of the National Institute of Informatics. For the academic year 2014–2015 he was a Simons-Berkeley Research Fellow at the Simons Institute for the Theory of Computing. He was an assistant professor in the departments of mathematics and computer science of the University of Toronto until early 2019, before joining Duke University.[2] In the fall of 2018 he was a visiting science at the Simons Institute for the Theory of Computing.[5]

His research seeks to quantify the minimum resources required to solve basic problems in combinatorial models such as Boolean circuits. Through creative techniques based in logic and the probabilistic method, Ben has derived groundbreaking lower bounds on the complexity of detecting cliques and determining connectivity in random graphs. His other notable results include size and depth hierarchy theorems for bounded-depth circuits, answering longstanding questions.[6]

Rossman was a Sloan Research Fellow for the academic year 2017–2018. He won the Aisenstadt Prize in 2018.[6] He was an invited speaker at the International Congress of Mathematicians in 2018 in Rio de Janeiro.[7]

Selected publications
  • Gurevich, Yuri; Rossman, Benjamin; Schulte, Wolfram (2005). "Semantic essence of AsmL". Theoretical Computer Science. 343 (3): 370–412. doi:10.1016/j.tcs.2005.06.017.
  • Rossman, B. (2005). "Existential Positive Types and Preservation under Homomorphisisms". 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05). pp. 467–476. doi:10.1109/LICS.2005.16. ISBN 0-7695-2266-1.
  • Demaine, Erik D.; Mozes, Shay; Rossman, Benjamin; Weimann, Oren (2007). "An Optimal Decomposition Algorithm for Tree Edit Distance". Automata, Languages and Programming. Lecture Notes in Computer Science. 4596. pp. 146–157. doi:10.1007/978-3-540-73420-8_15. ISBN 978-3-540-73419-2.
  • Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin (2007). "Interactive small-step algorithms II: Abstract state machines and the characterization theorem". Logical Methods in Computer Science. 3 (4). arXiv:0707.3789. doi:10.2168/LMCS-3(4:4)2007.
  • Rossman, Benjamin (2008). "Homomorphism preservation theorems". Journal of the ACM. 55 (3): 1–53. doi:10.1145/1379759.1379763.
  • Rossman, Benjamin (2008). "On the constant-depth complexity of k-clique". Proceedings of the fourtieth annual ACM symposium on Theory of computing - STOC 08. p. 721. doi:10.1145/1374376.1374480. ISBN 9781605580470.
  • Rossman, Benjamin (2008). "Homomorphism preservation theorems". Journal of the ACM. 55 (3): 1–53. doi:10.1145/1379759.1379763.
  • Demaine, Erik D.; Mozes, Shay; Rossman, Benjamin; Weimann, Oren (2009). "An optimal decomposition algorithm for tree edit distance". ACM Transactions on Algorithms. 6: 1–19. arXiv:cs/0604037. doi:10.1145/1644015.1644017.
  • Kopparty, Swastik; Rossman, Benjamin (2011). "The homomorphism domination exponent". European Journal of Combinatorics. 32 (7): 1097–1114. arXiv:1004.2485. doi:10.1016/j.ejc.2011.03.009.
  • Rossman, Benjamin; Servedio, Rocco A.; Tan, Li-Yang (2015). "An Average-Case Depth Hierarchy Theorem for Boolean Circuits". 2015 IEEE 56th Annual Symposium on Foundations of Computer Science. pp. 1030–1048. arXiv:1504.03398. doi:10.1109/FOCS.2015.67. ISBN 978-1-4673-8191-8.
gollark: Further exploitation of space cool and good.
gollark: "Zero growth" bad, sustained economic growth necessary.
gollark: Globalisation good, complex global supply chains basically fine?
gollark: Hmm. Also, gradual phase out of road networks and replacement with trains etc. good.
gollark: Renewables are not energy dense, need vast amounts of batteries to be any good, and take tons of energy to produce in the first place.

References
  1. "Benjamin Rossman, Assistant Profess of Mathematics and Computer Science". University of Toronto.
  2. "Benjamin Rossman, CV" (PDF). University of Toronto.
  3. Benjamin E. Rossman at the Mathematics Genealogy Project
  4. Rossman, Benjamin (2010). "Average-case complexity of detecting cliques (Doctoral dissertation, Massachusetts Institute of Technology)". hdl:1721.1/62441. Cite journal requires |journal= (help)
  5. "Benjamin Rossman". Simons Institute for the Theory of Computing, U.C. Berkeley campus.
  6. "2018 André Aisenstadt Prize in Mathematics Recipient, Ben Rossman (University of Toronto)". Centre de Recherches Mathématiques.
  7. Rossman, Benjamin (2019). "Lower Bounds for Subgraph Isomorphism". In Boyan, Sirakov; De Souza, Paulo Ney; Viana, Marcelo (eds.). Proceedings of the International Congress of Mathematicians (ICM 2018). vol. 4. pp. 3425–3446. doi:10.1142/9789813272880_0187. ISBN 978-981-327-287-3. S2CID 19175568.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.