Crystal Chang Din

Position

Associate Professor

Affiliation

Research groups

Research

Research Interests

My research interests lie in the areas of formal methods, software verification, and didactics.

Teaching

INF113 Introduction to Operating Systems

INF100 Introduction to Programming

Publications
Academic article
Academic chapter/article/Conference paper
Academic lecture

See a complete overview of publications in Cristin.