Talia Ringer

@TaliaRinger@mathstodon.xyz

mastodon 4.5.7

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

0 Followers

0 Following

Joined August 07, 2023

website:

https://dependenttyp.es

Posts

313k7r1n3

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.elektrine.com:465

SSL/TLS required

Tor Hidden Service


            khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion