- E-mailFarhad.Vadiee@uib.no
- Phone+47 934 70 062
- Visitor AddressHIB - Thormøhlens gate 55
- Postal AddressPostboks 78035020 Bergen
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