Talks
- FSTTCS 2019 IIT Gandhinagar
- FSTTCS 2022 Virtual
- Pseudoranmness Workshop IISc.
- Bruno’s Seminar at University of Lisbon.
- STCS Day
Slides
- Synopsis Seminar.
- Thesis defence.
- FSTTCS IIT Gandhinagar.
- Qualifier presentation TIFR Mumbai.
- STCS day
:doodle {
@grid: 50x50 / 100vw 100vh;
position: fixed;
top: 0;
left: 0;
z-index: -1;
}
@random(0.1) {
:after {
content: '@pick(∀, ∃, ¬, ∧, ∨, →, ↔, ∴, ∵, ∈, ∉, ⊂, ⊃, ⊆, ⊇, ⊕, ⊗, λ, ∑, ∫, ∂, ∇, ∞, ℵ₀, ℝ, ℤ, ℕ, ℚ, ℂ, ⊢, ⊨, ⊥, ⊤, ⊣, ⊩, ⊬, ⊭, ⊻, ⊼, ⊽, ⊠, ⊡, ⊞, ⊟, ⊠, ⊡, ⊤, ⊥, ⊦, ⊧, ⊨, ⊩, ⊪, ⊫, ⊬, ⊭, ⊮, ⊯, ⊰, ⊱, ⊲, ⊳, ⊴, ⊵, ⊶, ⊷, ⊸, ⊹, ⊺, ⊻, ⊼, ⊽, ⊾, ⊿, ⋀, ⋁, ⋂, ⋃, ⋄, ⋅, ⋆, ⋇, ⋈, ⋉, ⋊, ⋋, ⋌, ⋍, ⋎, ⋏, ⋐, ⋑, ⋒, ⋓, ⋔, ⋕, ⋖, ⋗, ⋘, ⋙, ⋚, ⋛, ⋜, ⋝, ⋞, ⋟, ⋠, ⋡, ⋢, ⋣, ⋤, ⋥, ⋦, ⋧, ⋨, ⋩, ⋪, ⋫, ⋬, ⋭, ⋮, ⋯, ⋰, ⋱, ⋲, ⋳, ⋴, ⋵, ⋶, ⋷, ⋸, ⋹, ⋺, ⋻, ⋼, ⋽, ⋾, ⋿, {}, (), [], <>, =>, ->, <-, <=>, <->, &&, ||, !, ^, |, &, ~, %, ++, --, :=, ==, !=, <=, >=, ===, !==, //, /*, */, /**, **/, ::, ::=, :=, λx, λy, λz, ⟶, ⟵, ⟷, ⟹, ⟺, ⟼, ⟾, ⟿, ⤀, ⤁, ⤂, ⤃, ⤄, ⤅, ⤆, ⤇, ⤈, ⤉, ⤊, ⤋, ⤌, ⤍, ⤎, ⤏, ⤐, ⤑, ⤒, ⤓, ⤔, ⤕, ⤖, ⤗, ⤘, ⤙, ⤚, ⤛, ⤜, ⤝, ⤞, ⤟, ⤠, ⤡, ⤢, ⤣, ⤤, ⤥, ⤦, ⤧, ⤨, ⤩, ⤪, ⤫, ⤬, ⤭, ⤮, ⤯, ⤰, ⤱, ⤲, ⤳, ⤴, ⤵, ⤶, ⤷, ⤸, ⤹, ⤺, ⤻, ⤼, ⤽, ⤾, ⤿, o-o, o--o, o->o, o<->o, ├─, ┬, ┴, │)';
font-size: @rand(1.5, 3)rem;
color: hsla(@rand(360), 70%, 70%, @rand(0.2, 0.4));
}
}