Professor of Mathematics, Rutgers University, Emeritus Director of DIMACS, Director of …

Verified Logic

University of Wisconsin, Advisory Committee on Reactor Safeguards

Professor of Health and Kinesiology, Purdue University

Professor of Nuclear Engineering and Radiological Sciences, University of Michigan

University of Stavanger

Utah Valley University

Full Professor, PhD in Computer Engineering, IEEE Senior Member, ACM Distinguished …

Professor of International Relations, Stockholm University

University of Houston