Farhad Vadiee
/fæɾˈhɒːd vadiːiː/
PhD Candidate
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.
Designed by Fazi :)