News

Communications of the ACM11h
The Rational Programmer: Investigating Programming Language Pragmatics
While the answer of TypeScript’s creators is “yes,” academic researchers who work on similar programming languages tend to ...
Department of Computer Science - University of Texas at Austin5h
UT Theoretical Computer Scientists Earn Gödel Prize
The Gödel Prize, jointly awarded by ACM SIGACT and the European Association for Theoretical Computer Science, celebrates outstanding research in theoretical computer science. Named after logician Kurt ...