Edward A. Lee has been working on embedded software systems for 40 years, and after detours through Yale, MIT, and Bell Labs, landed at Berkeley, where he is now Professor of the Graduate School in EECS. His research is focused on cyber-physical systems. He is author of leading textbooks on embedded systems and digital communications, and has recently been writing books on philosophical and social implications of technology.
Concurrent and distributed software based on publish-and-subscribe (e.g. ROS) and actors (e.g. Erlang) are sometimes used to realize distributed real-time and robotic systems. Broadly, these mechanisms compose software components that have private state and communicate with each other via message passing. However, the underlying concurrency models have serious flaws. Most important, the message-passing mechanisms are less deterministic than they could be. In this talk, I will describe some simple challenge problems that are common in distributed real-time systems and extremely difficult to solve using either actors or publish-and-subscribe. I will offer an alternative model of computation that we call "reactors" that solves these problems simply and elegantly and that is able to leverage decades of results from the real-time systems community. The reactors model is being implemented in a coordination language called Lingua Franca.
L'un des moment particulièrement apprécié lors du colloquium est la « Masterclass » au cours de laquelle quelques doctorants du laboratoires ont l'opportunité de présenter leurs travaux à l'invité(e). Chaque présentation est suivie d'une discussion approfondie. Le programme complet est donné dans le document suivant.
Initié en 2012, le Colloquium d’Informatique de Sorbonne Université est un évènement régulier ayant pour but d'inviter des personnalités majeures du domaine de l’informatique à donner une conférence sur le campus de la faculté des sciences et ingénierie de Sorbonne Université. Il vise un public large, divers mais techniquement averti, et notamment les chercheurs en informatique de toutes spécialités, les doctorants et les étudiants en informatique de niveau Master.
L’évènement principal du Colloquium est l’exposé de l’orateur, d’environ 45 minutes, suivi d’une séance de questions et d’interactions avec l’auditoire. Il est généralement associé à l’organisation d’une masterclass à destination des doctorants du LIP6 et/ou d’autres laboratoires.
Principal participant au comité d’organisation, le LIP6 assure l’organisation du Colloquium et reçoit occasionnellement le soutien de l’ISIR.
 Agnès Crepet
Agnès Crepet Françoise Berthoud
Françoise Berthoud Sandrine Blazy
Sandrine Blazy Hans Bodlaender
Hans Bodlaender Maurice Herlihy
Maurice Herlihy Jean-Marc Jézéquel
Jean-Marc Jézéquel Claire Mathieu
Claire Mathieu David Bol
David Bol Cláudio T. Silva
Cláudio T. Silva Sébastiano Vigna
Sébastiano Vigna Hugo Gimbert
Hugo Gimbert Julie Grollier
Julie Grollier Jacques Pitrat
Jacques Pitrat James Larus
James Larus Eric Horvitz
Eric Horvitz Justine Cassell
Justine Cassell Léon Bottou
Léon Bottou Jean-Luc Schwartz
Jean-Luc Schwartz Timothy Roscoe
Timothy Roscoe Simon Peyton Jones
Simon Peyton Jones Maria Chudnovsky
Maria Chudnovsky Philippa Gardner
Philippa Gardner Michel Beaudoin-Lafon
Michel Beaudoin-Lafon Marie-Paule Cani
Marie-Paule Cani Richard Stallman
Richard Stallman Patrick Cousot
Patrick Cousot Patrick Flandrin
Patrick Flandrin Aude Billard
Aude Billard Willy Zwaenepoel
Willy Zwaenepoel Jon Crowcroft
Jon Crowcroft Isabelle Collet
Isabelle Collet Xavier Leroy
Xavier Leroy Silvio Micali
Silvio Micali Alessandra Carbone
Alessandra Carbone Serge Abiteboul
Serge Abiteboul Manuel Silva
Manuel Silva Andrew S. Tanenbaum
Andrew S. Tanenbaum Donald Knuth
Donald Knuth Jeannette Wing
Jeannette Wing David Patterson
David Patterson Claude Berrou
Claude Berrou Vint Cerf
Vint Cerf C.A.R. (Tony) Hoare
C.A.R. (Tony) Hoare Gilles Dowek
Gilles Dowek Mathieu Feuillet, Camille Couprie, Mathilde Noual
Mathieu Feuillet, Camille Couprie, Mathilde Noual Robert Sedgwick
Robert Sedgwick Frans Kaashoek
Frans Kaashoek Stuart Russell
Stuart Russell Georges Gonthier
Georges Gonthier Gérard Berry
Gérard Berry