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
NIP-05 Address
[email protected]
Profile Code
nprofile1qqsgpnzw3aet5xcqs7nust4nfdeajuw89zv2ekw5h3g00k7w964ypacprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmnt0a03xe
Publishing to