About Me

Dr. Bharath Jayaraman is a professor in the Department of Computer Science and Engineering at the University at Buffalo and serves as an adjunct faculty member at Amrita School of Engineering. His research focuses on programming languages and software systems, with a particular interest in dynamic analysis and visualization within execution environments for Java, as well as formal methods in safety-critical systems.