I'm a software engineer, currently at Cyient, Inc. as a lead developer on the CertSAFE suite of safety-critical software modeling and verification tools. I'm interested in programming language theory and mathematical logic.
(Disclaimer: The opinions expressed here are my own and not those of Cyient, Inc.)
Member for 2 years, 10 months
1 profile view
Last seen Jan 13 at 3:44
- Computer Science 1.8k 1.8k 88 silver badges1616 bronze badges
- Stack Overflow 862 862 77 silver badges1818 bronze badges
- Mathematics 305 305 11 silver badge99 bronze badges
- Role-playing Games 265 265 33 silver badges77 bronze badges
- Earth Science 263 263 33 silver badges88 bronze badges
- View network profile →
Top network posts
- 58 Why do we need full-fledged workstations running massive OSes with massive software?
- 16 How do the known abrupt climate change events fit into the xkcd Earth temperature timeline?
- 16 What is the preferred way to compare two Java Strings lexicographically on *Unicode code points*?
- 12 When did a paramedic lift Mjölnir?
- 11 Find all *vertices* on all simple paths between two vertices in an undirected graph
- 11 What happens for factoring algorithms if P=NP?
- 9 How do Haskell compilers implement the parse-error(t) rule in practice?
- View more network posts →