|
Scott A. Smolka
SUNY Distinguished Professor Department of Computer Science (631) 632-8453 Research Interests 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. |
|
Rahul Mangharam
Associate Professor, Department of Electrical and Systems Engineering 215-573-3636 Research Interests Real-time scheduling algorithms for networked embedded systems with applications in energy-efficient buildings, Automotive systems, Medical devices and Industrial wireless control networks. |
|
Flavio Fenton
Associate Professor, School of Physics 404-385-3145 Research Interests High performance computing, Experiments in complex systems and Mathematical modeling of complex systems. |
|
Rance Cleaveland
Professor, Department of Computer Science 301-405-8572 Research Interests 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. |
|
Elizabeth Cherry
Assistant Professor Rochester Institute of Technology, Research Interests Elizabeth Cherry's research interests are Cardiac electrophysiology, High-performance computing, Nonlinear dynamics and Mathematical biology. |