Violet Ka I Pun is currently 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 major areas of expertise are using formal methods to verify the behaviour of concurrent programs. Her current work focuses on estimating worst-case execution time and scheduling concurrent tasks running on scalable distributed systems, formal modelling and analysis of multicore architectures, as well as information flow analysis for concurrent programs. Recently, she is working on model-based business process planning with tool-supported and automated analyses in terms of formal methods. In addition, she is interested in digitalisation of healthcare domain, including data privacy and self-adapting patient treatments.
AURORA mobility programme between Norway and France, partially funded by the Research Council of Norway.
UpScale was an EU FP7 FET Open-X research project. The project aims at making use of the manycore computers of tomorrow as efficient as possible.
University of Macau
ECSS021: Computer Literacy