Två Hasselblad-gästprofessorer till Data- och informationsteknik

Syftet med gästprofessurerna är att stärka specifika forskningsområden genom att knyta internationellt ledande forskare till lärosätena och på så sätt tillföra ny kompetens.

– Vi är mycket glada över att välkomna Vijay Ganesh och Siddhartha Gadgil till vår institution. Att båda de nya Hasselblad-gästprofessorerna kommer hit är ett erkännande av såväl deras framstående forskning som den starka forskningsmiljö som vi tillsammans har byggt upp inom Chalmers och Göteborgs universitet, säger Richard Torkar, prefekt vid institutionen för Data- och informationsteknik.

Kalle Sanner, vd för Hasselbladstiftelsen:

– När vi inrättade Erna och Victor Hasselblads gästprofessur tillsammans med Chalmers och Göteborgs universitet var syftet att bidra till att knyta internationellt ledande forskare till Göteborg. Att båda de första gästprofessurerna nu går till en och samma institution är ett kvitto på den starka forskningsmiljö som Chalmers och Göteborgs universitet har byggt upp tillsammans. Vi ser fram emot vad Vijay Ganesh och Siddhartha Gadgil kommer att bidra med under sin tid här, både till forskningen och till nya samarbeten.

Stärker forskningen inom automated reasoning och tillförlitlig AI

Bild

Vijay Ganesh är professor i datavetenskap vid Georgia Institute of Technology, Georgia Tech, och en ledande forskare inom SAT- och SMT-lösare – metoder för att lösa komplexa logiska problem – och deras tillämpningar inom bland annat artificiell intelligens och programvaruteknik.

Vijay Ganesh är biträdande föreståndare för Institute for Data Engineering and Science samt grundare och föreståndare för AI4Math Center vid Georgia Tech. Han är även medgrundare och medlem i styrgruppen för Centre for Mathematical AI vid Fields Institute.

Vijays expertis förväntas stärka institutionens forskning inom automated reasoning, tillförlitlig AI och formella metoder samt bidra med nya perspektiv och möjligheter till samarbeten.

Knyter samman matematik, AI och datavetenskap

Bild

Siddhartha Gadgil är professor i matematik vid Indian Institute of Science. Hans forskning är inriktad på automated theorem proving – att använda datorer för att konstruera och verifiera matematiska bevis – bland annat med hjälp av bevisassistenten Lean.

Siddhartha Gadgil har nyligen beviljats anslag från AI for Math Fund, som finansieras av Renaissance Philanthropy, för projektet LeanAide. Projektet syftar till att föra AI och matematik närmare varandra genom autoformalization.

Siddharthas forskning undersöker hur datorer kan användas som stöd för matematiskt resonerande. Hans tid vid institutionen förväntas ytterligare stärka forskningen i skärningspunkten mellan matematik, logik och datavetenskap och skapa nya möjligheter till samarbeten inom dessa områden.

Kommande internationella forskningssamarbeten

Tillsammans med professorerna Moa Johansson och Devdatt Dubhashi vid institutionen för Data- och informationsteknik är Vijay Ganesh och Siddhartha Gadgil medarrangörer av konferensen AI4Math vid Institut Mittag-Leffler i juni 2027.

Vijay Ganesh och Devdatt Dubhashi arrangerar även ett Dagstuhl Seminar om AI-system för lärande och resonerande i december 2027.
Om Erna och Victor Hasselblads gästprofessur inom naturvetenskap
Erna och Victor Hasselblads gästprofessur inom naturvetenskap inrättades av Hasselbladstiftelsen 2026 i samarbete med Chalmers tekniska högskola och Göteborgs universitet.

Syftet är att ge lärosätena möjlighet att utveckla eller vidareutveckla specifika naturvetenskapliga områden genom att rekrytera internationellt ledande forskare.

Varje gästprofessur finansieras med maximalt två miljoner kronor och omfattar en vistelse på sammanlagt 12 månader, som kan fördelas över en period på två år.