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.
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! 🚀
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.
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?
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
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!
@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
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.
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.
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
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
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
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.
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).
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).