Martijn Bastiaan - Software Engineer (Compiler Engineer) at QBayLogic

Martijn Bastiaan

Software Engineer (Compiler Engineer) at QBayLogic

Enschede, Overijssel, Netherlands

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Martijn Bastiaan is a compiler-focused software engineer with 12 years of experience translating functional languages into practical systems, currently building Haskell-to-hardware toolchains at QBayLogic. He combines backend engineering, QA, and build-system expertise—contributions range from enhancing Certbot’s HTTPS validation and test coverage to improving the Clash hardware compiler’s dependency and signal-handling logic. His background spans academic and applied research projects, including autonomous underwater robotics infrastructure and content-analytics platforms, reflecting an ability to move between research prototypes and production-grade tooling. Comfortable with Haskell, Python, and build tooling, he also has hands-on experience maintaining server infrastructure and mentoring junior developers. Based in Enschede, Martijn pairs a master’s-level security-aware mindset with a practical knack for making compilers and tooling robust for industrial use.

12 years of coding experience

7 years of employment as a software developer

Bachelor's degree, Mathematics and Computer Science, Bachelor's degree, Mathematics and Computer Science at University of Twente

Master's degree, Mathematics and Computer Science (Computer Security), Master's degree, Mathematics and Computer Science (Computer Security) at Danmarks Tekniske Universitet

English, Dutch, German

Github Skills (15)

validating10

clash10

validation10

python10

validate10

openssl10

haskell10

validations10

validatorjs10

validators10

http-request10

testing10

build-automation9

py7

pytest7

Programming languages (19)

C#JavaCSSC++RustCScalaGo

Github contributions (5)

clash-lang/clash-compiler

Oct 2017 - Jan 2023

Haskell to VHDL/Verilog/SystemVerilog compiler

Role in this project:

Backend Developer

Contributions:18 releases, 930 reviews, 1448 commits in 5 years 3 months

Contributions summary:Martijn's commits primarily focused on removing obsolete dependencies and improving the build process. They removed outdated source repository packages from the project's cabal files. In addition, they added logic to handle and output specific signals, demonstrating an understanding of signal generation and processing in the context of hardware description. Further, the user added several tests in the project.

uvmasicvhdlsystemveriloghaskell

certbot/certbot

Jan 2015 - Jan 2015

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

Role in this project:

Back-end Developer & QA Engineer

Contributions:9 commits, 1 PR, 6 comments in 9 days

Contributions summary:Martijn primarily contributed to the `letsencrypt/client` component of the `certbot` repository, focusing on enhancing webserver configuration validation. Their work included implementing OCSP stapling, HSTS header checks, and SPDY support using Python. They also developed and integrated tests for core functionalities like HTTPS and redirect validation, using the `responses` library, and improved code quality through pylint warnings.

actletsencryptpythonsslcertbot

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.

Request Free Trial