conferences | speakers | series

Dominic Mulligan

👥 1 conference
🎤 1 talk
📅 Years active: 2021 to 2021

Biography

Dominic is a Staff Research Engineer within the Systems group at Arm Research, Cambridge, UK. His interests at Arm include exploring the use of hardware-based trusted execution environments for privacy-preserving compute, and the formal verification of hybrid hardware-software systems. Prior to joining Arm, Dominic was a postdoc at the Computer Laboratory at the University of Cambridge and in the Dipartimento di Science dell'Informazione at the University of Bologna, working on the formal specification and verification of systems software such as C compilers and linkers.

— biography from FOSDEM 2021
https://archive.fosdem.org/2021/schedule/speaker/dominic_mulligan/

Conferences

1 known conferences

👥 FOSDEM 2021 📅 06 Feb 2021

  ðŸŽ¤ Veracruz: privacy-preserving collaborative compute
   06 Feb 2021 show details