![Jonas Becker-Kupczok](/imperia/md/images/EmbSys/_v/fittosize_528_353_3d1ef68b977ada0be0ef726940a6df70_jonasbeckerfarbe.jpg)
JONAS BECKER-KUPCZOK, M.SC.
Einsteinstr. 62, 48149 Münster
Raum 217
Phone: +49 251 83 33807
jonas.becker-kupczok@uni-muenster.de
Research Interests:
Provable Security of Embedded Systems
Information Flow Analysis for Concurrent Hardware/Software Systems