Stack Exchange

C.E.Sally

Age: 25

under-educated CS student at the National University of Singapore tries to dick around with Prolog, Haskell and a bit of Coq.

top accounts reputation activity favorites subscriptions

Top Questions

Original Hoare Logic termination paper

reference-request lo.logic pl.programming-languages program-verification program-logic asked Oct 7 '12 at 8:57

cstheory.stackexchange.com

If I publish under a pseudonym, can I still take credit for my work?

publishing publications authorship asked Mar 14 at 11:57

academia.stackexchange.com

Step-indexing: Where to begin?

reference-request pl.programming-languages program-verification formal-methods operational-semantics asked Mar 21 at 11:05

cstheory.stackexchange.com

Top Answers

No answers with score of 5 or more