Associate Professor in Computer Science
Bergen, Norway
Joined February 2022
- Tweets14
- Following37
- Followers40
- Likes42
A postdoctoral research fellow position in Formal Methods for Business Process Modelling is now available at HVL, Bergen, Norway.
#formalmethods #bpm #workflows #concurrentprogramming
jobbnorge.no/en/available-jo…
A very exciting PhD positions in Formal Methods for Business Process Modelling available at HVL, Bergen, Norway.
#phd #formalmethods #bpm #workflows #concurrentprogramming
jobbnorge.no/en/available-jo…
Violet Ka I Pun retweeted
🔵 @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
Violet Ka I Pun retweeted
This afternoon at @FMsymp’23 kicking off with Jeannette M. Wing’s luminary talk on “Trustworthy AI”. #fm23 #formalmethods
Violet Ka I Pun retweeted
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
Violet Ka I Pun retweeted
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
Violet Ka I Pun retweeted
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
Violet Ka I Pun retweeted
@FMsymp’23 is in full swing. The first keynote speaker Laura Kovács is going to talk about Automated Program Reasoning. #formalmethods #fm23
Violet Ka I Pun retweeted
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
Violet Ka I Pun retweeted
@FMSymp 2023 is just around the corner. Looking forward to seeing you all next week. Check out our exciting program here: fm2023.isp.uni-luebeck.de/in…
#formalmethods23 #fm23
Violet Ka I Pun retweeted
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.
doi.org/10.1016/j.scico.2022…
Two very exciting PhD positions in Formal Analysis for Concurrent Workflows available at HVL, Bergen, Norway.
#phds #formalmethods #concurrency #workflows
jobbnorge.no/en/available-jo…
Violet Ka I Pun retweeted
We've published the list of accepted papers at RV'22: rv22.gitlab.io/accepted/ !
Plenty of interesting talks to look forward to.
PhD position on “Process Discovery and Analysis” at HVL, Bergen 🇳🇴
jobbnorge.no/en/available-jo…