Du kanske försöker komma åt den här webbplatsen från en säker webbläsare på servern. Aktivera skript och uppdatera den här sidan.
Aktivera hjälpmedelsläget
Inaktivera hjälpmedelsläget
Hoppa över menyflikskommandon
Hoppa till huvudinnehåll
In English
Toggle search
Sök
Toggle navigation
Meny
Medarbetare, Logik och typer.
Utbildning
Forskning
Samverkan
Om Chalmers
Data- och informationsteknik
Utbildning
Grundutbildning
Kandidatprojekt
Master's programmes
Master's Thesis
Lars Pareto-stipendiet
Studieexpedition, studievägledning
Tentamensinfo/Exams
Sommarkurser
Forskarutbildning
Forskning
Forskningsprojekt
Forskarutbildning
Centrum
Organisation
Ledningsgrupp
Data Science och AI
Medarbetare, Data Science och AI
Datorteknik
Medarbetare, Datorteknik
Cadence Academic Network
Formella metoder
Medarbetare, Formella Metoder
Funktionell programmering
Medarbetare, Funktionell programmering
Informationssäkerhet
Medarbetare, Informationssäkerhet
Interaktionsdesign
Medarbetare, Interaktionsdesign
Forskning
Logic and Types
Medarbetare, Logik och typer.
Nätverk och system
Medarbetare, Nätverk och system
Software Engineering
Medarbetare, Software Engineering
Data Science forskningsingenjörer
Verksamhetsstöd
Institutionsråd
Lokal samverkan
Kontakt
Personal
Hitta till Data- och informationsteknik
Kalendarium
Nyheter
Årsberättelse
In English
Start
Institutioner
Data- och informationsteknik
Organisation
Logic and Types
Följ oss
Institutioner
Utbildning
Grundutbildning
Kandidatprojekt
Master's programmes
Master's Thesis
Lars Pareto-stipendiet
Studieexpedition, studievägledning
Tentamensinfo/Exams
Sommarkurser
Forskarutbildning
Forskning
Forskningsprojekt
Forskarutbildning
Centrum
Organisation
Ledningsgrupp
Data Science och AI
Medarbetare, Data Science och AI
Datorteknik
Medarbetare, Datorteknik
Cadence Academic Network
Formella metoder
Medarbetare, Formella Metoder
Funktionell programmering
Medarbetare, Funktionell programmering
Informationssäkerhet
Medarbetare, Informationssäkerhet
Interaktionsdesign
Medarbetare, Interaktionsdesign
Forskning
Logic and Types
Medarbetare, Logik och typer.
Nätverk och system
Medarbetare, Nätverk och system
Software Engineering
Medarbetare, Software Engineering
Data Science forskningsingenjörer
Verksamhetsstöd
Institutionsråd
Lokal samverkan
Kontakt
Personal
Hitta till Data- och informationsteknik
Kalendarium
Nyheter
Årsberättelse
Huvudbild (750px bred, 340px hög)
Huvudbildens bildtext
Huvudbildens upphovsman
Logik och typer
Vid avdelningen bedrivs forskning som berör områden inom logik och semantik för program.
Read more in English
.
Sidansvarig
Publicerad: må 19 nov 2018.
×
Meddelande till sidansvarig
Din epost (frivilligt, men nödvändigt om du önskar svar från oss)
Ditt meddelande
Var god fyll i ett meddelande
Skicka meddelande