Scholar
Farhad Vadiee
Google Scholar ID: RktHIgcAAAAJ
University of Bergen
Citations & Impact
Citations
35
H-index
4
i10-index
2
Publications
11
Co-authors
18
list available
Publications
Resume (English only)
Academic Achievements
- Papers:
- - From Width-Based Model Checking to Width-Based Automated Theorem Proving, co-authored with Mateus de Oliveira Oliveira, accepted at AAAI 2023.
- - Unitary Branching Programs: Learnability and Lower Bounds, co-authored with Fidel Andino, Maria Kokkou, Mateus de Oliveira Oliveira, accepted at ICML 2021.
- Software:
- - Zygosity - Solver for Computing Twin-Width (Heuristic)
- - TreeWidzard - An Engine for Tree-Decomposition-Based Algorithms
- - LUBP - Learning Unitary Branching Programs
Research Experience
- Holds a lecturer position at the Informatics Department and a Research Assistant position at MediaFutures.
Education
- Pursuing a Ph.D. at the University of Bergen; Master's degree from Sharif University of Technology in Iran.
Background
- Currently in my fourth year pursuing a Ph.D. in the Algorithm Group within the Department of Informatics at the University of Bergen in Norway. My research primarily revolves around parameterized algorithms, automated theorem proving, and model checking.
Miscellany
- Loves playing the piano and composing music.
