Jos Baeten

Josephus CM Baeten
Född	Tilburg
Utmärkelser	Officer av Orange-Nassau-orden
Akademisk bakgrund
Alma mater	University of Minnesota
Doktorand rådgivare	Wayne Richter
Akademiskt arbete
Disciplin	Datavetenskap , matematik
institutioner	Eindhoven University of Technology , University of Amsterdam , Centrum Wiskunde & Informatica

Josephus CM Baeten (född 15 juni 1954) är en nederländsk datavetare och matematiker , som har publicerat om processkalkyl , samtidighetsteori , formella metoder , modellbaserad mjukvaruteknik , modellbaserad systemteknik och beräkningsteori .

tidigt liv och utbildning

Jos Baeten föddes i Tilburg . Han fick sin Ph.D. från University of Minnesota 1985, rådgiven av Wayne Richter.

Karriär

Han var forskare vid Centrum Wiskunde & Informatica (CWI) och University of Amsterdam fram till 1991, då han utsågs till professor vid Eindhovens tekniska universitet . Där var han professor vid institutionen för matematik och datavetenskap från 1991 till 2015 (i två perioder var han dekanus för institutionen), och professor vid institutionen för maskinteknik från 2010 till 2012. 2011 återvände han till CWI som dess direktör, och 2015 återvände han till universitetet i Amsterdam som professor i datateori vid Institutet för logik, språk och beräkningar. Han gick i pension från båda positionerna 2020 och blev då CWI Fellow.

Baeten var ordförande för styrkommittén för CONCUR-konferenserna 1991-2018 och var ordförande för ERCIM 2018-2019. Sedan 2010 är han medlem i Koninklijke Hollandsche Maatschappij der Wetenschappen .

Under 75-årsdagen av CWI fick han en kunglig utmärkelse av officer i Orange-Nassaus orden .