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.
Western Norway University of Applied Sciences
University of Bergen
Universiyt of Oslo
University of Macau
Centre for Scalable Data Access in the Oil and Gas Domain
Runtime Verification beyond Monitoring
Making efficient use of the parallel computers of tomorrow possible
Engineering Virtualized Services
Go Runtime Enforcement Techniques
Runtime Verification for ABS Product Lines