Name : Crystal Chang Din
Position : Ph.D student
Research group : Precise modeling and analysis (PMA)
Institution : Institutt for informatikk
Adress: Institutt for informatikk
             Universitetet i Oslo
             Postboks 1080 Blindern
             N-0316 Oslo Norway
Room : 8168 Ole-Johan Dahls hus
Office number : +47 22 84 08 52
E-mail : crystald(at)ifi.uio.no

Teaching assistant : INF4140 - Models of Concurrency (Autumn 2010)
Teaching assistant : INF4140 - Models of Concurrency (Autumn 2011)
Research report 401: Observable Behavior of Distributed Systems
Research report 415: An Approach to Compositional Reasoning about Concurrent Objects and Futures
Presentation slides : Observable Behavior of Distributed Systems
Presentation slides : Compositional Reasoning about Concurrent Objects and Futures
Journal : Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects

---

Last modified: Tue Nov 16 11:15:19 CET 2010