Vivek Ramanathan

B.S. Computer Science, B.S. Mathematics

I am a student at The University of Texas at Austin pursuing a B.S. in Computer Science and a B.S. in Mathematics. My current interests are in automated theorem proving and machine learning. I primarily work with Java, Python, Lisp, Javascript, MongoDB, and Matlab. Please browse around my website to view my portfolio, courses, and more.