As DOGE throws out the rule book for government tech, it’s time we plan for the worst—and look to each other for courage and ...

Andrei has received distinguished paper awards at the last three Principle of Programming Languages (POPL) conferences, one of the most prestigious conferences in Computer Science. Congratulations to ...