Crystal Chang Din
Stilling
¹óø°ù²õ³Ù±ð²¹³¾²¹²Ô³Ü±ð²Ô²õ¾±²õ
°Õ¾±±ô³óø°ù¾±²µ³ó±ð³Ù
- E-post
- crystal.din@uib.no
- Telefonnummer
- +47 55584296
- µþ±ð²õø°ì²õ²¹»å°ù±ð²õ²õ±ð
- Rom: 406P1
- Postadresse
-
Postboks 7803
5020 Bergen
Følg meg
Crystal Chang Din
Stilling
¹óø°ù²õ³Ù±ð²¹³¾²¹²Ô³Ü±ð²Ô²õ¾±²õ
°Õ¾±±ô³óø°ù¾±²µ³ó±ð³Ù
Forskergrupper
Forskning
Forskningsinteresser
Forskningsområdene mine er formelle metoder, programvareverifisering, og didaktikk.
Formidling
³ÒÂá±ð²õ³Ù±ð°ù±ð»å²¹°ì³Ùø°ù
Jeg er gjesteredaktør for .
Lokalt arrangør
Programleder
Jeg er PC Chair.
Jeg er leder av , som er Norsk Informatikkkonferanse under .
Jeg er til .
Programkomiteen
Jeg var en del av programkomiteen til
Jeg var også medlem av .
Jeg er en anmelder til journalen Formal Aspects of Computing.
Undervisning
INF113 Innføring i operativsystem
INF100 Innføring i programmering