Frank Stomp

Frank Stomp received his B.S. degree and M.S. degree (with highest honors) in Mathematics from the University of Utrecht in The Netherlands. He received his Ph.D. in Computer Science from the Eindhoven University of Technology, also in The Netherlands.

Frank Stomp is currently an Associate Professor at Navajo Technical University. His research was in the area of Formal Software Verification, in particular of distributed systems. He has published about 30 publications in professional journals and conferences. Some of his publications are:

◦ A Complete Mechanization of Correctness of a String Preprocessing Algorithm (with Milos Besta). Formal Methods in System Design, Vol. 27, No.1, pp 5–27, 2005.
◦ Safety Assurance via On-Line Monitoring (with Shlomi Dolev). Distributed Computing, Vol.16, No. 4, pp. 269–277, 2003
◦ Correctness of Substring-Preprocessing in Boyer-Moore’s Pattern Matching Algorithm. Theoretical Computer Science, Vol. 290, pp. 59–78, 2003.

Frank Stomp contributed to the book “Data Refinement: Model-Oriented Proof Methods” by Willem-Paul de Roever and Kai Engelhardt (Cambridge Tracts in Theoretical Computer Science 47, 1998.)

His current interests are quantum computing, machine learning, and homotopy type theory.