STCS TIFR

@UCzEzhE3BpRCLmlPJaEo1nag - 2.2K subscribers

Classes, seminars, colloquia etc. at the School of Technology and Computer Science in Tata Institute of Fundamental Research Note: There are many older videos from our department on the previous channel: youtube.com/channel/UCXDizsDHWkxWd71rxXcFYZw

Home Videos Live Playlists

On the Existence of Fair and Stable Data Exchanges

On the Existence of Fair and Stable Data Exchanges STCS TIFR

34 views - 19 hours ago

Some Magical Cryptographic Primitives

Some Magical Cryptographic Primitives STCS TIFR

51 views - 5 days ago

Truthful in Expectation Mechanisms for MMS Approximation

Truthful in Expectation Mechanisms for MMS Approximation STCS TIFR

52 views - 1 month ago

Recovering planted r-colorable subgraphs

Recovering planted r-colorable subgraphs STCS TIFR

85 views - 1 month ago

Reconstruction of Depth 3 Arithmetic circuits with constant top fan-in

Reconstruction of Depth 3 Arithmetic circuits with constant top fan-in STCS TIFR

53 views - 2 months ago

Automata, Verification, and Infinite Games, Lecture 28: Games on graphs, Büchi, coBüchi games,

Automata, Verification, and Infinite Games, Lecture 28: Games on graphs, Büchi, coBüchi games, STCS TIFR

56 views - 6 months ago

Ashwin Pananjady - Predicting the behavior of iterative algorithms in high dimensional, average case

Ashwin Pananjady - Predicting the behavior of iterative algorithms in high dimensional, average case STCS TIFR

128 views - 6 months ago

Gugan Thoppe - Policy Iteration and the Theory Practice Gap in Reinforcement Learning

Gugan Thoppe - Policy Iteration and the Theory Practice Gap in Reinforcement Learning STCS TIFR

92 views - 6 months ago

Pranay Sharma - Natural Policy Gradient for Average Reward Non Stationary RL

Pranay Sharma - Natural Policy Gradient for Average Reward Non Stationary RL STCS TIFR

55 views - 6 months ago

Automata, Verification, and Infinite Games, Lecture 27: Composition games

Automata, Verification, and Infinite Games, Lecture 27: Composition games STCS TIFR

31 views - 7 months ago

Automata, Verification, and Infinite Games, Lecture 26: Reactive synthesis, Church's synthesis

Automata, Verification, and Infinite Games, Lecture 26: Reactive synthesis, Church's synthesis STCS TIFR

13 views - 7 months ago

Automata, Verification, and Infinite Games, Lecture 25: PCTL model checking, weighted Markov chain,

Automata, Verification, and Infinite Games, Lecture 25: PCTL model checking, weighted Markov chain, STCS TIFR

23 views - 7 months ago

Automata, Verification, and Infinite Games, Lecture 23: Markov chains, cylinder sets, reachability

Automata, Verification, and Infinite Games, Lecture 23: Markov chains, cylinder sets, reachability STCS TIFR

15 views - 7 months ago

Automata, Verification, and Infinite Games, Lecture 24: steady-state distribution, probabilistic CTL

Automata, Verification, and Infinite Games, Lecture 24: steady-state distribution, probabilistic CTL STCS TIFR

23 views - 7 months ago

Automata, Verification, and Infinite Games, Lecture 22: Symbolic CTL model checking

Automata, Verification, and Infinite Games, Lecture 22: Symbolic CTL model checking STCS TIFR

36 views - 7 months ago

Automata, Verification, and Infinite Games, Lecture 21: Bisimulation and CTL/CTL* equivalence,

Automata, Verification, and Infinite Games, Lecture 21: Bisimulation and CTL/CTL* equivalence, STCS TIFR

27 views - 8 months ago

Automata, Verification, and Infinite Games, Lecture 20: Comparison of LTL and CTL

Automata, Verification, and Infinite Games, Lecture 20: Comparison of LTL and CTL STCS TIFR

21 views - 8 months ago

Automata, Verification, and Infinite Games, Lecture 19: Computational tree logic (CTL), CTL*

Automata, Verification, and Infinite Games, Lecture 19: Computational tree logic (CTL), CTL* STCS TIFR

