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.
PhD student
Yukang has a background in FPGA implementations of crytography algorithms. Yukang developed a keen interest in functional programming during his MSc in China.