Skip to main content
Department of Information Technology

Paul Fiterau Brostean

Lecturer at Department of Information Technology, Vi3; Computing Education Research

Visiting address:
hus 10, Lägerhyddsvägen 1
Postal address:
Box 337
751 05 UPPSALA

Short presentation

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.

Keywords: testing automata learning network protocols

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.

Paul Fiterau Brostean