معرفی
Freek Verbeek is an Assistant Professor at Virginia Tech, affiliated with the Systems Software Research Group led by Prof. Binoy Ravindran. He holds a PhD focused on Networks-On-Chips (NoCs) and specializes in applying formal verification methods to complex systems. Verbeek maintains additional connections to the Open University of the Netherlands through collaborative research projects.
His research focuses on:
- Formal verification of security properties in industrial systems (PikeOS separation kernel)
- Deadlock/livelock prevention in Networks-on-Chips and cache coherent architectures
- Bottom-up binary verification and decompilation techniques
- Theorem proving using Isabelle/HOL and ACL2 systems
- Development of verification tools (DCI2, ADVOCAT, WickedXmas)
His publication trend analysis reveals concentrated work in:
- Binary analysis and decompilation verification (2020)
- Formal methods for hardware verification (2016-2019)
- Network-on-Chip deadlock analysis (2013-2017)
- Security kernel verification (2014-2015)
Verbeek leads research in decompilation tools and verification frameworks, currently seeking PhD students and postdocs for formal methods and reverse engineering projects. He collaborates with both Virginia Tech and the Open University of the Netherlands on binary analysis research.
