Assoc. Prof

Violet Ka I Pun

Department of Computing, Mathematics, and Physics

Office: E417



Phone: 55587082

Research field: Software engineering


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 my personal webpage for further information about me.