Stanly Samuel

Principal Engineer - Research (Formal Methods) @ Collins Aerospace.
PhD graduate - CSA, @iiscbangalore

[Stanly Samuel @StanlyJSamuel]

Last month, I successfully defended my PhD dissertation at the Department of Computer Science and Automation, @iiscbangalore ! My thesis was in the niche domain of "Infinite-State Reactive Synthesis", a sub-sub-sub-field of Computer Science.

[IISc Bangalore @iiscbangalore]

IISc turns 117!

The official Vesting Order was published this day in 1909, and the institute was formally established.

[Stanly Samuel @StanlyJSamuel]

Time to "save airplanes using math"!✈️😉

I’m happy to share that I have started a new position as Principal Engineer - Research (Formal Methods) in the Automated Reasoning group at Collins Aerospace! 🚀

[Stanly Samuel @StanlyJSamuel]

@AdiSeredinschi @iiscbangalore Thank you Adi!

[Stanly Samuel @StanlyJSamuel]

Last month, I successfully defended my PhD dissertation at the Department of Computer Science and Automation, @iiscbangalore ! My thesis was in the niche domain of "Infinite-State Reactive Synthesis", a sub-sub-sub-field of Computer Science.

[Stanly Samuel @StanlyJSamuel]

Bill Gates (1996) on the internet (web 1, and web 2). Sounds eerily similar to what the current sentiment on web3 (decentralised internet, possibly enabled through blockchains) is. Thoughts?

[zarinjo @zarinjo]

Built with Malachite, our new implementation of Tendermint in Rust. We are super excited about the collaboration with @varunsrin and the amazing team at @farcaster_xyz. We are open sourcing Malachite soon, stay tuned. Decentralise whatever with Malachite! https://t.co/iZh6Y5LTPj

[Indranil Gupta @indygupta]

Today’s outage could’ve been detected & avoided if #CrowdStrike had prepared for Cross System Integration (CSI) failures! W/ @tianyin_xu we wrote the 1st CSI paper in 2023!
Industry - please read more academic papers! Believe it or not, we actually work on things you care about!

[Stanly Samuel @StanlyJSamuel]

@informalinc I'm very thankful to Shonali Kagal, Tetiana Tanina, the interviewing team for the smooth onboarding process, and Zarko Milosevic @zarinjo for a stimulating first month onboarding me onto Cosmos!
@shonalikagal

[Stanly Samuel @StanlyJSamuel]

I’m stoked to announce that I’ve started a new full-time position as a Senior Software Engineer in the Security Audits team at Informal (@informalinc)! My work focuses on guaranteeing security and correctness in the Cosmos Blockchain ecosystem.

[Stanly Samuel @StanlyJSamuel]

Turing Award Speaker Series:
https://t.co/Bt3r24vb25

Series of interesting talks by eminent researchers.

[PMO India @PMOIndia]

Highlights from the Christmas programme at PM @narendramodi's residence...

[Stanly Samuel @StanlyJSamuel]

People who are genuinely driven by some vision are rare. Most of the time, people do something because of:
1. Pressure from society to conform to certain norms,
2. No high-risk appetite.

Nothing wrong with the above, but I don't see vision here; a vision surpasses these points.

[Sam Altman @sama]

Authentic, high-conviction vision is rare and valuable. Double down when you find it or find people who have it.

[Stanly Samuel @StanlyJSamuel]

Presented my work on Logical LTL Games (Infinite State Reactive Synthesis) at the Research Highlights in Programming Languages @ FSTTCS 2023, based on our ASE 2023 paper: Symbolic Fixpoint Algorithms for Logical LTL Games.

arXiv: https://t.co/K4961T8XDf

[Stanly Samuel @StanlyJSamuel]

Writing a program is not just “coding,” it becomes an act of proving a theorem.

The equivalence between programming and theorem proving, types and propositions - The Curry-Howard Isomorphism.

https://t.co/ZIW7J5M4EC

[Overleaf @overleaf]

Creating tables with Overleaf has never been easier! Our newest feature helps you create/edit tables in your project without writing code — you can also copy and paste tables and formatted text directly into Visual Editor, without losing the formatting! https://t.co/C4digQSRGv

[Stanly Samuel @StanlyJSamuel]

An afternoon with Padma Shri Prof. H.C. Verma at @iiscbangalore.

@hcvbharat

[Stanly Samuel @StanlyJSamuel]

Very excited and relieved to take this work to the first stage of completion. Seems like a good road ahead. Thanks to my PhD advisors, Prof. Deepak and Prof. Raghavan for their valuable guidance.

[Stanly Samuel @StanlyJSamuel]

I'm glad to inform that one of the major works during my PhD has been accepted as a research paper in a top tier (A*) conference: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE2023).

[Stanly Samuel @StanlyJSamuel]

The conference proceedings can be found here: https://t.co/2xscdGbkgs

An extended version of the paper can be found here: https://t.co/K4961T8pNH (this is intentionally titled differently).