I am an incoming PhD student in Electrical and Computer Engineering at the University of Michigan, advised by Prof. Inigo Incer. Previously, I was an undergraduate student at Georgia Tech, graduating in the spring of 2026 with a BS in Computer Science and Mathematics. While at Tech, I did research in scheduling supervised by Prof. Alexey Tumanov at the SAIL lab. I’m most interested in formal verification of systems, type theory, programming languages, and formal mathematics.
In my free time, I enjoy playing video games, reading, and listening to music (mostly new wave, prog rock, and jazz).
Feel free to say hi at rohannb@umich.edu.
Projects & miscellany
In the summer of 2025, as part of the SUAMI REU at Carnegie Mellon, I worked with Suhas Alladaboina, Sydney Badescu, and Dr. Pavel Kovalev, on an adaptation of An Infinite Descent into Pure Mathematics into a Lean game to teach beginning undergrads about writing proofs. The game is still up, although it is unfinished. We presented our work as a poster at JMM 2026.
During my sophomore year at Tech, I wrote a FORTH implementation, plus a keyboard and video driver, for a homebrew computer developed by Prof. Aaron Lanterman called the RetCom87. I showcased it in a couple of YouTube videos, and the code is up on GitHub.