Co-Investigators

	Edmund M. Clarke FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering Carnegie Mellon University emc@cs.cmu.edu Research Interests My interests span three areas: Programming Systems, Hardware, and Theory. I use techniques from theoretical computer science to solve problems in programming systems and hardware design that are of practical interest. During the last 30+ years my research has focused on Model Checking and the formal verification of hardware and software correctness.
	Sanjay Dixit Director, Cardiac Electrophysiology, Philadelphia VA Medical Center Associate Professor of Medicine at the Hospital of the University of Pennsylvania and the Presbyterian Medical Center of Philadelphia and the Veteran's Administration Medical Center sanjayd@seas.upenn.edu Research Interests Understanding mechanisms underlying initiation and maintenance of Atrial Fibrillation; Developing and assessing various ablation strategies for atrial and ventricular tachyarrhythmias; Outcomes Research in patients with implantable cardioverter defibrillators and patients undergoing AF ablation.
	Sicun Gao Postdoctoral Fellow Computer Science Department, Carnegie Mellon University sicung@cs.cmu.edu Research Interests Automated formal methods for the design and analysis of cyber-physical systems
	James Glimm Distinguished Professor, Department of Applied Mathematics & Statistics State University of New York at Stony Brook glimm@ams.stonybrook.edu Research Interests James Glimm has been noted for contributions to C*-algebras, quantum field theory, partial differential equations, fluid dynamics, scientific computing, the modeling of petroleum reservoirs, and turbulence modeling.
	Richard A. Gray Biomedical Engineer, Center for Devices and Radiological Health U.S. Food and Drug Administration richard.gray@fda.hhs.gov Research Interests Richards research is on cardiac electrophysiology and Radiological Health. Richard also reviews cardiac devices for their safety and efficacy and provides recommendations regarding their approval for market. His passion for biomedical engineering lies in protecting public health and safety.
	Radu Grosu Research Professor, Department of Computer Science State University of New York at Stony Brook grosu@cs.stonybrook.edu Research Interests Model-based design, analysis and control of complex dynamic systems; Model checking, abstract interpretation, logic and automata theory, control theory; Computational models in systems biology; Applied formal methods, software and systems engineering, UML.
	Mikael Lindvall Senior Research Scientist, Fraunhofer Center for Experimental Software Engineering University of Maryland mikli@fc-md.umd.edu Research Interests Model-based Testing, Secure Programming, Reverse Engineering, and Verification.