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
Publications
- 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
- LUBP - Learning Unitary Branching Programs ( github )
Music
I use to play piano in my spare time.
I use to play piano in my spare time.