BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UW QuantumX - ECPv6.16.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:UW QuantumX
X-ORIGINAL-URL:https://www.quantumx.washington.edu
X-WR-CALDESC:Events for UW QuantumX
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20250309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20251102T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20260308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20261101T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20270314T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20271107T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20260416T153000
DTEND;TZID=America/Los_Angeles:20260416T163000
DTSTAMP:20260525T043602
CREATED:20251117T193047Z
LAST-MODIFIED:20260416T091529Z
UID:7238-1776353400-1776357000@www.quantumx.washington.edu
SUMMARY:CSE Distinguished Lecture Series: Mike Dodds
DESCRIPTION:Event interval: Single day eventCampus room: Gates Center (CSE2)\, G20 | Amazon AuditoriumAccessibility Contact: dso@uw.eduEvent Types: Lectures/SeminarsEvent sponsors: Paul G. Allen School of Computer Science & Engineering\nwww.cs.washington.eduLink: https://www.cs.washington.edu/events/colloquia/details?id=3381AbstractAbstract is forthcoming.BioMike Dodds joined Galois in 2017 as a Principal Scientist. He specializes in applying formal methods to systems engineering problems in areas such as cryptography\, distributed protocols\, cyber-physical systems\, and hardware semantics. Much of Mike’s work has focused on building tools that can be used by non-expert developers as part of their regular engineering workflow.Mike has led a range of projects at Galois\, including our work on CN\, a unified testing and verification tool for C code; Daedalus\, a safe parsing language developed under the DARPA SafeDocs project; c2rust\, a transpiler used by several popular Rust crates; and several verified cryptography projects using SAW and Cryptol\, including a long-running collaboration with Amazon Web Services on core components of their AWS-LibCrypto library.Mike received his PhD from the University of York\, UK\, in 2008\, under the supervision of Dr. Detlef Plump. He then spent four years as a postdoctoral researcher at the University of Cambridge\, working with Dr. Matthew Parkinson and Prof. Peter Sewell. He returned to the University of York as a lecturer (in US terms\, an associate professor) from 2012 to 2017\, before joining Galois.This lecture will be streamed live and recorded.
URL:https://www.quantumx.washington.edu/calendar/distinguished-lecture-series-mike-dodds-forthcoming/
LOCATION:Gates Center (CSE2)\, G20 | Amazon Auditorium
CATEGORIES:Computer Science & Engineering
END:VEVENT
END:VCALENDAR