UB LogoCSE Logo
Dr. Bharat Jayaraman, Professor
Picture Dr. Bharat Jayaraman, Professor
Department of Computer Science and Engineering
University at Buffalo, The State University of New York
338 Davis Hall
Buffalo, NY 14260-2500, U.S.A.
Phone: (716) 645-4755
Fax: (716) 645-3464
Email: bharat at buffalo.edu

Dr. Jayaraman received his bachelors and masters degrees from the Indian Institute of Technology, Madras, and his doctorate in Computer Science from the University of Utah. Prior to joining the University at Buffalo in 1989, he was on the faculty at the University of North Carolina. He also served as CSE Department Chair at the University at Buffalo during 2001-09.

Dr. Jayaraman's research centers around programing languages and software systems. Current projects include:

(1) run-time visualization in a state-of-the-art execution environment for Java called JIVE;
(2) program analysis and applications of temporal constrained objects, and constraint-based design; and
(3) software verification and finite-state models.

Recent Profesional Service

Associate Editor, CSI Transactions on ICT, published by Springer, since 2012
Guest Editor, Computer Journal, published by Oxford University, special issue (September 2012)
Editorial Board, Journal of Functional and Logic Programming, 1995-2010

Program Chair, ACM Intl. Conference on Interdisciplinary Advances in Computing, 2014
General Co-Chair, International Conference on Distributed Computing and Network(ICDCN), 2014
Track Co-Chair, System Software and Engineering, Third International Conference on Ambient Systems and Technologies, ANT 2012-2013
Program Chair, Symposium on Data, Information, and Knowledge Spectrum, ISDIKS 2007
Program Chair, Thirteenth International Conference on Advanced Computing, ADCOM 05, 2005
Program Chair, PADL 2004: Sixth Intl Symposium on Practical Aspects of Declarative Languages, Dallax, TX

Member of Program Committees of Conferences:
First International Conference on Security in Internet of Things (2012)
Practical Aspects of Declarative Languages (2008, 2004, 1999)
ACM Conference on Principles and Practice of Declarative Programming (2006, 2004, 1999)
International Conference on Advanced Computing and Communications (2006)
International Conference on Logic Programming (2005, 2002, 2000)

Recent Talks

``Runtime Visualization and Verification of Java Programs," Keynote Talk,
Workshop on Applications of Formal Methods in Safety and Security (AFMSS 2016), May 25, 2016, Bangalore.
``Workshop on Formal Methods," Computer Society of India, Bangalore, January 4-5, 2016.
``Dynamic Analysis and Visualization of Programs," given at the Indian Statistical Institute, Kolkata (March 2014),
Android Workshop, Coimbatore (April 2014), and Cochin University - CUSAT (January 2016)
"Formal Policy Language for Secure Cloud Configurations," given at Ambient Networks and Technologies (ANT 2012), August 2012
"Spatio-Temporal Querying in Smart Spaces," given at Ambient Networks and Technologies (ANT 2012), August 2012
"Pedagogic Tool for Computer Programming," given at International Conference on Technology Enhanced Education, January 2012
"Query Based Debugging and Scalable Visualizations," given at Reliable Software Engineering group, Microsoft Research, May 2011, and also at the Java Pathfinder Workshop, November 2011
"Spatio-Temporal Reasoning in Biometric-based Smart Spaces," given at Ambient Networks and Technologies (ANT 2011), August 2011
"JIVE: Java Interactive Visualization Environment," given at Workshop on Program Verification, Testing, and Debugging, Sunnyvale, CA, June 2010.
"Towards Declarative and Visual Runtime Environments," Distinguished Lectures in Languages, Models, and Computing, December 2007.
"Modeling Engineering Structures through Constrained Objects," Innovative Methods in Connecting Computer Science to the Domains, December 2007.
"Interactive Visualization and Graph Drawing," International Symposium on Discrete Mathematics and Applications, December 2004
"Two Research Directions in Object Oriented Languages", Indian Institute of Technology, Bombay, November 2004
"Constrained Objects for Modeling Complex Systems", Tata Institute of Fundamental Research, Bombay, November 2004
"Preference Grammars", International Symposium on Tabulation in Parsing and Deduction, Vigo, Spain, September 2000


Dr. Jayaraman has published over 100 scientific articles; see here for a cross-section of the publications. These papers are coauthored with his doctoral students and other research collaborators. His research has been supported by the National Science Foundation (NSF), Office of Naval Research (ONR), as well as the Fujitsu, IBM, and Xerox Foundations.

Send comments: webmaster@cse.Buffalo.EDU