|Dr. Bharat Jayaraman, Professor|
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.
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)
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.