Sunday, 30. April 2017


KTH Research Project Database

KTH Research Projec...
ORG. UNIT




Architectural and Civil Engineering


Chemistry and biotechnology


Computer Science & Information Technology


Electrical Engineering


Mathematics


Physics and Energy


Production and Mechanical Engineering


Social Sciences and Humanities


Environment and sustainable development


OVERVIEWS

»Research Fields

»Organisational Structure

»Persons



Theoretical Computer Science (»Add to Infobox)


Numerical Analysis and Computing Science
School of Computer Science and Communication
KTH - Royal Institute of Technology

Stockholm

Internet:  http://www.nada.kth.se/theory/


PROJECTS (9/9) 

A Nordic on-line dictionary: Tvärslå och Tvärsök

ACCESS (Autonomic Complex Communication nEtworks, Signals and Systems)

Advanced Internet service and routing architectures

Approximation algorithms

Cryptography

Foundations of software testing

Language-based techniques for ambient security

New algorithms for genome assembly

Security for mobile code: An algorithmic approach based on contracts

ARCHIVED PROJECTS (4/4) 

Bioinformatics

Formalisation and analysis of security properties

Security of software and services for mobile systems - S3MS

Symbolic execution-based formal reasoning about open systems - SEFROS

PEOPLE (20/20) 

Professor Johan Håstad (Research Leader / Theoretical Computer Science)
Professor Viggo Kann (Research Leader / Theoretical Computer Science)
Professor Jens Lagergren (Research Leader / Theoretical Computer Science)
Professor Karl Meinke (Research Leader / Theoretical Computer Science)
Lars Arvestad (Research Leader / Theoretical Computer Science)
Mikael Goldmann (Research Leader / Theoretical Computer Science)
Mads Dam (Research Leader / Theoretical Computer Science)
Dilian Gurov (Research Leader / Theoretical Computer Science)
Samuel Andersson
Per Austrin
Katarina Blom
Isaac Elias
Magnus Rosell
Jonas Sjöbergh
Örjan Svensson
Ali Tofigh
Douglas Wikström
Irem Aktug
Mika Cohen
Olof Hagsand


SEARCH



»Advanced Search



INFOBOX (0/0) show all
Your infobox is empty




Powered by AVERISinfo@avedas.com