Join Nostr
Theoretical computer scientist turned software engineer

#formallanguages, #automata, #machinelearning, #infosec, #formalverification

Profile pic: @islieb

github: https://github.com/denki
dblp: https://dblp.org/pid/182/2225.html
pronouns: he/him, they/them
Public Key
npub1srxyarmjhgdsppa8eqhtxjmnm9cuw2yc4nvaf0zs7lduut42grmsfhf9qm
Profile Code
nprofile1qqsgpnzw3aet5xcqs7nust4nfdeajuw89zv2ekw5h3g00k7w964ypacpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsu3ckkz
Publishing to