Tobias Denkinger
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
Profile pic: @islieb
github: https://github.com/denki
dblp: https://dblp.org/pid/182/2225.html
pronouns: he/him, they/them
Public Key
npub1srxyarmjhgdsppa8eqhtxjmnm9cuw2yc4nvaf0zs7lduut42grmsfhf9qmNIP-05 Address
denki_at_mastodontech.de@momostr.pinkProfile Code
nprofile1qqsgpnzw3aet5xcqs7nust4nfdeajuw89zv2ekw5h3g00k7w964ypacym6wc5Author Public Key
npub1srxyarmjhgdsppa8eqhtxjmnm9cuw2yc4nvaf0zs7lduut42grmsfhf9qm