6th CSA Undergraduate Summer School 2018
34 videos • 1,844 views • by CSAChannel IISc
https://events.csa.iisc.ac.in/summers...
1
Day 1 - Blockchains and Mechanism Design - Shivika Narang
CSAChannel IISc
Download
2
Day 2 - Does your code do what you think it does? Ask Dafny - Prof. Viraj Kumar
CSAChannel IISc
Download
3
Day 1 - Alloy - A Tool for Relational Modelling - Stanly Samuel
CSAChannel IISc
Download
4
Day 1 - Hats off to Theoretical Computer Science - Janaky Murthy
CSAChannel IISc
Download
5
Day 2 - Building Knowledgeable Machines - Prof. Partha Pratim Talukdar
CSAChannel IISc
Download
6
Day 2 - Math behind Symmetries - Ashwin Guha
CSAChannel IISc
Download
7
Day 3 - CSA Ideas Competition Presentations - G Sahi Darsini
CSAChannel IISc
Download
8
Day 3 - Qubits and gates: The building blocks of quantum computing - Prof. Subroto Mukerjee
CSAChannel IISc
Download
9
Day 1 - Games on Networks - Dr. Ramasuri Narayanam
CSAChannel IISc
Download
10
Day 3 - Taking the Red Pill and Going Down the Rabbit Hole of Deep Learning - Rajarshi Banerjee
CSAChannel IISc
Download
11
Day 3 - Quantum Computation - I - Linear Algebra - Shubham Gupta
CSAChannel IISc
Download
12
Day 3 - Big Data, Small Testing? - Prof. Jayant Haritsa
CSAChannel IISc
Download
13
Day 4 - Computational cognitive neuroscience - Prof. Sridharan Devarajan
CSAChannel IISc
Download
14
Day 4 - Student Presentation 3
CSAChannel IISc
Download
15
Day 4 - Student Presentation 2
CSAChannel IISc
Download
16
Day 4 - Student Presentation 4
CSAChannel IISc
Download
17
Day 1 - Fun and Opportunities in Doing Research in Computer Systems - Prof. Arkaprava Basu
CSAChannel IISc
Download
18
Day 3 - Let's tame the Bandits! - Aadirupa Saha
CSAChannel IISc
Download
19
Day 4 - Student Presentation 5
CSAChannel IISc
Download
20
Day 3 - CSA Ideas Competition Presentations - Sidhesh Salekar
CSAChannel IISc
Download
21
Day 4 - Student Presentation 1
CSAChannel IISc
Download
22
Day 2 - RL.init() - Anirban Biswas
CSAChannel IISc
Download
23
Day 4 - Quantum Computation - II - Shubham Gupta
CSAChannel IISc
Download
24
Day 5 - Under the hood - Ajinkya Rajput
CSAChannel IISc
Download
25
Day 5 - New Technologies are Changing Our Lives - How do we response? - Prof. N Viswanadham
CSAChannel IISc
Download
26
Day 5 - Discovering the joy of creating software that quietly runs the world - Dr. S. Bhattacharya
CSAChannel IISc
Download
27
Day 5 - AI and Startups - Tushar Shinde
CSAChannel IISc
Download
28
Day 5 - Automating Mathematics: PolyMath, Type Theory and Learning - Prof. Siddhartha Gadgil
CSAChannel IISc
Download
29
Day 5 - Inclusive Design: Designing for the next billion - Prof. Manohar Swaminathan
CSAChannel IISc
Download
30
Day 4 - Scalable Big Data - Nilesh Agrawal
CSAChannel IISc
Download
31
Day 4 - Bitwise Wise - Mr. NS Kumar
CSAChannel IISc
Download
32
Day 4 - Abstract Interpretation - Program Analysis and Verification - Prof. KV Raghavan
CSAChannel IISc
Download
33
Day 3 - Be Not Ashamed of the Pimple - Flaunt It! - Ullas Aparanji
CSAChannel IISc
Download
34
Games of Networks: Modeling Algorithams Computational Analysis Applications By Ramasuri Narayanam
CSAChannel IISc
Download