Vidushi Liyanaarachchi

Programming languages (design and implementation), Automatic memory management (garbage collection), Memory models, Concurrency

Formal methods, Interactive theorem proving

Updated:  1 June 2019/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing