Arbeids- og kompetanseområde

Violet Ka I Pun is currently an associate professor at Western Norway University of Applied Sciences and at the University of Oslo, associated to SIRIUS centre. Before that, she was a postdoctoral researcher in the research group Precise Modeling and Analysis at the University of Oslo and a senior lecturer at the University of Bergen. She received her PhD degree in Computer Science at the University of Oslo, and had her earlier education at the University of Macau. Her research interests focus on using formal methods to analyse behaviour and worst execution time of concurrent programs. She is also interested in formalising models for multicore architectures with multilevel caches, and to analyse the relationship between these architectures and the performance of software programs. Recently, she is interested in model-based business process planning with tool-supported and automated analyses in terms of formal methods. Her early research interests include analysing traffic intensive web-services based on workflow patterns, and intelligent systems based on computer-human interaction and speech recognition. Please visit http://foldr.org/~violet/ for further information about me.

Underviser i

  • DAT151: Database and Unix System Administration
  • INF214: Concurrent Programming
  • INF122: Functional Programming
  • INF4140: Models of Concurrency
  • INF2220: Algorithms and data structures
  • ECSS021: Computer Literacy
  • DAT103 Datamaskiner og operativsystemer