Vidushi Liyanaarachchi

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

Formal methods, Interactive theorem proving

Updated:  10 August 2021/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing