Speakers
Software Verification Expert and Evangelist, Professor of Computer Science, BUGSENG and University of Parma
Roberto Bagnara is professor of Computer Science at the University of Parma and Software Verification Expert and Evangelist at BUGSENG. He coauthored more than 40 papers, in international journals and conference proceedings, on programming languages, static analysis and other techniques...
Read More →