J-GLOBAL ID:200901063678116076   Update date: May. 25, 2011

MARIN Mircea

マリン ミルチア | MARIN Mircea
Affiliation and department:
Job title: Assistant Professor
Homepage URL  (1): http://www.score.cs.tsukuba.ac.jp/~mmarin
Research field  (2): Fundamental theory of informatics ,  Intelligent informatics
Research keywords  (5): Theorem proving ,  rule-based programming ,  functional logic programming ,  pattern matching ,  tree automata
Research theme for competitive and other funds  (1):
  • 2005 - rule-based programming
MISC (59):
Professional career (2):
  • Master of Science (University of Timisoara)
  • Doctor of Technical Sciences (RISC-Linz Institute, Johannes Kepler University)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page