Crystal Chang Din – Postdoctoral Researcher

Geological Assistant

Analysis of Complex Systems

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.



Office telephone: +47 22 84 55 16

University profile:

University home page: