Sofia Cassel – doktorand

Research

I'm working on automata models: Finite automata are widely used in specification, verification and testing. Currently, my research is focused on register automata, which is a kind of automaton that operates on an infinite domain of data values, comparing them, e.g., for equality.
I have also been involved in the CONNECT Project (2009-12) where we attempted to automatically learn register automata in order to model 'connectors' between networked systems.

(Relevant) Publications

A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations. S. Cassel, B. Jonsson, F. Howar, B. Steffen; ATVA 2012
Demonstrating Learning of Register Automata. M. Merten, F. Howar, B. Steffen, S. Cassel, B. Jonsson; TACAS 2012
Inferring Canonical Register Automata. F. Howar, B. Steffen, S. Cassel, B. Jonsson; VMCAI 2012
A Succinct Canonical Register Automaton Model. S. Cassel, F. Howar, B. Jonsson, M. Merten, B. Steffen; ATVA 2011
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. F. Howar, B. Jonsson, M. Merten, B. Steffen, S. Cassel; ISoLa 2010

Teaching

Introduktion till datavetenskap / Information Technology (Autumn, per. 1): 2010; 2011
Secure Computer Systems I (Spring, per. 3): 2011; 2012
Cryptology (Spring, per. 4): 2010;2011

Other engagements

I'm involved in the CS-WEd project for improving the writing capabilities of students in computer science
During the 2012/13 academic year, I'm the chair of TNDR (the faculty's PhD student council) and a member of the faculty board.