Farhad Vadiee

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

PhD Candidate

University of Bergen

Department of Informatics



About me

I am a Ph.D. student in the department of informatics at University of Bergen. Before here, I was at Sharif University of Technology. 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

Designed by Fazi :)