Bishoksan Kafle
APS at University of Melbourne
District of Woden Valley, Australia
Summary
👤
Senior🎓
Top SchoolBishoksan Kafle is a research-driven software engineer and APS with over a decade of experience specializing in program analysis, verification, and automated software reasoning. He holds a PhD from Roskilde University and has authored 20+ peer-reviewed publications while contributing to several state-of-the-art program analysers and verifiers. His career spans academia and government, including research fellow roles at IMDEA and the University of Melbourne and a current position with the Australian Government, demonstrating an ability to translate deep formal methods expertise into practical projects. A seasoned collaborator and reviewer, he has participated in 5+ international research projects, served on program committees and editorial reviews, and has worked across five continents—skills that help him lead multicultural, multidisciplinary teams. Notably, his applied work ranges from energy resource analysis for avionics at NASA Ames to solving recurrence relations and bit-vector constraints, showing both theoretical depth and hands-on impact.
10 years of coding experience
1 year of employment as a software developer
Master of Science (M.Sc.), Computational logic, Master of Science (M.Sc.), Computational logic at Universidade Nova de LisboaMaster of Science (M.Sc.), Computational logic, Master of Science (M.Sc.), Computational logic at Technische Universität DresdenPhD, program analysis and verification, PhD, program analysis and verification at Roskilde UniversityMaster of Science (M.Sc.), Computational logic, Master of Science (M.Sc.), Computational logic at Free University of Bozen - Bolzano
Nepali, English, Danish, Italian, Portuguese, Spanish, Hindi
Github Skills (8)
solver6
horn5
clause5
procedure3
partial1
constraint1
constraint-programming1
evaluation1
Programming languages (2)
Github contributions (5)
bishoksan/bishoksan.github.io
Jun 2019 - Feb 2024
Contributions:31 pushes, 1 branch in 4 years 9 months
bishoksan/RAHFT
Nov 2015 - Oct 2018
Contributions:52 commits, 40 pushes, 2 branches in 2 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.