- 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.
Academic article
- (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