Computer scientist working on programming language design, formal methods for software product line engineering and security, with a smattering of logic and coordination in there for good measure.

16h
revised Does any one know what this problem is called?
added 9 characters in body; edited title
1d
awarded Good Answer
2d
comment Why are types and grammar non-terminals so distinct?
One short answer: types is about semantics, grammar non-terminals is about syntax.
Nov
19
comment To what extent can I use the concept of "God" in a meteorology lecture without offending anyone?
You could talk about the gods (such as the Greek ones), perhaps in a tongue-in-cheek fashion. No one would be offended then.
Nov
19
awarded Good Answer
Nov
18
comment Advances in the program verification?
One notable advance since the 80s: Separation Logic.
Nov
18
comment Why is $L_1-L_2$ regular for any two regular $L_1,L_2$?
Please write your question properly. Many letters are missing from your words.
Nov
18
comment Impact of Grothendieck's program on TCS
@NikolajK There is no real formal meaning to my use of $\subseteq$ over $\in$ -- Chapter 11 of the book addresses Higher-order Dependent Type Theory, for instance.
Nov
17
comment Is it unethical to ask for homework help on StackExchange?
@anorton: One would imagine, as with most laws, that a notion of reasonableness comes in. You'd have to look at our university regulations to find the precise formulation of the guidelines.
Nov
17
awarded Nice Answer
Nov
16
comment Is it unethical to ask for homework help on StackExchange?
You sound just like our students. When in doubt, point "it" out.
Nov
16
comment Impact of Grothendieck's program on TCS
Are these applications in theoretical computer science? It all sounds like mathematics to me – or probably that other bit of TCS.
Nov
16
comment Is it unethical to ask for homework help on StackExchange?
From my answer, if you did ask whether this were true, you should cite the corresponding stack exchange question to avoid the risk of being accused of plagiarism.
Nov
16
answered Is it unethical to ask for homework help on StackExchange?
Nov
16
revised In the context of a review of an academic paper, what does "technical accuracy" mean?
added 7 characters in body
Nov
16
comment In the context of a review of an academic paper, what does "technical accuracy" mean?
@PeteL.Clark: That too. Now fixed.
Nov
16
revised In the context of a review of an academic paper, what does "technical accuracy" mean?
added 12 characters in body
Nov
16
answered In the context of a review of an academic paper, what does "technical accuracy" mean?
Nov
16
revised Impact of Grothendieck's program on TCS
added 64 characters in body
Nov
16
answered Impact of Grothendieck's program on TCS
1 2 3 4 5