Welcome !

The Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur (IIT Kanpur) was the first department in India to start Computer Science education. It started in August 1963 with an IBM 1620 system - a novelty then, even in many North American and European universities. The department runs BTech, MTech and PhD programs and is engaged in cutting edge research with sponsored projects and consultancies. Many of the nation's leading experts, educationists and consultants in computer science today are the alumni of this department.
slide show

Events/ Seminar Corner

  • Prof. Arvind from the Computer Science and AI Labs of Massachusetts Institute of Technology will give a lecture on "Modular Proofs of Sequential Consistency" at 10:30 am on Aug 19, 2016 at KD 103. 
  • IIT Kanpur Computer Science Department will organize CSAW (Cyber Security Awareness Week) concurrently with the Tandon School of Engineering at New York University, and New York University at Abu-Dhabi during November 8-10, 2016. CSAW is a worldwide cyber security competition, and all Indian participants will be hosted at IIT Kanpur, and five different competitive events related to cyber-security will be held at IIT Kanpur along with NYU. All Indian institutes are welcome to partipate at this international event at IIT Kanpur. 
  • September 7,8, 2015: TCS Interaction Day Schedule of Talks
[Upcoming Seminar Calender][List of Seminars]

Recent Publications

  • Rohan Bavishi, Awanish Pandey, Subhajit Roy. To Be Precise: Regression Aware Debugging. OOPSLA 2016.
  • Deep Distance Metric Learning with Data Summarization. Wenlin Wang, Changyou Chen, Wenlin Chen, Piyush Rai, and Lawrence Carin. ECML 2016, Riva del Garda, Italy
  • J. Leeka, S. Bedathur, D. Bera, M. Atre, Quark-X: An Efficient Top-K Processing Framework for RDF Quad Stores, in 25th ACM International Conference on Information and Knowledge Management (CIKM), Indianapolis, IN, USA, 2016
  • Trading Determinism for Time in Space Bounded Computations. Vivek Anand T Kallampally and Raghunath Tewari. MFCS 2016.
  • Algebraic independence over positive characteristic: New criterion and applications to locally low algebraic rank circuits. Anurag Pandey, Nitin Saxena and Amit Sinhababu. MFCS'16
  • Integer factoring using small algebraic dependencies. Manindra Agrawal, Nitin Saxena and Shubham Sahai Srivastava. MFCS'16
  • Purushottam Kar, S. Li., H. Narasimhan, S. Chawla, and F. Sebastiani, Online Optimization Methods for the Quantification Problem, KDD 2016.
  • Keerti Choudhary, Optimal dual fault tolerant reachability oracle. ICALP 2016 [Best student paper award].
  • Y. Xian, Z. Akata, G. Sharma, Q. Nguyen, M. Hein, B. Schiele, Latent Embeddings for Zero-shot Classification, Computer Vision and Pattern Recognition (CVPR) 2016
  • B. Bhattarai, G. Sharma, F. Jurie, CP-mtML: Coupled Projection multi-task Metric Learning for Large Scale Face Retrieval, Computer Vision and Pattern Recognition (CVPR) 2016
  • K. Sikka, G. Sharma, M. Bartlett, LOMo: Latent Ordinal Model for Facial Analysis in Videos, Computer Vision and Pattern Recognition (CVPR) 2016
  • Liveness-Based Garbage Collection for Lazy Languages, Prasanna  Kumar,  Amitabha  Sanyal  & Amey  Karkare, at ACM  SIGPLAN International Symposium on Memory Management (ISMM), 2016.  
  • Medha Atre. For the DISTINCT clause of SPARQL queries, in 25th ACM International World Wide Web conference (WWW), Montreal, Canada, 2016
  • Siddharth Rai and Mainak Chaudhuri. Exploiting Dynamic Reuse Probability to Manage Shared Last-level Caches in CPU-GPU Heterogeneous Processors. ICS 2016.
  • Sven C. Muller, Hanno Georg, James Nutaro, Edmund Widl, Yi Deng, Peter Palensky, Muhammad Awais, Moustafa Chenine, Markus Kuch, Mathias Shifter, Hua Lin, Sandeep Shukla, Christian Wietfelf, Christian Rehtanz, Christian Dufour, Xiaoyu Wang, Venkata Dinavahi, Md, Omar Faruque, Wenchao Meng, Shichao Liu, Antonello Monti, Ming Ni, Ali Davoudi, Ali Mehrizi-Sani, "Interfacing Power System and ICT Simulators: Challenges, State-of-the-Art, and Case Studies", accepted for IEEE Transactions on Smart Grid. 
  • Kamlesh Tiwari and Phalguni Gupta, "Meandering Energy Potential to Locate Singular Point of Fingerprint", ICB 2016
  • Improving GPU Performance Through Resource Sharing, Vishwesh Jatala, Jayvant Anantpur & Amey Karkare, 25th Symposium on High-Performance Parallel and Distributed Computing (HPDC), 2016  
  • Shubhendu Aggarwal, Shubhadip Mitra and Arnab Bhattacharya, "SkyCover: Finding Range-Constrained Approximate Skylines with Bounded Quality Guarantees", COMAD 2016
  • Streaming algorithms for embedding and computing edit distance in the low distance regime. Diptarka Chakraborty, Elazar Goldenberg, and Michal Kouck. STOC 2016.
  • Fault Tolerant Subgraph for Single Source Reachability: Generic and Optimal. Surender Baswana, Keerti Choudhary, and Liam Roditty. STOC 2016.
  • Identity Testing for constant-width, and commutative, read-once oblivious ABPs. Rohit Gurjar, Arpita Korwar and Nitin Saxena. CCC 2016.
  • Bipartite Perfect Matching is in quasi-NC.  Stephen Fenner, Rohit Gurjar, and Thomas Thierauf. STOC 2016.
  • Resource Sharing for GPUs, Vishwesh Jatala, Jayvant Anantpur & Amey KarkareCode Generation and Optimization (CGO, Poster Track), Barcelona, Spain, 2016.
  • Program Synthesis Using Natural Language, by Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey KarkareMark Marron, Sailesh R, Subhajit Roy, at ICSE 2016
  • ParseIT: A Tool for Teaching Parsing Techniques, Amey Karkare and Nimisha Agarwal, SIGCSE 2016 (Demo Track)
  • John Narayan, Sandeep K. Shukla, and T. Charles Clancy. 2015. A Survey of Automatic Protocol Reverse Engineering Tools. ACM Comput. Surv. 48, 3, Article 40 (December 2015), 26 pages. DOI=http://dx.doi.org/10.1145/2840724
  • Surender Baswana, Shreejit Ray Chaudhury, Keerti Choudhary, Shahbaz KhanDynamic DFS Tree in Undirected Graphs: Breaking the O(m) barrier. SODA 2016.
  • Diptarka Chakraborty and Raghunath TewariAn $O(n^{epsilon})$ Space and Polynomial Time Algorithm for Reachability in Directed Layered Planar Graphs. ISAAC 2015.

Latest News