Jeg er forsker ved SLATE og ph.d.-student ved Institutt for informatikk ved Universitetet i Bergen, der jeg er en del av Algoritmegruppen. Forskningen min ligger i skjæringspunktet mellom algoritmer og kunstig intelligens, og kombinerer teoretisk informatikk med praktiske spørsmål innen maskinlæring og datadrevne systemer. Jeg arbeider for tiden med generering av syntetiske data og federert læring. Mer generelt er jeg interessert i algoritmer, optimalisering, modellsjekking, automatisert teorembevising og kombinatoriske problemer. Jeg er også involvert i organiseringen av AI-olympiaden i Norge. Ta gjerne kontakt dersom du er interessert i disse temaene.

Jeg er involvert i organiseringen av AI-olympiaden i Norge (NOKI), og arbeider med å knytte elever til AI, algoritmer og problemløsning.

Jeg er interessert i undervisning og veiledning innen algoritmer, optimalisering, kunstig intelligens, maskinlæring, automatisert resonnering og relaterte temaer i teoretisk informatikk.

Fagartikkel

• Emmanuel Jean Paul Pierre Arrighi; Pål Grønås Drange; Kenneth Langedal et al. (2023). PACE Solver Description: Zygosity. (ekstern lenke)

Konferanseposter

• Bilal Mahmood; Mehdi Elahi; Farhad Vadiee et al. (2024). A Supervised Machine Learning Approach for Supporting Editorial Article Selection. (ekstern lenke)

Vitenskapelig artikkel

• Mateus De Oliveira Oliveira; Farhad Vadiee (2023). From Width-Based Model Checking to Width-Based Automated Theorem Proving. (ekstern lenke)
• Mateus De Oliveira Oliveira; Farhad Vadiee (2024). State Canonization and Early Pruning in Width-Based Automated Theorem Proving. (ekstern lenke)
• Bilal Mahmood; Mehdi Elahi; Farhad Vadiee et al. (2025). A Supervised Machine Learning Approach for Supporting Editorial Article Selection. (ekstern lenke)
• Fidel Ernesto Diaz Andino; Maria Kokkou; Mateus De Oliveira Oliveira et al. (2021). Unitary Branching Programs: Learnability and Lower Bounds. (ekstern lenke)

Se en full oversikt over publikasjoner i Cristin

En oppdatert oversikt over publikasjonene mine finnes på Google Scholar og DBLP. Google Scholar: https://scholar.google.com/citations?user=RktHIgcAAAAJ&hl=en DBLP: https://dblp.org/search/author?q=Farhad+Vadiee Tidligere publikasjoner kan være registrert under navnet Farhad Vadiee.

Nåværende prosjekter inkluderer ASPIRE, EduTrust AI, AI LEARN og NOKI. Tidligere arbeid inkluderer AUTOPROVING: Automated Theorem Proving from the Mindset of Parameterized Complexity Theory (prosjektnr. 288761).