Skip to content
View bohlender's full-sized avatar
10 followers · 19 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Block or report bohlender

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@altenbernd
Jan Altenbernd altenbernd
@chbriem
Christoph Briem chbriem
@arminbiere
Armin Biere arminbiere
Professor University of Freiburg

Freiburg im Breisgau, Germany

@gillesmeyer
Gilles Meyer gillesmeyer

GMind analytics Belgium

@k4tan
Andreas Harder k4tan

Sydney, Australia

@katelaan
Jens Pagel katelaan
@MarcusVoelker
Marcus Völker MarcusVoelker

Embedded Software, RWTH Aachen Germany

@cmatheja
Christoph Matheja cmatheja

Oldenburg University Oldenburg, Germany

@LukasBoersma
Lukas Boersma LukasBoersma

Boersma Software UG Bonn, Germany

@koehlma
Maximilian Köhl koehlma

Silitics Germany

@ibabushkin
Inokentiy Babushkin ibabushkin
low-level wizard (as in bad. a bad wizard)
@wadoon
Alexander Weigl wadoon

Karlsruhe Institute of Technology Germany

@Philip-Trettner
Philip Trettner Philip-Trettner
Creator of https://solidean.com. High-performance exact geomety processing, C++ library author, enthusiast programming language architect, obsessive optimizer

Shaped Code GmbH Aachen, Germany

@hbruintjes
hbruintjes
@cdehnert
Christian Hensel cdehnert
@tquatmann
Tim Quatmann tquatmann

@moves-rwth

@sjunges
Sebastian Junges sjunges
Assistant Professor at the Radboud University Nijmegen. Previously at Berkeley @BerkeleyLearnVerify and RWTH Aachen University @moves-rwth

Radboud University Nijmegen

@volkm
Matthias Volk volkm
Assistant Professor at TU/e. Previously at University of Twente and RWTH Aachen University @moves-rwth

Eindhoven University of Technology Eindhoven

@levingerdes
Levin Gerdes levingerdes

@spaceuma