University of Bergen, Department of Informatics
Universitetet i Bergen, Institutt for Informatikk
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
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.
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:
DAT250 (1,3)
INF222(2,4), DAT251 (2,4)