Research Areas

Temporal logic

Verification via supercompilation

Verification via countermodel finding (New)