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

Designed by Fazi :)