Clement Poncelet

researcher at Department of Information Technology, Division of Computing Science

Email:
clement.poncelet[AT-sign]it.uu.se
Visiting address:
Room POL 1356 ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
Postal address:
Box 337
751 05 UPPSALA

Short presentation

I am a postdoctoral researcher at the Department of Information Technology. My main interest is the application of Formal Methods to challenging contexts via the design and development of rigorous engineering techniques. In the aSSIsT project, I am investigating innovative methods to efficiently fuzz Internet of Thing devices for vulnerability detection.

Keywords: model-based testing symbolic execution hybrid fuzzing

My courses

Publications

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