Highlights
- Pro
Manuel Bentele
bahnwaerter
Interested in Linux kernel hacking, embedded systems, virtualization, network technology, and program verification.
Freiburg, Germany
Numair Mansur
numairmansur
Research Interests: Automatic testing, debugging, formal analysis and verification of complex software systems
Amazon Web Services Berlin, Germany
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.
@grammarly (Formerly @pinterest, @Yelp) I love San Francisco