Vivek Ramanathan

Hello! I am a 5th-year student in the Integrated 5-Year Computer Science B.S./M.S. Program at The University of Texas at Austin. I am also pursuing a B.S. in Mathematics. My current research interests are in Rapid Single Flux Quantum technology and automated theorem proving in ACL2.