profile icon
Dr

Bishoksan Kafle

Honorary
Computing And Information Systems
science & technology
technology
computer science
computer science, theory & methods
computer science, software engineering
abstract interpretation
solver
bit-vectors
software model checking
Bishoksan Kafle's Profile Picture
Dr

Bishoksan Kafle

 
Division
Engineering
Bishoksan Kafle's Profile Picture
Dr

Bishoksan Kafle

 

Scholarly Works

Displaying the 10 most recent scholarly works by Bishoksan Kafle.

Credentials

Positions

Positions


Honorary

Computing And Information Systems

Education

Education


PhD in computer science

Roskilde University

European masters in computational logic

Technische Universitaet Dresden

Bachelors in Computer science

Universidad Central Marta Abreu de Las Villas

Links

Links