Farhad Vadiee
/fæɾˈhɒːd vadiːiː/
PhD Candidate
About me
I am a Ph.D. student in the department of informatics at the University of Bergen. Before here, I was at the University of Sharif, Tehran. I am working on Automated Theorem Proving from the Mindset of Parameterized Complexity under Mateus de Oliveira Oliveira's supervision.
Research Interests
- Parameterized Complexity
- Automated Deduction
- Combinatorics
Publications