Registered user since Sat 30 Dec 2023
Dr. Ran Ettinger is a Senior Engineer at NVIDIA, developing tools and methodologies for the formal verification of software, combining bounded model checking with deductive verification for proving correctness of sequential and concurrent programs. Previously, as an adjunct lecturer at Ben-Gurion University of the Negev (BGU), in AFEKA – The Academic College of Engineering in Tel-Aviv, and in the Ramat Gan Academic College (RGAC), he was employing formal method techniques both in elective programming courses (at BGU and AFEKA, using Dafny and Ada/SPARK) and more recently in mandatory courses on the foundational subjects of Logic and Set Theory (at RGAC using Dafny) as well as Formal Languages and Automata Theory (at RGAC and AFEKA, using Dafny too). A passionate proof engineer and an experienced programmer with a history of research on static analysis of programs and on tools for software maintenance (IBM Research, Sun Microsystems Laboratories), Rani holds a Doctor of Philosophy degree from the University of Oxford (2008) and a Bachelor of Science degree in Mathematics and Computer Science from BGU (2000).
Contributions