Colloquium

Designing High-Confidence Interactive Systems: Electronic Voting, Self-Driving Cars, and Beyond

Speaker: 

Sanjit A. Seshia

Organisers: 

R K Shyamasundar

Time: 

Wednesday, 9 January 2013, 16:00 to 17:00

Venue: 

Webpage: 

http://www.eecs.berkeley.edu/~sseshia/

Human interaction is central to many computing systems that require a high level of assurance. We term such systems as "high-confidence interactive systems".

Synchrony Induced Brain-like Computing in Artificial Molecular Systems

Speaker: 

<p><a href="http://samurai.nims.go.jp/Anirban_BANDYOPADHYAY-e.html">Anirban Bandyopadhyay</a><br /> National Institute for Materials Science<br /> Surface Characterization Group<br /> Advanced Nano Characterisation Center<br /> 1-2-1 Sengen, Main Bldg, Room-815<br /> Tsukuba, Japan 305-0047</p>

Time: 

Monday, 5 December 2011, 11:00 to 12:00

Venue: 

Nearly 3.5 billion years back microtubule came into being, while unravelling its electronics we found its synchrony induced behavior (1), which enables it to exhibit remarkable electronic properties never seen before.

Emergent Cooperation Amongst Selfish Agents in Minority Games

Speaker: 

Deepak Dhar Tata Institute of Fundamental Research Department of Theoretical Physics Homi Bhabha Road Mumbai

Time: 

Tuesday, 22 March 2011 (All day)

Venue: 

I will discuss a variation of the minority game. There are $N$ agents. Each has to choose between one of two alternatives everyday, and there is reward to each member of the smaller group.

Invariance Principles in Probability and Their Applications in Theoretical Computer Science

Speaker: 

Prahladh Harsha Tata Institute of Fundamental Research School of Technology and Computer Science Homi Bhabha Road

Time: 

Tuesday, 8 February 2011 (All day)

Venue: 

In recent years, invariance principles in probability (central limit theorem, Berry-Esseen theorem, and their high degree and multi-dimensional generalizations) have come very useful in

Pages

Subscribe to RSS - Colloquium