Postdoctoral Fellow
Computer Science Department, Carnegie Mellon University
Automated formal methods for the design and analysis of cyber-physical systems
7125 Gates and Hillman Centers
Carnegie Mellon School of Computer Science
5000 Forbes Avenue
Pittsburgh, PA 15213
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
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.
Section of Cardiac Electrophysiology
9 Founders Pavilion
Hospital of University of Pennsylvania
3400 Spruce Street
Philadelphia, PA 1910
Biomedical Engineer, Center for Devices and Radiological Health
U.S. Food and Drug Administration
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.
Office of Science and Engineering Laboratories
Food and Drug Administration
10903 New Hampshire Avenue
WO62-Room 1114
Silver Spring MD 20993-0002
Distinguished Professor, Department of Applied Mathematics & Statistics
State University of New York at Stony Brook
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.
Research Professor, Department of Computer Science
State University of New York at Stony Brook
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.
Senior Research Scientist, Fraunhofer Center for Experimental Software Engineering
University of Maryland
Model-based Testing, Secure Programming, Reverse Engineering, and Verification.
FORE Systems University Professor of Computer Science and
Professor of Electrical and Computer Engineering
Carnegie Mellon University
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.
Computer Science Department
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
USA