Pavel Panchekha

Area of research

Computational Theory and Mathematics · Hardware and Architecture

Research interest

Research interests include Parallel Computing and Optimization Techniques, Numerical Methods and Algorithms, Logic, programming, and type systems, and Formal Methods in Verification.

Looking for a research collaborator?

Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.