Search Bowers

Karthik Sridharan is an associate professor in the Department of Computer Science at Cornell University. Prior to that, he was a postdoctoral research associate at the University of Pennsylvania, jointly with Alexander Rakhlin and Michael Kearns. He obtained his Ph.D. from Toyota Technological Institute at Chicago where his thesis advisor was Nathan Srebro...

I am a senior scientist at Cornell University, working on research in programming languages and synthesis/verification, with applications in domains such as networking and (distributed) systems. My overall goal is to develop tools and techniques to help programmers write better code in security- and safety-critical domains. In my free time, I enjoy hiking...