btj
Associate professor of computer science, focusing on formal program verification.
imec-DistriNet, KU LeuvenLeuven, Belgium
Pinned Repositories
atoms
beoi18-krokuscursus
ch2o-compcert
Soundness of CH2O with respect to CompCert C
drawit_part2
find
interval_2020
jlearner
Visualize the execution of Java snippets in the browser
ocaml-gtk
ogp-notes
ogptaglets
Javadoc taglets for the OGP course
btj's Repositories
btj/interval_2020
btj/ogptaglets
Javadoc taglets for the OGP course
btj/circlehittest
btj/cities
btj/collections-2020-2021
btj/collections_oop
btj/color
btj/drawing
btj/instructions
btj/instructions_oop
btj/interpreter
btj/interval_ir
btj/interval_oop
btj/intlist_2021
btj/intlist_ir
btj/intlist_oop_2021
btj/legalpersons
btj/lijsten
btj/matrix
btj/matrix_ir
btj/matrix_oop
btj/proofchecker
btj/queue_and_stack
btj/rekeningen
btj/streams
btj/string_ir
btj/string_oop_2021
btj/stringlist
btj/timeofday_2021
btj/timeofday_oop_2021