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

Aug
26
comment My son did badly in his AS levels because he didn't work
I have no idea about the American system and the UK system. Your question talks a lot about university and then says that the parents do not want to send their son to college. Does that mean they don't want to send their son to university, or is there something in between high school and university called college?
Aug
26
comment My son did badly in his AS levels because he didn't work
This seems very country specific and hard to decipher. What is an AS level? Is there a difference between college and university?
Aug
24
comment How to stop 1-yr old from kicking us while sleeping
We implement the 90-5-5 Rule. Baby (who is 3 in our case) takes up 90% of the bed (the middle), and we take 5% each (edges). This reduces the chances of kicking.
Aug
23
comment Potty Training a 2 year old boy
Certainly, start, if that's the question, but let him go at his own pace.
Aug
22
reviewed Approve suggested edit on What advice do you have for writing a good paper which can be accepted?
Aug
21
comment Schedule two trains whose tracks overlap so they don't crash
@Raphael: No trains is also safe.
Aug
20
awarded Teacher
Aug
20
answered Natural isomorphism of a monoidal category
Aug
19
answered Which format should I use to submit a paper for review?
Aug
19
comment How to address Phd dissertation committee members in email?
1 looks fine to me, though I'd capitalise Members too.
Aug
18
awarded Nice Answer
Aug
18
answered Why is the star property important
Aug
18
reviewed Approve suggested edit on Why is the star property important
Aug
16
awarded Yearling
Aug
16
awarded Yearling
Aug
13
awarded Nice Answer
Aug
12
answered Research assistant wishes to remain anonymous, what to write in the acknowledgement?
Aug
11
comment Book reference: Programming Languages are for humans
I find the question very odd. You state something which can hardly be true, refuse to discuss (though of course StackExchange is not a discussion forum) and then ask for a reference. Machine language, assembly language, and C, for instance, were designed trading-off between the human and the machine. In the first case, in favour of the machine, in the latter case more in favour of the programmer. Choices were made to favour the machine to allow writing efficient programs. More modern languages favour humans, but you can hardly say that all languages were designed for humans and humans alone.
Aug
11
awarded Constituent
Aug
7
revised What should I do to help my child break a bad habit?
added 84 characters in body
1 2 3 4 5