scscsc
- Karma
- 698
- Created
- 16 years ago
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
Recent Submissions
- 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. ▲ Adding Interactive Visual Syntax to Textual Code (arxiv.org)