Software engineering
Methods and tools to build software that lasts.
Research pole 03
Software & Systems
We study how reliable software and systems are designed, built, run and checked.
Pole lead Koua Mohamed Anis
← All research poles Log 01 · Topics
What we explore.
How software is built, run and verified.
Distributed systems
Many machines working together, reliably.
Programming languages & verification
Making sure programs do what they should.
Log 02 · The team
Pole lead.
They guide the project teams of this pole.
-
Pole lead · Software & Systems
Koua Mohamed Anis
Log 03 · Reading list
Start reading.
Papers chosen by the pole leads to get started.
In preparation
The reading list is being prepared.
The Software & Systems leads are selecting the first papers to read. It will appear here.
Log 04 · Sessions
Sessions of this pole.
Coming soon
No sessions yet.
Paper readings and workshops of this pole will be listed here.
See all events →The other poles
Research pole 03
Explore Software & Systems.
“Set sail. Explore the unknown.”