Happy Birthday to Ken Thompson! Thompson received the 1983 #ACMTuringAward with Dennis Ritchie for their work on generic operating systems theory and UNIX. Explore more about Thompson's contributions to #computing: bit.ly/3TV1bDo #OTD #UNIX

Nikhil Swamy (Microsoft) will be our guest speaker as part 4 of the Distinguished Lecture Series, Feb. 15, 3:30 - 5 pm. He will speak about proof-oriented programming for critical compute infrastructure. Free to attend. Learn more: ow.ly/1kGb50QqA2K University of British ColumbiaScience @UBC

Advisor to phd students during every weekly update meeting

Academic papers