Herman Bergwerf

Welcome! This webpage contains information about my expertise and professional activity. I am specialized in solving difficult logical problems and implementing the solutions in software. Visual communication plays a key role in many of my projects, and I enjoy designing beautiful and innovative interfaces. I like brainstorming together with a team to find the path towards a good product, and to make technical descisions that are future-proof. I have an academic background in biophysics, pure mathematics, and theoretical computer science.

Technical skills

UI/UX Design

3D Graphics

Machine Learning

Formal Verification

One of my academic specializations is formal verification using interactive theorem provers. I primarily use the Coq Proof Assistant, using which I have developed various formal theories. Developing formal proofs is very challenging, and requires careful thinking about even the smallest logical inferences. Below are some formalization projects I did.

Featured projects

Main topic	Repository
Graph pebbling and zero-sum sequences	`@bergwerf/pebbling`
Kleene algebras and shortest paths	`@bergwerf/star_semiring`
Deduction rules for the later modality	`@bergwerf/later_modality`
The Schreier-Sims algorithm	`@bergwerf/permutation_factors`
Arithmetic decidability via automata	`@bergwerf/linear_integer_arithmetic`
The Cantor-Bendixon theorem	`@bergwerf/settheory`
Brouwer’s continuity principle	`@bergwerf/intuitionism`

2022	Machine Learning for Image Processing
Client	Omoda
Technologies	Python MediaPipe
Goal	Build machine learning based tools for automatic image classification to help automate the photography pipeline.

2017-2021	High-quality Chemical Diagrams
Client	CreativeQuantum
Technologies	Dart HTML5 Canvas
Goal	Design a new and highly configurable web-based chemical diagram editor from scratch using the Dart language.

2017	Molecule Sketching for Education
Client	Learnbeat
Technologies	JavaScript HTML5 Canvas
Goal	Integrate MolView’s 2D molecule sketcher in a learning platform used by over 500 schools in the Netherlands.

2016	Custom Mailing Scheduler
Client	Profects
Technologies	Golang PostgreSQL Docker
Goal	Develop a stable and efficient program to send thousands of daily emails parameterized by an SQL database.

2012-2015	MolView.org
Technologies	JavaScript PHP WebGL CSS
Goal	Enable free online molecule editing and viewing using open cheminformatics databases and modern web technologies.

Academic background

MSc. Mathematical Foundations of Computer Science

Thesis
Title	An Exploration of Graph Pebbling
Supervisor	Dr. Wieb Bosma
Group	Pure Mathematics
Full Text	`doi: 10.48550/arXiv.2303.04590`

Research Internship
Title	Circular lists in Iris ∗ deduction rules of ▷
Supervisor	Dr. Robbert Krebbers
Group	Software Science
Full Text	`doi: 10.5281/zenodo.6340500`

BSc. Nanobiology

Thesis
Title	Nerve fiber tracing in bright-field images of human skin using deep learning
Supervisor	Dr. Erik Meijering
Group	Biomedical Imaging Group Rotterdam
Full Text	TU Delft Repository
IEEE Article	`doi: 10.1109/ISBI.2019.8759504`

Minor
Topic	Interactive Environments at the Industrial Design faculty
Description	During one full semeter we were introduced to Interaction Design for physical environments, and challenged to go through an iterative designing and prototyping procedure in small teams.

Company	Bergwerf Labs
Address	Heemraadstraat 6, 6525 TH, Nijmegen
Email	`post@hbergwerf.nl`
KVK	`73224480`
VAT	`NL002378274B15`