Paul Fiterau Brostean
Universitetsadjunkt vid Institutionen för informationsteknologi, Vi3; Datavetenskapens didaktik
- E-post:
- paul.fiterau_brostean[AT-tecken]it.uu.se
- Besöksadress:
- hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Kort presentation
Detta stycke finns inte på svenska, därför visas den engelska versionen.
I am a postdoctoral researcher/teacher at the Department of Information Technology. My research focuses on development of effective and automated methods for testing software. Methods include These methods involve formal methods such as automata learning, symbolic execution... The application area comprises software systems, with emphasis on network protocol implementations for Internet of Things.
You can find me in room 105264, and know more about me by visiting my web page.
Nyckelord: testing automata learning network protocols
Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.
