I have the pleasure of leading the following team of phenomenal young researchers in computing and maths. If you want to join us, read this page. Our research group is called ALPACAS (Algorithms, Logic, Program Analysis, Cryptocurrencies and Smart Contracts) and every member is affectionately known as an Alpaca. Current Alpacas are listed below. You can also take a look at our alumni and visitors.

Postdocs:


Postgraduate Research Students:


Interns and UROP Students: