535 reputation
2813
bio website cs.nuim.ie/~nmurphy
location Madrid, Spain
age 30
visits member for 3 years, 8 months
seen Aug 17 '13 at 11:28

Postdoc. Interested in TCS, natural computing, synthetic biology.


Oct
10
awarded  Great Question
Feb
6
awarded  Taxonomist
Jul
29
awarded  Yearling
May
8
awarded  Famous Question
Feb
28
comment How can I find out what is causing my gnome-panel to freeze?
I stopped using gnome-panel altogether soon after so no, I don't have that issue any more. I think I remember it still happened even with only the clock applet running. I never got a good stack trace for the panel out of GDB either.
Feb
28
comment How can I find out what is causing my gnome-panel to freeze?
Yes, I never learned how to find out what was wrong. And now gnome-panel is not supported by Ubuntu so this question is irrelevant.
Dec
21
awarded  Nice Answer
Sep
8
awarded  Notable Question
Jul
30
awarded  Yearling
May
22
awarded  Good Answer
May
14
awarded  Critic
May
10
awarded  Favorite Question
May
9
answered Deeper Unity search indexing
Apr
12
awarded  Nice Answer
Jan
14
awarded  Popular Question
Oct
26
awarded  Good Question
Oct
22
awarded  Nice Answer
Aug
8
answered Rhythmbox keeps changing track to a different album
Aug
7
awarded  Supporter
Aug
7
awarded  Nice Answer