crystald

Image of person
Could not get user data from external service

Homepage

http://folk.uio.no/crystald/

Academic Interests

I am interested in formal methods, program analysis and verification of software systems. I developed a compositional reasoning system for concurrent and distributed systems. Currently, I am involved in the Geological Assistant project at the SIRIUS Research Centre. The project’s goal is to develop a tool-supported method for exploration geologists to better assess and evaluate exploration prospects by applying established techniques from knowledge representation and formal methods from software verification. The project includes researchers from the University of Oslo and NTNU with expertise ranging from implementation and use of digital technologies, knowledge representation, formal methods, and naturally, geology.

Teaching

INF4140 - Models of Concurrency

INF9140 - Symbolic CTL Model Checking

INF2220 - Algorithms and Data Structures 

Bachelor course - Introduction to Programming 

PhD defense trial lecture - Formal Verification of Real-Time Systems

Higher education and employment history

Researcher at the SIRIUS Research Centre, May 2019 - present,

University of Oslo, Norway

Postdoc in Computer Science, March 2016 - March 2019,

University of Oslo, Norway

Postdoc in Computer Science, April 2014 - Feb 2016, 

TU Darmstadt, Germany

Ph.D. in Computer Science, Feb 2010 - April 2014,

PMA research group,

University of Oslo, Norway

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

 

Tags: formal methods, verification, concurrency, Object-orientation
Published Nov. 4, 2010 1:50 PM - Last modified Oct. 2, 2019 8:22 PM