Craig DennisPrevious Episode
Marco Faella is an Associate Professor at the University of Naples, he conducts research, both independently and mutually with several teams, on a number of topics in theoretical computer science. As a result of those investigations, he authored many papers included in scientific journals and international conference proceedings He has been teaching undergraduate and graduate-level courses in Programming, Operating Systems, Software Engineering, and Compiler Construction for years, Marco work on Research topics like Formal methods, game theory for formal verification and synthesis, logic, automata, quantitative, probabilistic models, real-time and hybrid models. On top of all of that, he’s the author of the renowned book “Seriously Good Software”,