Violet Ka I Pun

Associate Professor in Computer Science

[Violet Ka I Pun @violetpun]

A postdoctoral research fellow position in Formal Methods for Business Process Modelling is now available at HVL, Bergen, Norway.
#formalmethods #bpm #workflows #concurrentprogramming
https://t.co/Rz3pxYWJPV

[Violet Ka I Pun @violetpun]

A very exciting PhD positions in Formal Methods for Business Process Modelling available at HVL, Bergen, Norway.
#phd #formalmethods #bpm #workflows #concurrentprogramming

https://t.co/6TlaDQzJQX

[IMDEA Software @IMDEA_Software]

🔵 @violetpun, from @hvl_no, presents the preliminary results of the CROFLOW project, focused on decision making to optimize workflows. The goal is to automate these processes and make them less manual and more efficient.
#imdeasoftware

[Formal Methods 2026 @FMsymp]

This afternoon at @FMsymp’23 kicking off with Jeannette M. Wing’s luminary talk on “Trustworthy AI”. #fm23 #formalmethods

[Formal Methods 2026 @FMsymp]

Today we have Nils Jansen @thesuperjansen as our third keynote speaker, who is going to tell us about Intelligent and Dependable Decision-Making Under Uncertainty. #fm23 #formalmethods

[Formal Methods 2026 @FMsymp]

We started our day @FMsymp’23 with the keynote by Harald Rueß, who told us the next big thing about embedded systems and embodied actors. #fm23 #formalmethods

[Formal Methods 2026 @FMsymp]

Congratulations to Sandrine Blazy who received the Lucas Award 2023 @FMsymp for her work with Zaynah Dargaye and Xavier Leroy on Formal Verification of a C Compiler Front-End in #fm 2006. #formalmethods

[Formal Methods 2026 @FMsymp]

@FMsymp’23 is in full swing. The first keynote speaker Laura Kovács is going to talk about Automated Program Reasoning. #formalmethods #fm23

[Formal Methods 2026 @FMsymp]

FM’23 kicking off in Lübeck with workshops, tutorials and the PhD symposium! Smooth runnings so far for @ISPMartin and his crew, but please don’t open the emergency exit again 😀#fm23

[Formal Methods 2026 @FMsymp]

@FMSymp 2023 is just around the corner. Looking forward to seeing you all next week. Check out our exciting program here: https://t.co/T1M26mMIr1
#formalmethods23 #fm23

[SCICO @SCICO_journal]

Workflow analysis requires domain-specific knowledge, making changes in cross-organizational workflows expensive.

Ali et al. present a formal modeling language to estimate their cost and use static analysis to compute the worst execution time.

https://t.co/FTYFeFJRr2

[Violet Ka I Pun @violetpun]

Two very exciting PhD positions in Formal Analysis for Concurrent Workflows available at HVL, Bergen, Norway.
#phds #formalmethods #concurrency #workflows

https://t.co/x6WCWbwOd4

[Volker Stolz @[email protected] @fm_volker]

We've published the list of accepted papers at RV'22: https://t.co/JGvWwQvJD0 !
Plenty of interesting talks to look forward to.

[Violet Ka I Pun @violetpun]

PhD position on “Process Discovery and Analysis” at HVL, Bergen 🇳🇴

https://t.co/iolx7xRmnP