Crystal Chang Din
Hjemmeside
http://heim.ifi.uio.no/~crystald/
Faglige interesser
Jeg er interessert i formelle metoder, analyse og verifisering av programvaresystemer. Foreløpig satser jeg på å utvikle et "compositional reasoning system" for paralelle og distribuerte systemer.
Undervisning
INF9145 - Modeller for Parallellitet
INF9140 - Presentasjon: Symbolic CTL Model Checking
Bakgrunn
Project assistant, Jul 2009 - Dec 2009, SEFM forskning gruppe,
Chalmers Tekniska Högskola, Sverige
M.Sc. i Software Engineering, Sep 2007 - Jun 2009,
Chalmers Tekniska Högskola, Sverige
B.Sc. i Computer Science, Sep 2005 - Jun 2008,
National Chiao Tung University, Taiwan
Publikasjoner
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. The Joural 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