I develop software verification systems and use them to prove if a program complies with its requirements. The programs I investigate are concurrent and distributed. I am interested in finding out a modular way for reusing the proof systems such that the effort in verifying communication correctness can be minimized.
Scientific interests: formal methods, software verification, deductive verification, object orientation, concurrent and distributed systems
What triggers me scientifically: Functional correctness of software is important. I work on enhancing software quality in the development phase as early as possible and as efficiently as possible.