Invidious
Stanly Samuel
Subscribe | 143
 RSS

Researcher and Engineer
Formal Methods | Distributed Systems | Blockchain Security

PhD, CSA, IISc Bangalore.
Security @ Informal Systems Inc.

Former Visiting Researcher, Max Planck Institute for Software Systems, Germany
Former RnD Engineer, Veridise Inc.
Cisco Ph.D. fellow 2020 @CSA, IISc

View channel on YouTube
Switch Invidious Instance
Videos
Shorts
Playlists
Posts
newest
oldest
popular

1:00:52

My last day in IISc - Becoming a doctor | PhD Defense | 26 June 2025 | CSA | IISc.

Stanly Samuel

Shared 6 months ago

329 views

49:30

Let's Code Music! Understanding Programming Language Design through Music | CSA Open Day 2023, IISc.

Stanly Samuel

Shared 1 year ago

267 views

1:15:07

Introduction to Proof Techniques - Part 1 | GATE rankers| @CSA 2023 | IISc Bangalore | Stanly Samuel

Stanly Samuel

Shared 2 years ago

907 views

5:51

Choti Si Asha Instrumental + Jam with @nihalazadmusic | AR Rahman | IISc Bangalore Hostel View

Stanly Samuel

Shared 2 years ago

459 views

4:57

GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces

Stanly Samuel

Shared 4 years ago

230 views

5:47

Resilient Abstraction-Based Controller Design and RESCOT.

Stanly Samuel

Shared 5 years ago

456 views