In this episode, we are joined by Marcel Moosbrugger, computer science PhD Candidate at Vienna University of Technology.

We talk about getting into coding and computer science, the advantages of being a researcher in computer science and implementing ideas quickly, the foundations of computing and mathematics, Gödel incompleteness, the halting problem and how it connects to free will and determinism, Marcel's work on the halting of probabilistic programs and its relationship to debugging, how formal methods are becoming increasingly important in making industrial applications like the Amazon Web Services smart contracts more secure, and how industry in science are working closely together on the frontier of AI.