Niklas Metzger
@NI_klasM
72
Followers
144
Following
0
Media
8
Statuses
PhD student at @CISPA / @Saar_Uni -- Formal Methods -- Reactive Synthesis -- Hyperproperties
Don't wanna be here?
Send us removal request.