Want to create an interactive transcript for this episode?
Podcast: airhacks.fm podcast with adam bien
Episode: Formal Methods, Functional Programming, and Securing the Java Ecosystem
Description: 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,
...