معرفی
Freek Verbeek is an Assistant Professor at Virginia Polytechnic Institute and State University in the College of Engineering. He is affiliated with the Systems Software Research Group and the Open University of the Netherlands, with a research focus on formal verification and reverse engineering of binaries. His work bridges theoretical rigor with practical applications in networks-on-chips (NoC), cache coherence protocols, and x86-64 binary analysis.
Research interests include formal verification of low-level systems, deadlock prevention in communication networks, and automated theorem proving using tools like Isabelle/HOL and ACL2. He has developed verification tools such as DCI2 and WickedXmas for deadlock detection in hardware designs and is actively working on bottom-up verification of assembly code and decompilation techniques.
His publications span topics like binary decompilation, memory safety, and deadlock analysis in networks, with a notable best-paper award at SEFM 2020. His recent work explores cross-layer verification of cache coherence and communication fabrics, formal semantics of assembly code, and refinement relations between binaries and abstract models.
Scientific awards include:
- Best-paper award at SEFM 2020
He is currently hiring PhD students and postdocs for projects on formal methods and reverse engineering of binaries, emphasizing decompilation with formally verified soundness and collaboration between Dutch and U.S. institutions.
