People
Principle Investigator
Dr Stewart has interests in parallel computing, Domain Specific Languages, verification, AI accelerators and functional language design and implementation. He is leading this HAFLANG project.
Research Associate
Craig has interests in functional programming techniques for hardware description, with a focus on dependent types and DSP applications.