Farhad Vadiee

PhD Candidate

E-mailFarhad.Vadiee@uib.no
Phone+47 934 70 062
Visitor Address
HIB - Thormøhlensgt. 55
Postal Address
Postboks 7803

5020 Bergen

Research
About My Name

My project is Automated Theorem Proving(ATP) from the mindset of Parameterized Complexity under the supervision of Mateus de Oliveira Oliveira.

Modern Persian name Farhād (فرهاد) is derived from Middle Persian Frahād (in Parthian: 𐭐𐭓𐭇𐭕 prht Frahāt; in Ancient Greek: Φραάτης Phraatēs), ultimately from Old Iranian *fra-hāta- "merited, obtained".

Fields of competence

Algorithms

Complexity Theory