Zygimantas Straznickas

@zygi

Currently focusing on AI safety, TCS, PL and formal mathematics.

---