Write a Blog >>
Ramana Kumar

Registered user since Fri 18 Nov 2016

Name: Ramana Kumar

Country: Australia

Affiliation: Data61 at CSIRO, Australia / UNSW, Australia

Personal website: http://ts.data61.csiro.au/people/?cn=Ramana+Kumar

Contributions

PLDI 2017Tutorial organizer of Writing Verified Programs in CakeML within the PLDI Tutorials-track
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile