RISC-V Summit is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 3099067.


Daniel Zimmerman Principal Scientist at Galois


Dr. Daniel Zimmerman is a Principal Researcher at Galois. He has extensive experience in formal methods, high-assurance software and hardware engineering, concurrent and distributed systems, and foundations of computer science. He taught computer science at multiple universities for over a decade, and has contributed to the design and development of several widely used software engineering and formal methods tools.

Daniel Zimmerman's Network

Agenda Sessions