Farhad Vadiee
/fæɾˈhɒːd vadiːiː/
PhD Candidate
About me
I am a Ph.D. student in the Department of Informatics at University of Bergen.
I got my Master's degree at Sharif University of Technology (Iran).
I am working in the project Automated Theorem Proving from the Mindset of Parameterized Complexity Theory ( AUTOPROVING ) under the supervision of Mateus de Oliveira Oliveira.
Research Interests
- Parameterized Complexity
- Automated Deduction
- Combinatorics
News
- I will participate in Swedish Summer School in Computer Science 2022.
- Mariyam Khan and I are the organizers of the ICT Research School Annual Meeting 2022 at the University of Bergen.
- I participated in Advances in Parameterized Graph Algorithms (APGA 2022) workshop in Calpe, Spain.
- I am in charge of the Algorithms group's series seminars for the spring semester 2022.
- I visited the university of Trier in November 2021. I gave a talk about "Dynamic Programming Refutations."
Preprints
- From Width-Based Model Checking to Width-Based Automated Theorem Proving
Mateus de Oliveira Oliveira and Farhad Vadiee
Papers
- Unitary Branching Programs: Learnability and Lower Bounds
Fidel Andino, Maria Kokkou, Mateus de Oliveira Oliveira, Farhad Vadiee
38-th International Conference on Machine Learning (ICML 2021) (accepted)
Software
- TreeWidzard - An Engine for Tree-Decomposition-Based Algorithms
(Expected release in July 2022) - LUBP - Learning Unitary Branching Programs ( github )