24 views - 8 months ago

Automata, Verification, and Infinite Games, Lecture 16: Examples, lower bound for LTL to NBW

Automata, Verification, and Infinite Games, Lecture 16: Examples, lower bound for LTL to NBW STCS TIFR

43 views - 8 months ago

Automata, Verification, and Infinite Games, Lecture 18:Non-counting languages, Expressiveness of LTL

Automata, Verification, and Infinite Games, Lecture 18:Non-counting languages, Expressiveness of LTL STCS TIFR

41 views - 8 months ago

Automata, Verification, and Infinite Games, Lecture 17: Complexity of LTL model-checking and

Automata, Verification, and Infinite Games, Lecture 17: Complexity of LTL model-checking and STCS TIFR

37 views - 8 months ago

Automata, Verification, and Infinite Games, Lecture 15: LTL to generalised NBW

Automata, Verification, and Infinite Games, Lecture 15: LTL to generalised NBW STCS TIFR

51 views - 9 months ago

Automata, Verification, and Infinite Games, Lecture 14: LTL to Alternating Büchi automata

Automata, Verification, and Infinite Games, Lecture 14: LTL to Alternating Büchi automata STCS TIFR

39 views - 9 months ago

Automata, Verification, and Infinite Games, Lecture 13: Linear temporal logic (LTL)

Automata, Verification, and Infinite Games, Lecture 13: Linear temporal logic (LTL) STCS TIFR

43 views - 9 months ago

Instance optimality in universal prediction

Instance optimality in universal prediction STCS TIFR

101 views - 9 months ago

Automata, Verification, and Infinite Games, Lecture 12: Miyano-Hayashi (breakpoint) construction

Automata, Verification, and Infinite Games, Lecture 12: Miyano-Hayashi (breakpoint) construction STCS TIFR

39 views - 9 months ago

Automata, Verification, and Infinite Games, Lecture 11: Closure properties of alternating Büchi

Automata, Verification, and Infinite Games, Lecture 11: Closure properties of alternating Büchi STCS TIFR

43 views - 9 months ago

Automata, Verification, and Infinite Games, Lecture 10: Alternating Büchi automata

Automata, Verification, and Infinite Games, Lecture 10: Alternating Büchi automata STCS TIFR

38 views - 9 months ago

Automata, Verification, and Infinite Games, Lecture 9: Büchi's theorem (MSO and automata equivalence

Automata, Verification, and Infinite Games, Lecture 9: Büchi's theorem (MSO and automata equivalence STCS TIFR

48 views - 9 months ago

Automata, Verification, and Infinite Games, Lecture 8: Monadic second order logic with one successor

Automata, Verification, and Infinite Games, Lecture 8: Monadic second order logic with one successor STCS TIFR

35 views - 10 months ago

Automata, Verification, and Infinite Games, Lecture 7: Decision procedures for Büchi automata

Automata, Verification, and Infinite Games, Lecture 7: Decision procedures for Büchi automata STCS TIFR

54 views - 10 months ago

Automata, Verification, and Infinite Games, Lecture 6: Streett to Büchi translation

Automata, Verification, and Infinite Games, Lecture 6: Streett to Büchi translation STCS TIFR

45 views - 10 months ago

Automata, Verification, and Infinite Games, Lecture 5: CoBuchi, Rabin, Streett, Parity, Muller

Automata, Verification, and Infinite Games, Lecture 5: CoBuchi, Rabin, Streett, Parity, Muller STCS TIFR

71 views - 10 months ago

Automata, Verification, and Infinite Games, Lecture 4: Lower bound of Büchi complementation

Automata, Verification, and Infinite Games, Lecture 4: Lower bound of Büchi complementation STCS TIFR

48 views - 10 months ago

Automata, Verification, and Infinite Games, Lecture 3: Complementation of Büchi automata

Automata, Verification, and Infinite Games, Lecture 3: Complementation of Büchi automata STCS TIFR

65 views - 10 months ago

Automata, Verification, and Infinite Games, Lecture 2: Omega-regular languages, Büchi automata

Automata, Verification, and Infinite Games, Lecture 2: Omega-regular languages, Büchi automata STCS TIFR

