Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Fredrik Engström

OBS! Denna personalsida är inaktuell. Aktuella personalsidor finns att hitta under fliken Personal på sidan Om institutionen.

 


Forskare och Docent i Logik.

Proprefekt och viceprefekt med ansvar för forskning och utbildning på forskarnivå.

Allmänt

Forskare i logik vid Göteborgs universitet sedan 2006. Disputerade i matematik 2004 på en avhandling i matematisk logik. Jobbade efter disputationen som universitetslektor i matematik på Mittuniversitetet i Sundsvall.

Pågående forskning

Leder projektet Beroenden i formella och naturliga språk som finansieras av vetenskapsrådet.

Äldre forskning

Min avhandling studerade modeller av första ordningens aritmetik (Peanos aritmetik) och olika försök att karakterisera dessa. De senare åren har jag intresserat mig för generaliserade kvantorer och så kallad dependence logic.

Postdoc i projektet Logic for INTeraction, finansierad av vetenskapsrådet och European Science Foundation.

Medlem av projektetet Logisk slutledning med begränsade kognitiva resurser finansierat av institutionen samt vetenskapsrådet.

Undervisning

Främst handledning av uppsatser och avhandlingar, men även en del kurser i logik.

Kalender

Publikationer

2017

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Fredrik Engström

Kontaktinformation

Fredrik Engström

Box 200, 405 30 GÖTEBORG

Telefon:
031-786 6335

Länkar

 

Sidansvarig: Monica Havström|Sidan uppdaterades: 2016-01-21
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?