Communication Fellow 2019-2022
Tej served as an EECS Communication Lab Fellow while he was a PhD student in the Parallel and Distributed Operating Systems (PDOS) group, where he worked in formal verification, writing systems software and then proving that the software always does the right thing.