Formal Methods, Functional Programming, and Securing the Java Ecosystem

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

• Split-Brain, ContainerD, Quarkus and a Postgres Cloud Control Plane · June 12, 2026 · 55 min
• JAZ, Copilot SDK, and Why LLMs Write Better Java · June 3, 2026 · 1h 17m
• GlassFish, Corretto, Apple openJDK and Why Standards Beat Hype · May 25, 2026 · 59 min
• From CDI TCK to Quarkus MCP Server · May 22, 2026 · 60 min
• From Manchester to Mountain View: Binary Translators, JVMs, and Android · May 8, 2026 · 1h 5m
• Migrating Ruby Monoliths to Java, Agentic AI Foundation and MCP · April 28, 2026 · 59 min