University of Bergen, Department of Informatics

Universitetet i Bergen, Institutt for Informatikk

Forskningsgruppen PUT

PUT Research Group

Some general information on working at PUT.

Generell informasjon om å arbeide ved PUT.

UiB sin offisielle side om forskningsgruppen PUT.

UiB official web page on the PUT research group.

Fokuset til gruppa er sjølve programvara som studieobjekt. Dei noverande interessene våre inkluderer formelle aspekt ved programvare, programmeringsspråk, formelle spesifikasjonar, struktureringsmekanismar og mønster for programvare, garantiar for korrekthet, pålitelighet og tryggleik, yting og i bruk av teoretiske resultat i praksis.

The Programming Theory group (PUT) focuses on the use of formal theory in understanding programming concepts. We work, for example, on specification and programming languages, on more general software structuring mechanisms and patterns, abstractions for specific domains (GUIs). The group's activities range from theoretical studies to building of support tools to practical software development.

The Bergen Language Design Laboratory (BLDL) is the faction of PUT that focuses on Programming Languages. PUT is also connected to the Energy Informatics Lab.

Bergen Language Design Laboratory (BLDL) er den delen av PUT som konsentrerer seg om programmeringsspråk. PUT er også tilknyttet energiinformatikk.

Fast ansatte på PUT:

Permanent positions at PUT

Bistillinger tilknyttet PUT

Adjunct positions at PUT

Emeriti tilknyttet PUT

Emeriti at PUT


Studying at PUT

Studere ved PUT

Vi kan veilede prosjekt på forskjellige nivå og størrelser:

We can supervise projects at different levels:

Mer om veiledning og våre prosjekter. Some project suggestions.

Felles masterprogram i programutvikling

Software Engineering, Joint Master's, 2 years

Beskrivelse av fellesgraden:
UiB sin presentasjon av fellesgraden
HVL sin presentasjon av fellesgraden

Official information on the joint degree in software engineering:
UiB's description of the master's degree
HVL's presentation of the master's degree

Oppgaveoversikt (noen forslag til tema for masteravhandlingen):
Oppgaver med hovedveileder på UiB
Oppgaver med hovedveileder på HVL

Some project suggestions:
Topics with main supervisor at UiB
Topics with main supervisor at HVL

Generelt om masterprogrammet: Generally about the master's study program:

Emner spesielt aktuelle for studenter på fellesgraden

Høstemner

Våremner

Irregulære emner