ºÚÁϳԹÏ×ÊÔ´

I am a researcher at SLATE and a PhD student in the Department of Informatics at the University of Bergen, where I am part of the Algorithms Group. My research lies at the intersection of algorithms and artificial intelligence, combining theoretical computer science with practical questions in machine learning and data-driven systems. I currently work on synthetic data generation and federated learning. More broadly, I am interested in algorithms, optimization, model checking, automated theorem proving, and combinatorial problems. I am also involved in organizing the AI Olympiad in Norway. If you are interested in these topics, feel free to contact me.

I am involved in organizing the AI Olympiad in Norway (NOKI), helping connect students with AI, algorithms, and problem solving.

I am interested in teaching and supervision in algorithms, optimization, artificial intelligence, machine learning, automated reasoning, and related topics in theoretical computer science.

Professional article

Conference poster

Academic article

An up-to-date list of my publications is available via Google Scholar and DBLP. Google Scholar: https://scholar.google.com/citations?user=RktHIgcAAAAJ&hl=en DBLP: https://dblp.org/search/author?q=Farhad+Vadiee Earlier publications may appear under the name Farhad Vadiee.

Current involvements include ASPIRE, EduTrust AI, AI LEARN, and NOKI. Earlier work includes AUTOPROVING: Automated Theorem Proving from the Mindset of Parameterized Complexity Theory (Project no. 288761).