Vidushi Liyanaarachchi

Programming languages (design and implementation), Automatic memory management (garbage collection), Memory models, Concurrency
Formal methods, Interactive theorem proving
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