Violet Ka I Pun

Arbeids- og kompetanseområde

Violet Ka I Pun er professor i programvareingeniørforskningsgruppen ved Western Norway University of Applied Sciences. Mellom 2018 og 2023 var hun førsteamanuensis II ved Universitetet i Oslo, tilknyttet SIRIUS-senteret. Før det var hun postdoktor i forskningsgruppen presis modellering og analyse ved Universitetet i Oslo og førstelektor i programmeringsteknologi ved Universitetet i Bergen. Hun tok sin doktorgrad i informatikk ved Universitetet i Oslo, og hadde sin tidligere utdanning ved Universitetet i Macau.

Hennes hovedområder er bruk av formelle metoder for å verifisere oppførselen til samtidige programmer, med fokus på statisk estimering av verste tilfelle-utførelsestid og planleggingav samtidige oppgaver som kjører på skalerbare distribuerte systemer, formell modellering og analyse av flerkjernearkitekturer, samt informasjonsflytanalyse for samtidige programmer. Nylig arbeider hun med modellbasert forretningsprosessplanlegging med verktøystøttede og automatiserte analyser i form av formelle metoder. I tillegg er hun interessert i digitalisering av helsesektoren, inkludert dataprivacy og selvtilpasset pasientbehandling.

Vennligst besøk https://violet.foldr.org/ for mer informasjon om meg.

Undervisningskurs

• DAT103 Datamaskiner og operativsystemer
• DAT151: Database and Unix System Administration
• INF214: Concurrent Programming
• INF122: Functional Programming
• INF4140: Models of Concurrency
• INF2220: Algorithms and data structures
• ECSS021: Computer Literacy

Forskningsområder

• formal methods
• concurrency theory
• programming language theory
• concurrency theory
• workflow modelling