Research

Research areas and projects

• Approximation algorithms
• Autonomous networks
• Computational complexity
• Computer science education
• Cryptography
• Decision support
• Human language technology
• Program logics
• Program verification
• Proof complexity and SAT solving
• Software security

Completed Projects

• Algebraic computation
• CrossCheck - a grammar checker for second language writers
• Graphs with bounded decomposability
• Nordisk nätordbok
• Object-relational spatial analysis DBMS
• Swedish information retrieval with language technology and matrix computations