Crystal Chang Din
Homepage
http://heim.ifi.uio.no/~crystald/
Academic Interests
I am interested in formal methods, analysis and verification of software systems. Currently, I focus on developing a compositional reasoning system for concurrent and distributed systems.
Teaching
INF9145 - Models of Concurrency
INF9140 - Presentation: Symbolic CTL Model Checking
Higher education and employment history
Project assistant, Jul 2009 - Dec 2009, SEFM research group,
Chalmers University of Technology, Sweden
M.Sc. in Software Engineering, Sep 2007 - Jun 2009,
Chalmers University of Technology, Sweden
B.Sc. in Computer Science, Sep 2005 - Jun 2008,
National Chiao Tung University, Taiwan
Publications
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2012). An Approach to Compositional Reasoning about Concurrent Objects and Futures
. Research report 415. Department of Informatics, University of Oslo, Norway. Feb 2012. [Report]
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2012). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Journal of Logic and Algebraic Programming. @ Elsevier 2012. [Link]
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects. Research report 401. Department of Informatics, University of Oslo, Norway. Nov 2010. [Report]
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2010). Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects, In Marina, Walden & Luigia, Petre (ed.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISBN 978-952-12-2478-2. Extended abstract. s 26 - 27
Bubel, Richard; Din, Crystal Chang & Hähnle, Reiner (2010). Verification of Variable Software: an Experience Report
Pre-proceedings. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Paris, France, FoVeOOS 2010
- Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch & Owe, Olaf (2012). Observable behavior of distributed systems: Component reasoning for concurrent objects. Journal of Logic and Algebraic Programming. ISSN 1567-8326. 81(3), s 227- 256