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.

Dharmalingam Ganesan

Senior Research Scientist, Fraunhofer Center for Experimental Software Engineering
University of Maryland

dganesan@fc-md.umd.edu

Research Interests

Model-based Testing, Secure Programming, Reverse Engineering, and Verification.

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.