Computer scientist working on parallel programming language design, plus some formal methods and a smattering of logic in there for good measure.

19h
awarded Good Question
Apr
28
awarded Nice Answer
Apr
24
revised How does one submit an article "informally"?
added 5 characters in body
Apr
23
awarded Enlightened
Apr
23
awarded Nice Answer
Apr
21
comment Why do some authors not include summation in the $\pi$-Calculus?
@MartinBerger: Like if.
Apr
21
comment Why do some authors not include summation in the $\pi$-Calculus?
Hennessy has a match statement, which is essentially an if. This enables a choice. $P+Q$ is a purely nondeterministic choice, which is harder to reason about and justify as realistic.
Apr
21
comment How likely is it that a computer miscalculates 1+1?
It's more likely that the result would be 1 or 0 than 3, methinks.
Apr
15
awarded Good Answer
Apr
13
comment Why do we study closure properties of formal languages?
I disagree with @Raphael. The answer to this question will be very useful for students understanding the purpose of various parts of formal languages. It's not opinion based like asking what the favourite formal language operator.
Apr
11
awarded Yearling
Apr
11
awarded Yearling
Apr
8
awarded Nice Answer
Apr
6
awarded Generalist
Mar
23
comment Is it a good idea to go on an overseas holiday with a 6 month old baby?
Breastfeeding is quite good for dealing with the take-off and landing. The baby will be sucking, which helps neutralise the pressure in the ears.
Mar
23
comment Is it a good idea to go on an overseas holiday with a 6 month old baby?
Where you are starting from might be useful to know.
Mar
21
reviewed Approve suggested edit on What is the difference between halting, accepting, and deciding in the context of Turing machines?
Mar
21
comment Pizza commercial claim of 34 million combinations
Maybe they are better at making pizza than math.
Mar
21
comment How to write a closed term with this type?
$X+Y$ is in the result type. Why put it into the context?
Mar
10
awarded Popular Question
1 2 3 4 5