| user: | scscsc |
| created: | June 13, 2009 |
| karma: | 698 |
| about: | 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 |
| 1. | Revisiting an early critique of formal verification(lawrencecpaulson.github.io) |
| 2. | Whole Earth Index(wholeearth.info) |
| 3. | Pedagogical Downsides of Haskell(ciobaca.substack.com) |
| 4. | Program Proofs (Book)(program-proofs.com) |
| 5. |