profile icon
Dr

Bishoksan Kafle

Honorary
science & technology
computer science
technology
computer science, theory & methods
computer science, software engineering
abstract interpretation
bit-vectors
solver
query-answer transformation
Bishoksan Kafle's Profile Picture
Dr

Bishoksan Kafle

 
Division
Engineering
Bishoksan Kafle's Profile Picture
Dr

Bishoksan Kafle

 

Scholarly Works

Displaying the 14 most recent scholarly works by Bishoksan Kafle.

Credentials

Positions


Honorary

Computing And Information Systems

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