|
|
|
|
|
|
|
|
|
|
Program Verification, Temporal Logics, Concurrent and Distributed Programming Languages, Compositional and Component-Oriented Software Development, Static Analysis and Specification-based Testing. I am involved in the research projects of the Model
Checking Group guided by Professor Edmund Clarke. My current research
focuses on formal modeling of software systems, and development of efficient
algorithms for model checking large-scale software. My ultimate goal is
to deliver the research results to the SEI PACC project where we transition
formal verification to software industry.
|
|
|
CSD Home 
Webteam ^ Top
SCS Home |
Adamchik