77 views - 10 months ago

Automata, Verification, and Infinite Games, Lecture 1: Overview of formal verification and reactive

Automata, Verification, and Infinite Games, Lecture 1: Overview of formal verification and reactive STCS TIFR

378 views - 10 months ago

Byzantine distributed function computation

Byzantine distributed function computation STCS TIFR

57 views - 11 months ago

Approximation of Mixed Volumes of Convex Bodies

Approximation of Mixed Volumes of Convex Bodies STCS TIFR

42 views - 11 months ago

Suguman Bansal - Specification-Guided Reinforcement Learning

Suguman Bansal - Specification-Guided Reinforcement Learning STCS TIFR

100 views - 11 months ago

B Srivathsan - Complexity of imperfect recall games

B Srivathsan - Complexity of imperfect recall games STCS TIFR

93 views - 1 year ago

CSS.205.1 - Toolkit for TCS (2025) : Lecture 13

CSS.205.1 - Toolkit for TCS (2025) : Lecture 13 STCS TIFR

437 views - 1 year ago

CSS.205.1 - Toolkit for TCS (2025) : Lecture 11

CSS.205.1 - Toolkit for TCS (2025) : Lecture 11 STCS TIFR

85 views - 1 year ago

CSS.205.1 - Toolkit for TCS (2025) : Lecture 1

CSS.205.1 - Toolkit for TCS (2025) : Lecture 1 STCS TIFR

696 views - 1 year ago

Exponential Separation Between Powers of Regular and General Resolution Over Parities

Exponential Separation Between Powers of Regular and General Resolution Over Parities STCS TIFR

82 views - 1 year ago

New lower bounds for Polynomial Calculus over non Boolean bases

New lower bounds for Polynomial Calculus over non Boolean bases STCS TIFR

50 views - 1 year ago

Experiments with Random Hives

Experiments with Random Hives STCS TIFR

56 views - 1 year ago

Recognizing Numbers

Recognizing Numbers STCS TIFR

60 views - 1 year ago

Parameterized Analysis of Bribery in Challenge the Champ Tournaments

Parameterized Analysis of Bribery in Challenge the Champ Tournaments STCS TIFR

40 views - 1 year ago

Parameterized Analysis of Bribery in Challenge the Champ Tournaments

Parameterized Analysis of Bribery in Challenge the Champ Tournaments STCS TIFR

29 views - 1 year ago

EF1 Allocations for Identical Ternary Valuations

EF1 Allocations for Identical Ternary Valuations STCS TIFR

48 views - 1 year ago

Online Convex Optimization With Switching Cost and Delayed Gradients

Online Convex Optimization With Switching Cost and Delayed Gradients STCS TIFR

121 views - 1 year ago

Aparna Taneja - Using AI to improve maternal and child health outcomes in underserved communities

Aparna Taneja - Using AI to improve maternal and child health outcomes in underserved communities STCS TIFR

107 views - 1 year ago

Krishna S - Verification of Concurrent Programs under Weak Memory

Krishna S - Verification of Concurrent Programs under Weak Memory STCS TIFR

151 views - 1 year ago

Kavitha Telikepalli - Matchings and Popularity

Kavitha Telikepalli - Matchings and Popularity STCS TIFR

365 views - 1 year ago

Communication with Byzantine Users

Communication with Byzantine Users STCS TIFR

233 views - 2 years ago

[CSS.413.1] Pseudorandomness - Lecture 10 (Reingold's algorithm)

[CSS.413.1] Pseudorandomness - Lecture 10 (Reingold's algorithm) STCS TIFR

171 views - 2 years ago

[CSS.413.1] Pseudorandomness - Lecture 5 (linear algebra of random walks)

[CSS.413.1] Pseudorandomness - Lecture 5 (linear algebra of random walks) STCS TIFR

268 views - 2 years ago

Dynamic Pricing and Matching for Online Marketplaces

Dynamic Pricing and Matching for Online Marketplaces STCS TIFR

107 views - 2 years ago

[CSS.330.1] PCPs Lecture 09 :

[CSS.330.1] PCPs Lecture 09 : STCS TIFR

42 views - 3 years ago