معرفی
Crystal Chang Din is an Associate Professor at the Department of Informatics, University of Bergen. Her research focuses on formal methods, software verification, and didactics. She has organized conferences such as the KeY Symposium 2023 and served as PC Chair for FTfJP 2025. Her work includes developing verification tools like KeY-ABS and exploring concurrency semantics in programming languages.
She teaches courses including INF113 (Operating Systems) and INF100 (Introduction to Programming). Notable contributions include modular reasoning systems for code reuse and runtime enforcement frameworks. She advises master’s students such as Eirik Halvard Sæther and Ida Sandberg Motzfeldt.
Her publications span topics like feature model evolution, deadlock detection, and concurrent programming semantics. She has contributed to international journals like Formal Aspects of Computing and conferences such as NWPT and iFM. Her research emphasizes practical applications in distributed systems and formal verification techniques.
