Tej Chajed

Researcher working on formal verification of systems software. I do most of my work in the Coq proof assistant using Iris.

[Noam Brown @polynoamial]

There's an unfortunate tendency to undervalue the work of PhD students and assign excessive credit to the senior professor. This is especially bad with journalists (one even called me a "worker bee"). The title "Research Assistant" shouldn't be taken literally.

[Talia Ringer 🕊🪬 @TaliaRinger]

Had a lot of fun recently pair-programming a plugin with Tej to automate some of the boilerplate for his coq-record-update library. Check out his CoqPL talk on the library he built:

https://t.co/MkXdfHwQ2h