Former Member

Dr. Mircea Marin

< back
Research Scientist Symbolic Computation

Short Curriculum Vitae

  • born on October 9, 1967, in Sinpetru German, Romania; single
  • 1992: Diploma in Computer Science: West University of Timisoara, Romania
  • 2000:Doctorate in Technical Sciences: Linz
Former and Current Positions:
  • 1993/00: member of the teaching staff at the Department of Theoretical Computer Science, West University of Timisoara, Romania
  • 2000/02: JSPS postdoc, University of Tsukuba, Japan
  • 2002/03: visiting researcher, University of Tsukuba, Japan
  • Since March 2003: Research Scientist in the group "Symbolic Computation" at the RICAM

Research Interests

  • functional logic programming (narrowing calculi), distributed constraint solving, rule-based programming, computing with sequence variables