Nätverket IT-universitetet

  • Nätverket IT-universitetet
Webbkarta

IT-universitetet - ett nav för samverkan, forskning och utbildning inom IT-området

 

IT-universitetet är Chalmers och Göteborgs universitets gemensamma organisation för att främja forskning, utbildning och samverkan inom IT och kommunikation (IKT).

Verksamheten fokuserar på gränsöverskridande uppgifter och projekt som spänner över flera institutioner och fakulteter för att uppnå dynamik, nya tvärvetenskapliga landvinningar och synergieffekter. En nära samverkan med näringsliv och samhälle är en grundförutsättning för IT-universitetets verksamhet.

Nyheter

  • Bevissystemet Coq utsett till vinnare av 2013 ACM Software system Award

    [2014-04-17] Bevissystemet Coq system har utsetts till mottagare av 2013 ACM Software system Award. Coq är ett mjukvaruverktyg för interaktiv utveckling av formella bevis. Systemet har utvecklats av Coq Development Team, där professor Thierry Coquand vid Göteborgs universitet är en av utvecklarna.

  • Lars Mathiassen gästprofessor

    [2014-04-01] Lars Mathiassen har utnämnts till gästprofessor vid institutionen för tillämpad IT, där han främst kommer att vidareutveckla samarbetet med forskargruppen inom digital innovation.

  • Med sikte på nästa Carolo Cup - intervju med Christian Berger

    [2014-03-05] Christian Berger forskar inom området självkörande fordon och är den som leder förberedelserna inför Göteborgslagens medverkan i Carolo Cup 2014.

Fler nyheter

Kontaktinformation

IT-universitetet

Nätverkets kansli, 412 96 Göteborg

Besöksadress:
Forskningsgången 6

Till sidans topp

© Göteborgs universitet 2009, Box 100, 405 30 Göteborg
Tel. 031-786 0000, Kontakta oss

Om webbplatsen | Karta