- crystal.din@uib.no
- Phone number
- +47 55584296
- Visitor address
-
Thormøhlens gate 55
5006 Bergen - Room: 406P1
- Postal address
-
P.O. Box 7803NO-5020 BergenNorway
Follow me
Research groups
Research
Research Interests
My research interests lie in the areas of formal methods, software verification, and didactics.
Outreach
Guest editor
I am the guest editor for Nordic Workshop on Programming Theory (NWPT 2022) special issue.
Local organizer
Program chair
I am the PC Chair of FTfJP 2025.
I am the chair of NIK 2023, which is the Norwegian Informatics Conference under NIKT.
I am the PhD Symposium Chair of iFM 2023.
Program committee
I was part of the program committee of
- Software Verification and Testing Track (SVT) of the 38th Annual ACM Symposium on Applied Computing (SAC 2024)
- Software Verification and Testing Track (SVT) of the 38th Annual ACM Symposium on Applied Computing (SAC 2023)
- NWPT 2023
- NWPT 2022
- ICT Research School Annual Meeting 2022
- TheWebConf 2022
- UDIT 2021
I am also a member of the ECOOP 2021 Artifact Evaluation Committee.
I am a reviewer for the journal Formal Aspects of Computing.
Teaching
INF113 Introduction to Operating Systems
INF100 Introduction to Programming
Publications
2023
- Kamburjan, Eduard; Din, Crystal Chang (2023). Runtime Enforcement Using Knowledge Bases. (external link)
- Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh; Din, Crystal Chang et al. (2023). Modular Soundness Checking of Feature Model Evolution Plans. (external link)
- Sæther, Eirik Halvard; Yu, Ingrid Chieh; Din, Crystal Chang (2023). Semantics-Based Version Control for Feature Model Evolution Plans. (external link)
2022
- Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I et al. (2022). I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. (external link)
- Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf et al. (2022). Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. (external link)
- Yu, Ingrid Chieh; Pene, Irina; Din, Crystal Chang et al. (2022). Subsurface Evaluation Through Multi-scenario Reasoning. (external link)
2021
2020
2019
- Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch et al. (2019). Translating active objects into colored Petri nets for communication analysis. (external link)
- Kamburjan, Eduard; Din, Crystal Chang; Hahnle, Reiner et al. (2019). Asynchronous Cooperative Contracts for Cooperative Scheduling. (external link)
- Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina et al. (2019). Geological Multi-scenario Reasoning. (external link)
2018
- Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf et al. (2018). A modular reasoning system using uninterpreted predicates for code reuse. (external link)
- Din, Crystal Chang; Schlatte, Rudolf; Chen, Tzu-Chun (2018). Program Verification for Exception Handling on Active Objects Using Futures. (external link)
2017
- Boer, Frank de; Serbanescu, Vlad; Hähnle, Reiner et al. (2017). A Survey of Active Object Languages. (external link)
- Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch et al. (2017). Translating Active Objects into Colored Petri Nets for Communication Analysis. (external link)
- Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch et al. (2017). Locally abstract, globally concrete semantics of concurrent programming languages. (external link)
2015
- Din, Crystal Chang; Tarifa, Silvia Lizeth Tapia; Hähnle, Reiner et al. (2015). History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. (external link)
- Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner (2015). KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. (external link)
- Bubel, Richard; Din, Crystal Chang; Hähnle, Reiner et al. (2015). A Dynamic Logic with Traces and Coinduction. (external link)
- Din, Crystal Chang; Owe, Olaf (2015). Compositional reasoning about active objects with shared futures. (external link)
2014
- Din, Crystal Chang; Owe, Olaf; Bubel, Richard (2014). Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. (external link)
- Din, Crystal Chang; Owe, Olaf (2014). A sound and complete reasoning system for asynchronous communication with shared futures. (external link)
2013
- Din, Crystal Chang; Bubel, Richard; Owe, Olaf (2013). Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. In proceedings of NWPT'13. (external link)
- Din, Crystal Chang; Bubel, Richard; Owe, Olaf (2013). A comparison of runtime assertion checking and theorem proving forconcurrent and distributed systems. (external link)
2012
- Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch et al. (2012). Observable behavior of distributed systems: Component reasoning for concurrent objects. (external link)
- Din, Crystal Chang; Dovland, Johan; Owe, Olaf (2012). Compositional Reasoning about Shared Futures. (external link)
- Din, Crystal Chang; Owe, Olaf (2012). Soundness of a Reasoning System for Asynchronous Communication with Futures. (external link)
2010
- Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch et al. (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. (external link)
- Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch et al. (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. (external link)
- Din, Crystal Chang; Dovland, Johan; Owe, Olaf et al. (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. (external link)
- Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner (2010). Verification of Variable Software: an Experience Report. (external link)