Hacker News new | ask | show | jobs
user: scscsc
created: 2009-06-13
karma: 698

I'm a lecturer in Computer Science at the "Al. I. Cuza" University in Iasi, Romania. I've received my PhD from ENS Cachan, France.

ciobaca.ro profs.info.uaic.ro/~stefan.ciobaca

In my spare time, I've developed NoThree - a puzzle game for Android.

https://play.google.com/store/apps/details?id=com.ovaludi.nothree.android

submissions:

Revisiting an early critique of formal verification
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Whole Earth Index
3 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Pedagogical Downsides of Haskell
74 points | 110 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Program Proofs (Book)
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Adding Interactive Visual Syntax to Textual Code
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments