Ştefan CIOBÂCĂ
PhD Student
I have defended my PhD Thesis on December 9th,
2011.
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