Home
Farhad  Vadiee's picture

Farhad Vadiee

PhD Candidate
  • E-mailFarhad.Vadiee@uib.no
  • Visitor Address
    HIB - Thormøhlens gate 55
    5006 Bergen
  • 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). 297-306.

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