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: 10 August 2021/Responsible Officer: Dean, CECS/Page Contact: CECS Marketing