| Troels Andreasen
|
Affiliation: RUC
Research Interest: Database systems, Information Retrieval, Fuzzy sets & Fuzzy Systems, Artificial Intelligence, Intelligent systems, Logic, Knowledge representation, Knowledge based applications, Ontology, Natural language processing.
Contact: Website E-Mail |
| Hanne Riis Nielson
|
Affiliation: DTU
Research Interest: Development of theories, techniques and tools for the modelling, analysis, validation and realisation of software systems. This includes process calculi, static analysis, model checking, and qualitative and quantitative analysis of, among others, safety and security properties.
Contact: Website E-Mail |
| Jakob Bardram
|
Affiliation: ITU
Research Interest: Experimental computer science, i.e. designing, building, and evaluation systems in a cross-disciplinary fashion together with future users.
Contact: Website E-Mail |
| Philip Bille
|
Affiliation: DTU/Lund
Research Interest: Design and analysis of algorithms and data structures. In particular, basic problems within or related to combinatorial pattern matching
Contact: Website E-Mail |
| Lars Birkedal
|
Affiliation: ITU
Research Interest: Applications of mathematical logic and category theory to computer science, especially concerning the semantics of programming languages, type theories, and models for global computing. I am also interested in the implementation of advanced programming languages and co-developer of The ML Kit and SML-Mix.
Contact: Website E-Mail |
| Philippe Bonnet
|
Affiliation: DIKU
Research Interest: I am an experimental computer scientist in the domain of sensor networks and data management. I am interested in building the tools that scientists need to collect, manage and organize their data. More specifically, I am interested in contributing to the data acquisition infrastructure in the polar regions.
Contact: Website E-Mail |
| Claus Brabrand
|
Affiliation: ITU
Research Interest: Programming Languages (design, analysis, and implementation), Domain Specific Languages, Web Technology, Syntax and Transformation, Educational Research (university-level education).
Contact: Website E-Mail |
| Torben Braüner
|
Affiliation: RUC
Research Interest: My main research interest is logic and the application of logic in computer science, artificial intelligence, and philosophy. I am particularly interested in non-classical logics (mainly modal and hybrid logics).
Contact: Website E-Mail |
| Henning Christiansen
|
Affiliation: RUC
Research Interest: Logic & constraint logic programming (abduction, metaprogramming, ...), Probabilistic-logic models (including for biological sequence ananlysis), CHR Grammars and aspects of Natural Language Processing; Logic aspects of databases; Intelligent query systems (database, knowledge representation, ...); Computer science teaching.
Contact: Website E-Mail |
| Jens Clausen
|
Affiliation: DTU
Research Interest:
Contact: Website E-Mail |
| Yvonne Dittrich
|
Affiliation: ITU
Research Interest: Use oriented design and development of software.
Contact: Website E-Mail |
| Robert Glück
|
Affiliation: DIKU
Research Interest: Advanced topics of software theory and practice, in particular on automatic software production, metaprogramming, program analysis and transformation (specialization, composition, and inversion of programs)
Contact: Website E-Mail |
| Andrzej Filinski
|
Affiliation: DIKU
Research Interest: Formal semantics, computational effects and monads, normalization by evaluation, and logical frameworks.
Contact: Website E-Mail |
| Arne Glenstrup
|
Affiliation: ITU
Research Interest: Context-sensitive systems, bigraphical reactive systems,
system modeling, semantics.
Contact: Website E-Mail |
| Jens Christian Godskesen
|
Affiliation: ITU
Research Interest: Models for Concurrent, Distributed and Mobile Systems, Models for Wireless and Probabilistic Broadcasting Systems, Verification and Model Checking.
Contact: Website E-Mail |
| Fritz Henglein
|
Affiliation: DIKU
Research Interest:
Contact: Website E-Mail |
| Thomas Hildebrandt
|
Affiliation: ITU
Research Interest: Semantics, logic and models for concurrent, distributed and mobile communicating processes. Applications of formal models in process- and service-oriented information systems, in particular business process execution and workflow management.
Contact: Website E-Mail |
| Thore Husfeldt
|
Affiliation: ITU
Research Interest: Theoretical computer science, namely algorithms. I began in data structures, but in the last few years the focus has been on combinatorial optimisation (“algorithms for hard problems”, if you want).
Contact: Website E-Mail |
| Rune Møller Jensen
|
Affiliation: ITU
Research Interest: Developing efficient algorithms for solving hard constraint optimization problems in the liner shipping industry
Contact: Website E-Mail |
| Eric Jul
|
Affiliation: DIKU
Research Interest: Distributed operating systems and their implementation including cryptology, object-oriented languages and systems and their implementation including garbage collection and interaction with operating systems, and object-oriented design.
Contact: Website E-Mail |
| Jyrki Katajainen
|
Affiliation: DIKU
Research Interest: Algorithmic graph theory, computational complexity, computational geometry, data compression, parallel computing, performance programming, software tools, and sorting and searching
Contact: Website E-Mail |
| Søren Lauesen
|
Affiliation: ITU
Research Interest: User interface design, human-computer interaction, requirements specification, object-oriented design, quality assurance, systems development, marketing and product development, cooperation between research and industry.
Contact: Website E-Mail |
| Julia Lawall
|
Affiliation: DIKU
Research Interest: Programming languages, operating systems, source code evolution, bug finding, program analysis, program transformation
Contact: Website E-Mail
|
| Torben Mogensen
|
Affiliation: DIKU
Research Interest: Automatic program analysis and transformation (in particular partial evaluation and program semi-inversion), compiler technology (in particular for functional languages), domain-specific languages and occasionally dabble in algorithms, complexity, automata theory, fractals and graphics.
Contact: Website E-Mail |
| Rasmus Møgelberg
|
Affiliation: ITU
Research Interest: Denotational semantics of programming languages, category theory, domain theory, logic, parametric polymorphism, computational effects
Contact: Website E-Mail |
| Rasmus Pagh
|
Affiliation: ITU
Research Interest: Algorithms and data structures for large-scale databases and data analysis.
Contact: Website E-Mail |
| Christian W. Probst
|
Affiliation: DTU
Research Interest: Programming languages, optimizing compilers, and abstract machines, as well as modelling and analysis of systems.
Contact: Website E-Mail |
| Carsten Schürmann
|
Affiliation: ITU
Research Interest: Logic in computer science, logical frameworks, type theory, theorem proving, computational logic, functional programming languages, logic programming languages.
Contact: Website E-Mail |
| Peter Sestoft
|
Affiliation: ITU
Research Interest: Functional and managed object-oriented programming languages and their implementation, program transformation, program specification, software development, and bioinformatic
Contact: Website E-Mail |
| Kristian Støvring
|
Affiliation: ITU
Research Interest: Programming language semantics, lambda calculus, formalized mathematics.
Contact: Website E-Mail |
| Andrzej Wasowski
|
Affiliation: ITU
Research Interest: concurrency theory (3-valued models, interface theories and behavioral types, stochastic and real time models of computation, code generation), applied artificial intelligence (applications of binary decision diagrams, satisfiability solving, constraint programming and Bayesian reasoning to applications in software engineering), software engineering (tools for model driven development, feature modeling, domain specific languages, and software product lines)
Contact: Website E-Mail |
| Brian Vinter
|
Affiliation: DIKU
Research Interest: Minimum intrusion grid
Contact: Website E-Mail |
| Pawel Winter
|
Affiliation: DIKU
Research Interest: Computational biology - Combinatorial problems arising in molecular biology, Computational geometry - Applications of computational geometry in network design problems, Combinatorial optimization - Design of communication, distribution and transportation networks.
Contact: Website E-Mail |
| Martin Zachariasen
|
Affiliation: DIKU
Research Interest: Heuristics and exact methods for two classical NP-hard problems: The Travelling Salesman Problem and the Steiner Tree Problem, in particular their geometric (plane) versions. My general interests are experimental algorithmics and computational combinatorial optimization, in particular related to VLSI design:
Contact: Website E-Mail |
| Flemming Nielson
|
Affiliation: DTU
Research Interest: My main research interests are process modelling, static analysis, abstract interpretation, type and effect systems, operational semantics, model checking, qualitative and quantitative analysis, and software security.
Contact: Website E-Mail |
| Inge Li Gørtz |
Affiliation: DTU
Research Interest: Design and analysis of data structures and algorithms, approximation algorithms, graph theory.
Contact: Website E-Mail |
| Henrik Pilegaard
|
Affiliation: DTU
Research Interest:
Contact: Website E-Mail |
| Kasper Østerbye
|
Affiliation: ITU
Research Interest: Industrial software production: this encompasses both analysis as in Product Line Architectures and in the more technical issues of software generation and flexibility. I am also interested in object-oriented programming languages, aspect-oriented programming, and domain-specific languages.
Contact: Website E-Mail |
|
|
|
Events
<< June 2010 >>
| Mo | Tu | We | Th | Fr | Sa | Su |
|---|
| | 1 | 2 | 3 | 4 | 5 | 6 |
| 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| 21 | 22 | 23 | 24 | 25 | 26 | 27 |
| 28 | 29 | 30 | | | | |
Other Events
 |
