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.

1d
comment Should I continue a project someone else started?
For PhD and masters students, many academic projects are projects someone else started, at least to some degree.
1d
comment Prove a TM is decidable
What have you tried? How far have you gotten?
2d
comment Coq - formulating a result on the group of permutations
Do you know Coq?
Jan
23
comment Union of finite and non-regular language
@RickDecker: I'm watching the TV series Fargo. Very enjoyable. Maybe give that a go.
Jan
23
comment Union of finite and non-regular language
@RickDecker: Unless I first assumed that $B$ is finite and was talking about if $C$ is not regular, then $C\cup B$ is not regular.
Jan
23
comment How to work as a web developer individually?
This has nothing to do with Academia.
Jan
23
answered Union of finite and non-regular language
Jan
23
revised Union of finite and non-regular language
deleted 14 characters in body
Jan
22
comment Should I share my horrible software?
Sounds like academic software.
Jan
21
comment How to overcome my resistance to lecturing?
I used to feel the same. Now I love lecturing, but still hate making phone calls. Practice, trying to make it an enjoyable experience for all present, knowing the material, planning interaction, ....
Jan
20
answered Three-address code versus JSON, XML, etc
Jan
19
revised Lambda Calculus Notation
added 181 characters in body
Jan
19
answered Lambda Calculus Notation
Jan
19
comment Why do people hang up papers on their doors?
If you hang them on the window, they block out the light.
Jan
17
revised Where to locate authors’ names in sentences?
Put full stop in correct place in last point.
Jan
7
awarded Nice Answer
Jan
3
awarded Yearling
Jan
3
awarded Yearling
Dec
27
comment How is Turing's Solution to the Halting Problem Not Simply "Failure By Design"?
There certainly is a parallel and you are right, it doesn't take much insight to see the parallel. But there is higher-order knowledge lacking from the Turing machine example. H does not reason about J and vice versa.
Dec
27
comment How is Turing's Solution to the Halting Problem Not Simply "Failure By Design"?
There is no element of one always telling the truth and one always lying in the Halting Problem and trying to get both to give the same answer. Instead in the Halting Problem, the answers are inverted. But if it helps your understanding, then that's good.
1 2 3 4 5