english only
EPFL > I&C > Tresor > Research Topics
RESOURCES
Home
People
Seminars
Courses
Research Topics
Events
Useful Links

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research_topics [2007/05/02 14:58] (current)
fsalvi created
Line 1: Line 1:
 +The current topics of research include:
  
 +  * model checking of software
 +  * rich interfaces for software components
 +  * high-level languages for embedded software
 +  * distributed algorithms
 +  * reliable Middleware
 +  * fair exchange
 +  * models for concurrency & distribution
 +  * verification of security protocols
 +  * analysis of p2p algorithms
 +  * foundations of programming languages
 +  * type systems for functional and object-oriented languages
 +  * high-level language implementation techniques