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.
E-mail:
Office telephone: +47 22 84 55 16
University profile:
https://www.mn.uio.no/ifi/english/people/aca/crystald/
University home page: