|
|
 |
|
Research Groups in Computing
Science |
|
|
|
Algorithms
Efficient algorithms for discrete optimization, machine learning,
data mining.
|
Applied
Semantics
Program structuring, dependent types in programming, normalization
and partial evaluation, semantics based optimization. |
| Bioinformatics |
Interaction Design
|
Computing Systems
Distributed Architecures for Reliable Computing, Complex Flexible
Manufacturing Systems. |
Concurrency
Calculi for broadcasting. |
Distributed
Computing and Systems
Synchronization, communication/ coordination, animation of distributed
protocols, networking, efficiency, scalability and fault-tolerance. |
Formal Methods
Proof systems, hardware description, hardware verification,
Prover. |
Functional
Programming
Compiler
technology , Graphical
user interfaces, polytypic
programming, type
specialization, hardware description. Haskell,
Fudgets,
Cayenne,
O'Haskell. |
Language
Technology
We study the borderline between natural and formal languages. |
Programming
Logic
Proof
editors, experiments
in machine-checked proofs, type theory, theoretical studies
of formal logics, ALF,
Alfa,
Alfie.
|
ProSec
Programming Language Based Methods for Security |
|
Software
Methodologies and Systems
|
Industrial
Environmental Informatics - IMI
Industrial
Environmental Informatics works on different aspects of the
information needed for environmental management in the industrial
society.Our vision and our aim is that it should be affordable
for any decision-maker anywhere in the industrial society to
acquire good environmental information for their environmental
decisions. |
|
|
The department offers two Postgraduate
programmes: a Ph.D. programme taking around 5 years and a
Licentiate programme taking around 3 years.
Here
is a list of Ph.D. theses written in the department. |
|
Interested in the (short) history of the department? A brief
description of the research during the years 1982-1992 is given
in the report Research
in Computing Science in Göteborg. |
|
