Violet Ka I Pun is currently associate professor in Software Engineering research group, at Western Norway University of Applied Sciences. 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, with the focus on statically 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.
Young Research Talent Project funded by the Research Council of Norway.
Pathology services in the Western Norway Health Region – a centre for applied digitization
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