Settings

Theme

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. 1. Revisiting an early critique of formal verification (lawrencecpaulson.github.io)
  2. 2. Whole Earth Index (wholeearth.info)
  3. 3. Pedagogical Downsides of Haskell (ciobaca.substack.com)
  4. 4. Program Proofs (Book) (program-proofs.com)
  5. 5. Adding Interactive Visual Syntax to Textual Code (arxiv.org)

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection