Bernard Van Gastel
Universitair Docent (Assistant Professor) at Radboud University
Arnhem-Nijmegen Region Netherlands
Summary
🤩
Rockstar🎓
Top SchoolBernard Van Gastel is an assistant professor and researcher with 11 years of experience bridging academia and industry, focused on software/hardware interaction, program correctness, and system efficiency. He developed static analysis techniques for energy consumption and novel methods to assess software sustainability that formed the core of his PhD research. With roots in mobile app entrepreneurship, he brings practical experience across Android, iOS, server and networking stacks to his work on optimizing operating systems and concurrent algorithms. Based in the Arnhem–Nijmegen region, he combines rigorous formal verification and static-analysis tooling with hands-on performance engineering to make software both correct and energy-efficient. An often-overlooked strength is his ability to translate low-level analysis into actionable sustainability metrics for modern application development.
11 years of coding experience
6 years of employment as a software developer
Gelders CollegeMSc, Computer Science, MSc, Computer Science at Radboud Universiteit NijmegenDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Open Universiteit
Github Skills (123)
cpp10
game-development10
game-engine10
imgui10
api10
cross-platform10
user-interface10
graphical-user-interface10
zip9
linux9
client-library9
miniz9
webapp9
cli9
file-format9
Programming languages (11)
Github contributions (5)
bvgastel/clippy
Aug 2021 - Nov 2022
Contributions:131 commits, 9 pushes, 1 branch in 1 year 3 months
bvgastel/imgui
Mar 2021 - Jun 2022
Dear ImGui: Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies
Contributions:29 pushes, 3 branches in 1 year 3 months
user-interfacedependenciescppgraphical-user-interfaceimmediate-mode
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.