Ştefan CIOBÂCĂ

PhD Student


New affiliation

I have defended my PhD Thesis on December 9th, 2011.

I am now a research assistant at the Faculty of Computer Science, University Alexandru Ioan Cuza in Iasi, Romania.

My new webpage can be found here.


Teaching

Programmation 1.2 (ws 2008/2009)

Algo Avancee (ss 2009)

Tree Automata and Applications (ws 2009/2010)

Programmation 1.2 (ws 2009/2010)

Tree Automata and Applications (ws 2010/2011)

Logic and Computability (ws 2010/2011)

KISS

KISS is a tool for deciding deduction and static equivalence under certain convergent term rewriting systems.

SubVariant

SubVariant is a tool for computing finite, complete sets of variants for subterm convergent equational theories. The tool can also compute complete sets of unifiers for the same set of equational theories.

AKiSs

AKiSs is a tool for automatically checking trace equivalence for a bounded number of sessions in cryptographic protocols.

Links

Some links I find interesting

Name

How to write (and pronounce) my name

About LSV

Contact

Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-103
Phone
+33 (0)1 47 40 75 65
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
ciobaca+spam@lsv.ens-cachan.fr