Scott Smolka
Location: (Stony Brook, NY)
Personal Research Web Page: http://www.cs.sunysb.edu/~sas
Keywords: Model Checking, Formal Methods, Process Algebra, Formal Verification, Security Protocols, Systems Biology, Embedded Systems, Hybrid Systems, Ad Hoc Network Protocols
Posted on: Friday, May 6th, 2011
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Programming Languages / Compilers, Software Engineering
Research Interests:
The primary focus of my research is the computer-aided verification and validation of computer systems, including concurrent and distributed systems; security, network and wireless protocols; software systems; biological systems; and safety-critical and embedded systems. Current research projects include the use of Hybrid Automata to Model and Analyze Cardiac-Cell Networks; a Process Algebra for Mobile Ad Hoc Network Protocols; Probabilistic Model Checking of Security Protocols; and Runtime Monitoring of Software Systems with Controllable Overhead.
Contact Information:
email obfuscated - click to reveal, http://www.cs.sunysb.edu/~sas, 631-632-8453
