Violet Ka I Pun is currently a postdoctoral researcher at the University of Oslo, a member of the research group Precise Modeling and Analysis, associated to SIRIUS centre. She is also a part-time 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 are 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.
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