Informal and Formal Artifacts Linker (InFormALin)

Jan Keim Gram21

Researcher. Interested in NLP, Ontologies, Software Architecture, Java, and more. Former CTF player for @kitctf and Eat, Sleep, Pwn, Repeat

Karlsruhe

Follow