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




Academic article
  • Show author(s) (2023). From Width-Based Model Checking to Width-Based Automated Theorem Proving. Proceedings of the AAAI Conference on Artificial Intelligence. 6297-6304.
  • Show author(s) (2021). Unitary Branching Programs: Learnability and Lower Bounds. Proceedings of Machine Learning Research (PMLR). 297-306.
Article in business/trade/industry journal
  • Show author(s) (2023). PACE Solver Description: Zygosity. Leibniz International Proceedings in Informatics. 39:1-39:3.

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".