I do research on formal verification in all its forms, but I like to focus
on applications geared towards industrial systems. My original interest in
the field stems from a fascination with classical logic and theorem
proving. I have worked on a variety of projects and products ranging from
model checkers and equivalence checkers to test case generation tools.
You can find my publications here.
|Home||July 3, 2007|