verification Experts
Connect for media, speaking, professional opportunities & more.
Filters
Chibuzo Ukegbu
Assistant ProfessorMilwaukee School of Engineering
Chibuzo Ukegbu's research focuses on formal verification and analysis of industrial control systems software.
Prabhat Mishra
ProfessorUniversity of Florida
Prabhat Mishra's research focuses on design and verification of energy-efficient and trustworthy electronic systems.
Lorrie Cranor
ProfessorCarnegie Mellon University
Lorrie Cranor's research focusses on usability and policy issues related to security and privacy.
William Retert, Ph.D.
InstructorMilwaukee School of Engineering
Dr. William Retert is an expert in the areas of computer science and software engineering.
Sarah Teetzel
Associate Dean, Undergraduate Studies and Associate Professor, Faculty of Kinesiology and Recreation ManagementUniversity of Manitoba
Dr. Sarah Teetzel’s research focuses on applied ethical issues in sport with emphasis on the intersection of rules and values.
Rosanna Perotti
Professor of Political ScienceHofstra University
Professor Perotti's expertise is in American politics, including Congress, elections and political parties.
Ender Yuksel
Postdoctoral ResearcherTechnical University of Denmark
Researcher, Computer Scientist
Walter Schilling, Jr., Ph.D.
Professor, Program Director of Cybersecurity SystemsMilwaukee School of Engineering
Dr. Walter Schilling is an expert in software verification, software reliability, software security and embedded systems software.
Tarek Abdoun
Professor, Civil and Environmental EngineeringRensselaer Polytechnic Institute
Specializes in centrifuge modeling, soil-structure interaction, soil remediation, field advanced sensing, and data visualization
Angelos Keromytis
Professor, Electrical and Computer EngineeringGeorgia Tech - COE
Angelos Keromytis is an expert in systems and network security, and applied cryptography.