Home|About|Gaming cabinet|Archives|How it works|Starter sites

GeezerVison is showing github.com — btj - Overview

btj Follow

More

btj

Follow

Bart Jacobs btj

Follow

Associate professor of computer science, focusing on formal program verification.

186 followers · 0 following

imec-DistriNet, KU Leuven
Leuven, Belgium
http://www.cs.kuleuven.be/~bartj/

Achievements

Achievement: Starstruck

Achievement: Pair Extraordinaire

Achievement: Galaxy Brain

Achievement: Pull Shark

Achievement: Quickdraw

Achievement: YOLO

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruck

Achievement: Pair Extraordinaire

Achievement: Galaxy Brain

Achievement: Pull Shark

Achievement: Quickdraw

Achievement: YOLO

Achievement: Arctic Code Vault Contributor

Highlights

Pro

Organizations

More

Popular repositories Loading

ogp-notes ogp-notes Public archive

Shell 43 28
ocaml-gtk ocaml-gtk Public

Python 7 3
jlearner jlearner Public

Visualize the execution of Java snippets in the browser

JavaScript 4
ogptaglets ogptaglets Public

Javadoc taglets for the OGP course

Java 4 3
interval_2020 interval_2020 Public

Java 4
beoi18-krokuscursus beoi18-krokuscursus Public

3

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.