Sofia Cassel – doktorand

Adress:	Avdelningen för datorteknik Institutionen för informationsteknologi Uppsala universitet Box 337 751 05 Uppsala
Besök:	ITC hus 1, våning 4, rum 1422
Telefon:	018 - 471 6203
Fax:	018 - 511925
Epost:	sofia.cassel@it.uu.se

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 operate on an infinite domain of data values.
I'm also in the CONNECT Project where we attempt to automatically learn register automata in order to model 'connectors' between networked systems.

(Relevant) Publications

Inferring Canonical Register Automata. F. Howar, B. Steffen, S. Cassel, B. Jonsson; VMCAI 2012 (to appear)
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
Cryptology (Spring, per. 4): 2010;2011