Achim D. Brucker
profile
Achim D. Brucker
https://vutuv.de/achim.d.brucker
false
https://vutuv.de/achim.d.brucker.json
https://vutuv.de/achim.d.brucker.txt
https://vutuv.de/achim.d.brucker.md
https://vutuv.de/achim.d.brucker.xml
https://vutuv.de/achim.d.brucker.vcf
-
015b20dc-8e68-739d-a905-60628db8d515
DAST
https://vutuv.de/tags/dast
dast
0
-
015b20dc-8e68-77c2-b63a-4d677f874a34
Formal Methods
https://vutuv.de/tags/formal_methods
formal_methods
0
-
015b20dc-8e68-748f-8da4-68ce9039c560
Isabelle/HOL. AppSec
https://vutuv.de/tags/isabelle_hol_appsec
isabelle_hol_appsec
0
-
015b20dc-8e68-7cdb-bc3b-9980ff712c72
research
https://vutuv.de/tags/research
research
0
-
015b20dc-8e68-75b5-b3b1-2abc75cddcfe
SAST
https://vutuv.de/tags/sast
sast
0
-
015b20dc-8e68-778e-91b7-fa4cc328af4c
SML
https://vutuv.de/tags/sml
sml
0
-
015b20dc-8e68-7984-a176-f09788a2921b
verification
https://vutuv.de/tags/verification
verification
0
-
015b20dc-8e68-73a7-8d4b-b78b59202278
Other
adbrucker@0x5f.org
Achim D.
Brucker
achim.d.brucker
male
2026-06-18T16:09:29Z
2
0
0
0
0
2017-03-30