Brandon Rozek is currently pursuing his PhD in Computer Science. His research interests broadly include automated reasoning, artificial intelligence, and formal methods.

His personal website can be found here.