Go concurrency research funded

Awarded a Ministry of Education Tier 2 grant for “Foundations for Testing and Verifying Concurrency in Go”. Research support.