Leadership

SUNY Distinguished Professor

Department of Computer Science
249 New Computer Science Building
Stony Brook University
Stony Brook, NY 11794-2424

Scott A. Smolka has made fundamental contributions in the areas of process algebra, model checking, probabilistic processes, and cardiac-cell modeling and analysis. He is perhaps best known for the algorithm he and Paris Kanellakis invented for deciding bisimulation. Smolka's research in these areas has resulted in over 150 publications, generating more than 7,000 citations. He has also been PI/Co-PI on grants totaling more than $18M.

Associate Professor, Department of Electrical and Systems Engineering

University of Pennsylvania

Real-time scheduling algorithms for networked embedded systems with applications in energy-efficient buildings, Automotive systems, Medical devices and Industrial wireless control networks.

Associate Professor, School of Physics

Georgia Institute of Technology

High performance computing, Experiments in complex systems and Mathematical modeling of complex systems.

Professor, Department of Computer Science

University of Maryland

Automated and interactive tools for reasoning about computer systems. Specification and verification of concurrent and distributed systems. Formal methods in system design and analysis. Semantics of programming languages and logics. Applications of logic in Computer Science.

Assistant Professor

Rochester Institute of Technology

Rochester Institute of Technology,
One Lomb Memorial Drive,
Office GOS 3348
Rochester, NY 14623-5603

Elizabeth Cherry's research interests are Cardiac electrophysiology, High-performance computing, Nonlinear dynamics and Mathematical biology.