Department of Computer Science and Engineering, IIT Kanpur

Computer Science and Engineering Seminars

```
**Kaushik Sinha** (July 11th, 2012)    
```
Univ. of California, San Diego,
Unsupervised Learning in High Dimensions
```
**Maitreya Natu** (July 9th, 2012)    
```
TRDDC, Pune,
Analytics-led Approach for Proactive Management of Data Centers
```
**Manoj Gopalkrishnan** (June 27th, 2012)    
```
TIFR,
Chemical reaction networks: a generalization of Markov chains
```
**Olivia Das** (April 30th, 2012)    
```
Ryerson University, Toronto,
Performance and Dependability Modeling of Layered Systems
```
**Sushmita Ruj** (February 24th, 2012)    
```
University of Ottawa,
Security in communication systems: merging theory with practice
```
**Philippe Dugerdil** (February 16th, 2012)    
```
Geneva School of Business Administration,
A reverse modeling-based tool to help with legacy source code understanding
```
**Rajiv Khosla** (January 27th, 2012)    
```
La Trobe University,
Emotionally aware intelligent robots for aged people
```
**Srishti Srivastava** (December 13th, 2011)    
```
Mississippi State University,
Research Approaches Towards a Technology for Performance Optimization via Reliable and Cost-Efficient Autonomic Computing Systems
```
**Ashutosh Gupta** (December 12th, 2011)    
```
IST Austria,
Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs
```
**Rohit Chadha** (December 7th, 2011)    
```
INRIA,
Automated verification of cryptographic protocols

**Anirban Dasgupta** (November 29th, 2011)

Satish Chand (August 8th, 2011)
NSIT Delhi,
Video on Demand
T Anil Kumar (August 1st, 2011)
Harman International and TU Munich,
Issue-based Variability Management: Methodological and Empirical