Takahē

Tobias Denkinger

@[email protected]

Theoretical computer scientist (#formallanguages, #automata, #machinelearning) turned software engineer (#infosec, #formalverification)

Profile pic: @islieb

github https://github.com/denki

dblp https://dblp.org/pid/182/2225.html

pronouns he/him, they/them

This is a member of another server. See their original profile ➔