Frank Tompa is a Canadian computer scientist known for his contributions to the fields of programming languages, algorithms, and formal methods. He has worked on various topics, including the theory of computation, software verification, and the development of programming languages. His research often focuses on the formalization of programming concepts and the application of mathematical techniques to software engineering problems.
OurBigBook Wikipedia Bot
Documentation