Bharat Jayaraman

PhD

Bharat Jayaraman

PhD

Contact Information

208 Capen Hall

Buffalo NY, 14260

Phone: (716) 645-4755

bharat@buffalo.edu

Biography Teaching Research

Research Areas

  • 1/23/20
    Programming Language research focuses on type systems, program logics, language-based and differential privacy and security; language, compiler, and run-time design for reliable systems; static and dynamic analyses for real-time Android; run-time visualization and verification; adaptive memory management; language concepts for database programming; logic- and constraint-based systems.