Ramesh Bharadwaj holds the PhD degree in Software Engineering. He is currently a researcher in Software Engineering at the US Naval Research Laboratory in Washington DC. He is also an Adjunct Professor in the Department of Computer Science and Engineering at the School of Engineering and Applied Sciences of George Washington University. He has hands-on experience in systems development, having worked for several years in industry as a hardware engineer, senior systems programmer, and senior software engineer. He also spent two years managing software development projects for a leading bibliographic services utility. He has held research and development positions at the Tata Institute of Fundamental Research in Bombay, the Philips Research Laboratories in Eindhoven, Stanford University in California, and AT&T Bell Laboratories in Murray Hill, New Jersey. His research interests include tools and methods for software engineering, automatic verification, and decision procedures for automatic theorem proving.
If you have comments or suggestions, email me at ramesh@seas.gwu.edu
