Remy Willems
Applied Scientist at Amazon Web Services (AWS)
Utrecht, Utrecht, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolRemy Willems is an applied scientist with 13 years of engineering experience, currently at AWS after eight years advancing Dafny, a verifier-backed programming language. He combines deep program analysis and language-tooling expertise with pragmatic backend and DevOps work—contributions range from improving the TypeScript language server to modernizing Cloud9 installers and refining Boogie’s build and parsing pipelines. Comfortable across JVM, .NET and Node ecosystems, he has tackled high-performance financial systems, IDE internals, compiler optimizations and large-scale refactorings. Remy enjoys pushing correctness and developer experience together, evidenced by his ongoing work on Dafny and Miksilo, a modular language-construction tool. Colleagues know him for clean, test-driven engineering and for quietly improving toolchains and packaging that many projects depend on. Based in the Randstad, he brings research-grade rigor from a Computer Science master’s to production-grade systems at scale.
13 years of coding experience
13 years of employment as a software developer
Master's, Computer Science, 8.0, Master's, Computer Science, 8.0 at University of UtrechtBachelor's, Physics, Bachelor's, Physics at University of NijmegenStedelijk Gymnasium Nijmegen
English
Stackoverflow
587reputation
56kreached
12answers
33questions
Github Skills (36)
nuget10
scripting10
testing10
typescript10
bash10
language-server-protocol10
language-server10
script10
typescript-types10
dotnet-core10
sh10
typescripts10
shell10
software-packaging10
csharp10
Programming languages (16)
Github contributions (5)
boogie-org/boogie
Jul 2020 - Jul 2022
Boogie
Role in this project:
Back-end Developer
Back-end DeveloperContributions:444 reviews, 65 commits, 299 PRs in 2 years
Contributions summary:Remy contributed to the Boogie project by implementing features related to parsing and handling input streams, enabling the program to process data from various sources. The user also worked on building and publishing NuGet packages, which involved modifying project files, referencing license files, and updating assembly names. Furthermore, the user refactored the code to inline out variables and removed the dependency on ParserHelper.
boogie
c9/install
Jun 2018 - Jan 2021
Cloud9 SSH installer
Role in this project:DevOps Engineer
DevOps EngineerContributions:12 commits, 5 PRs, 5 pushes in 2 years 7 months
Contributions summary:Remy focused on improving the installation process and dependencies of the Cloud9 SSH installer. They replaced the `pty.js` dependency with `node-pty-prebuilt`, updated package downloads, and fixed broken options related to installation paths. The user also modified the install script to download ncurses from a custom GitHub repository. These changes indicate a focus on ensuring the installer's reliability and proper configuration.
cloud9ssh
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.