About this episode

The episode features a conversation with Brian Vermeer about his journey in software engineering, focusing on formal methods, functional programming, and security in the Java ecosystem.

An airhacks.fm conversation with Brian Vermeer ( @BrianVerm ) about: growing up with a Commodore 64 and gaming, inheriting a 486 DX2 with Windows 3.1 , first "enterprise" migration from Windows 3.1 to 3.11, early experiments with Turbo Pascal and Basic , curiosity-driven programming and disassembling electronics, building computers from parts in the early PC era, high school informatics classes and the transition from hobby to career, bachelor's degree in software engineering, master's degree at Utrecht University focusing on Formal methods and compiler construction, mathematical proofs of program correctness, abstract syntax trees and program analysis, Haskell and pure functional programming, recursion vs loops and thinking in different paradigms, the influence of functional programming on Java development, first professional Java job at a temperature sensor monitoring company, building systems for vaccine transport temperature verification, enterprise service-based architecture, JavaServer Faces for frontend development, transitioning to consultancy at Blue4IT working for banks and government, community involvement and knowledge sharing, joining Snyk as a hybrid engineer and…

People in this episode

Host: Adam Bien

Guest: Brian Vermeer

Topics covered

• Formal Methods
• Functional Programming
• Java Ecosystem Security
• Software Engineering
• Program Correctness
• Community Involvement
• Supply Chain Security

Keywords

• formal methods
• functional programming
• Java security
• software engineering
• program correctness
• community involvement
• NPM vulnerabilities

Mentioned in this episode

Organizations: Snyk, Blue4IT, Utrecht University, JavaServer Faces, Commodore, Turbo Pascal, Basic, Windows, NPM, Java

More episodes of airhacks.fm podcast with adam bien

• Apache PLC4X, Industrial Protocol Drivers, and the JDBC of Industrial Automation · April 22, 2026 · 57 min
• AWS Infrastructure as Code: CloudFormation Origins, CDK Stacks, and Terraform Trade-offs · April 11, 2026 · 59 min
• Green Java with Quarkus: Performance Benchmarks, SBOM, and Serverless Architecture · April 11, 2026 · 1h 9m
• NASA, Rocket Science and Oorian · March 24, 2026 · 1h 4m
• From Java 8 Lambdas, Streams, Spliterators, to Default Methods · March 15, 2026 · 1h 9m
• Kaizen and Kaikaku · March 9, 2026 · 1h 12m

Explore listener stats, chart rankings, contacts and more on the airhacks.fm podcast with adam bien podcast page.