Name:Yael van Dok

Bio:

I’m a Master Student in Computer Science at the University of Bern. In 2023, I earned my Bachelor’s degree in Computer Science, with minors in Mathematics and Philosophy, achieving the (Swiss) Latin honor “Insigni Cum Laude” (Overall Grade: 5.5).

Since 2022, I have been working as a Research Assistant at the Software Engineering Group, Institute of Computer Science, University of Bern. My first paper, built on my Bachelor’s Thesis, was accepted at EASE 2024, receiving a Distinguished Paper Award.

Prior to my position at Uni, I worked in industry for multiple years as a Software Developer/Project Manager.

In my free time, I work in video game development.

Country:Switzerland

Affiliation:University of Bern

Research interests:Computer Graphics, Formal Verification