![Bishoksan Kafle](https://popl20.sigplan.org/getProfileImage/bishoksankafle/349d42a8-43a0-4fd7-937b-54e92e9f90e7/small.jpg?1711503096000)
Registered user since Wed 10 Dec 2014
Name:Bishoksan Kafle
Country:Australia
Affiliation:The university of Melbourne
Personal website: http://akira.ruc.dk/~kafle/
Research interests:program analysis and verification, Horn clause verification and analysis, program transformation/specialisation, model checking
Contributions
POPL 2020-profile
View general profile
View general profile