Colloquium d’Informatique de Sorbonne Université
Jeannette Wing, Corporate Vice President, Microsoft Research
Tuesday, May 20, 2014 18:00
Amphi 25 Sorbonne University - Faculté des Sciences
Toward a Theory of Trust in Networks of Humans and Computers
Jeannette M. Wing is Corporate Vice President, Microsoft Research. She is on leave from Carnegie Mellon University, where she is President's Professor of Computer Science and twice served as the Head of the Computer Science Department. From 2007-2010 she was the Assistant Director of the Computer and Information Science and Engineering Directorate at the National Science Foundation. She received her S.B. and S.M. degrees in Computer Science and Engineering in 1979 and her Ph.D. degree in Computer Science in 1983, all from the Massachusetts Institute of Technology.
Professor Wing's general research interests are in the areas of trustworthy computing, specification and verification, concurrent and distributed systems, programming languages, and software engineering. Her current interests are in the foundations of security and privacy. She was or is on the editorial board of twelve journals, including the Journal of the ACM and Communications of the ACM.
She is, among others, a Fellow of the American Academy of Arts and Sciences, American Association for the Advancement of Science, the Association for Computing Machinery (ACM), and the Institute of Electrical and Electronic Engineers (IEEE).
Abstract
We argue that a general theory of trust in networks of humans and computers must be built not only on a theory of computational trust but also on a theory of behavioral trust. Behavioral trust captures participant preferences (i.e., risk and betrayal aversion) and beliefs in the trustworthiness of other protocol participants. This more comprehensive view of trust would allow us to establish new trust relations where none were possible before. It would help create new economic opportunities by increasing the pool of usable services and removing cooperation barriers among users. It would also help focus security research in areas that promote trust-enhancement infrastructures in human and computer networks.
This work is joint with Virgil Gligor.
Other information
Steering committee
Colloquium announcements
In order to be informed of future events via emails, you can
subscribe to colloquium announcements.
If you do not want to be informed anymore, you can
unsubscribe to colloquium announcements
- Year 2024 – 2025
- Year 2023 – 2024
-
Maurice Herlihy
June 25, 2024
Further Decentralizing Decentralized Finance -
Jean-Marc Jézéquel
April 04, 2024
Comment dompter la variabilité du logiciel ? -
Claire Mathieu
January 24, 2024
Vehicle routing and approximation algorithms -
David Bol
November 21, 2023
Six of the nine planetary boundaries are transgressed – How we do research in the Anthropocene?
-
Maurice Herlihy
- Year 2022 – 2023
- Year 2021 – 2022
- Year 2020 – 2021
- Year 2019 – 2020
- Year 2018 – 2019
-
Cláudio T. Silva
June 11, 2019
Urban Data Science -
Sébastiano Vigna
May 06, 2019
Four degrees of separation (and how we did it) -
Hugo Gimbert
March 19, 2019
Les algorithmes de Parcoursup -
Julie Grollier
February 05, 2019
Nanodevices for Bio-inspired Computing -
Jacques Pitrat
November 20, 2018
L'IA forte -
James Larus
October 23, 2018
Programming Non-Volatile Memory
-
Cláudio T. Silva
- Year 2017 – 2018
-
Eric Horvitz
June 20, 2018
AI Aspirations and Advances -
Justine Cassell
May 15, 2018
Designing Bots, Virtual Humans, and Other Systems that Can Hold up Their End of the Conversation -
Léon Bottou
March 06, 2018
Une approche géométrique de l'apprentissage non supervisé -
Jean-Luc Schwartz
January 16, 2018
Modélisation cognitive des unités de la parole -
Timothy Roscoe
November 30, 2017
The Trouble with Hardware
-
Eric Horvitz
- Year 2016 – 2017
-
Simon Peyton Jones
May 23, 2017
Escape from the ivory tower: the Haskell journey -
Maria Chudnovsky
April 25, 2017
Induced subgraphs and coloring -
Philippa Gardner
March 28, 2017
Understanding and Verifying JavaScript Programs -
Michel Beaudoin-Lafon
February 28, 2017
Interfaces Homme-Machine -
Marie-Paule Cani
November 22, 2016
Modélisation 3D expressive -
Richard Stallman
October 11, 2016
What Makes Digital Inclusion Good Or Bad? -
Patrick Cousot
September 29, 2016
Abstract interpretation
-
Simon Peyton Jones
- Year 2015 – 2016
-
Patrick Flandrin
June 16, 2016
« Chirps » everywhere -
Aude Billard
April 12, 2016
Robots that exceed human capabilities -
Willy Zwaenepoel
March 22, 2016
Really Big Data -
Jon Crowcroft
January 19, 2016
Cybersecurity and network measurement -
Isabelle Collet
November 24, 2015
Les informaticiennes, de la dominance de classe aux discriminations de sexe -
Xavier Leroy
October 20, 2015
Desperately seeking software perfection
-
Patrick Flandrin
- Year 2014 – 2015
-
Silvio Micali
May 26, 2015
Proofs, Secrets, and Computation -
Alessandra Carbone
April 14, 2015
The new era of biology is computational -
Serge Abiteboul
February 24, 2015
Toward personal knowledge bases -
Manuel Silva
November 25, 2014
Fluidization of discrete event models or a marriage between the discrete and the continuous -
Andrew S. Tanenbaum
October 28, 2014
MINIX 3: A Reliable and Secure Operating System
-
Silvio Micali
- Year 2013 – 2014
-
Donald Knuth
June 17, 2014
Computer Science: All Questions Answered -
Jeannette Wing
May 20, 2014
Toward a Theory of Trust in Networks of Humans and Computers -
David Patterson
May 06, 2014
Myths about MOOCs and Software Engineering Education -
Claude Berrou
March 25, 2014
L'information mentale -
Vint Cerf
March 04, 2014
On the Preservation of Digital Information -
C.A.R. (Tony) Hoare
November 26, 2013
Laws of concurrent system design -
Gilles Dowek
October 22, 2013
Are formal methods the future of air traffic control?
(Is there an autopilot on board?)
-
Donald Knuth
- Year 2012 – 2013
-
Mathieu Feuillet, Camille Couprie, Mathilde Noual
June 25, 2013
Espoirs : Winners of the 2012 Gilles Kahn prize -
Robert Sedgwick
May 23, 2013
Taking Education Online: A Unique Opportunity for the New Millenium -
Frans Kaashoek
April 18, 2013
The multicore evolution and operating systems -
Stuart Russell
January 22, 2013
Unifying logic and probability: A “New Dawn” for Artificial Intelligence? -
Georges Gonthier
November 27, 2012
Le génie mathématique, du théorème des quatre couleurs à la classification des groupes -
Gérard Berry
October 24, 2012
Le temps et les événements en informatique
-
Mathieu Feuillet, Camille Couprie, Mathilde Noual
- Year 2011 – 2012