Achim D.  Brucker
=================

Member since: 2017-03-30
Gender: Male

TAGS
----
* DAST (0 endorsements)
* Formal Methods (0 endorsements)
* Isabelle/HOL. AppSec (0 endorsements)
* research (0 endorsements)
* SAST (0 endorsements)
* SML (0 endorsements)
* verification (0 endorsements)

CONTACT
-------
* Other: adbrucker@0x5f.org

--
vutuv agent document · type: profile · schema_version: 2
generated_at: 2026-06-18T16:15:18Z
canonical: https://vutuv.de/achim.d.brucker