Bart Jacobs
@btj
A background refresh was started because this profile was last fetched over a day ago.
- Country
- Belgium
- Rank
- #107
- Profile
- View on GitHub
- Company
- imec-DistriNet, KU Leuven
- Location
- Leuven, Belgium
- Blog/Website
- http://www.cs.kuleuven.be/~bartj/
- -
- Hireable
- -
- Public Repos
- 236
- Public Gists
- 0
- Account
- User
- Joined GitHub
- May 26, 2012 (13 years, 5 months ago)
- Last Updated
- Oct 13, 2025 14:29
Bio
Associate professor of computer science, focusing on formal program verification.
Followers
176
Following
0
Contributions (last year)
891
Similar Developers
