7.6K
Downloads
50
Episodes
Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.
Episodes
Sep 15, 2020
Sep 15, 2020
48 min
In this week's podcast, Dr. Darbari talks to Professor Alastair Donaldson. He talks about a range of topics in software verification and describes how he went from being a keen musician to being a professor in computer science at Imperial College, London, and a software engineer at Google. We talk about formal verification, metamorphic testing, concurrency, compilers, OpenCL, OpenGL, compiler bugs, the semantics of programming languages, SMT solvers, Z3, and as Alastair points out everything that is focussed on software correctness, performance, and portability. We also discuss computer science education at Imperial College.
No comments yet. Be the first to say something!