ng="en"> Farhad Vadiee

Farhad Vadiee

/fæɾˈhɒːd vadiːiː/

PhD Candidate

University of Bergen

Department of Informatics

farhad.vadiee@uib.no

farhad.vadiee@gmail.com

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 )
Music

I love play piano and composing!
Link to one of my playings.
Link to one of my own pieces.

Designed by Fazi :)