Elizabeth Polgreen
Elizabeth Polgreen
Affiliation: University of Edinburgh
Pages in this Program
Massively Parallel Mining of Specifications for Hardware Designs
NSynC: Normalised Synthesis of Computation
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