Farhad  Vadiee's picture

Farhad Vadiee

PhD Candidate
  • E-mailFarhad.Vadiee@uib.no
  • Phone+47 934 70 062
  • Visitor Address
    HIB - Thormøhlens gate 55
  • Postal Address
    Postboks 7803
    5020 Bergen

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

Academic article
  • Show author(s) (2021). Unitary Branching Programs: Learnability and Lower Bounds. Proceedings of Machine Learning Research (PMLR).

More information in national current research information system (CRIStin)

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