Curriculum Vitae

Mircea MARIN

Personal Data

Full Name: Mircea MARIN
Academic Degree: Ph.D. (Dipl.-Ing. Dr. tech.)
Birth Place: October 9, 1967 (Sînpetru German, Romania)
Homepage: http://www.score.cs.tsukuba.ac.jp/~mmarin
Homepage of lab: http://www.score.cs.tsukuba.ac.jp
Citizenship: Romania
Languages: English (fluent), German (good), Romanian (native speaker).

Education

• PhD Thesis: Functional Logic Programming with Distributed Constraint Solving.
  Johannes Kepler University Linz, Austria. Advisors: Bruno Buchberger and Tetsuo Ida.

PhD Student of Technical Sciences (October 1995-May 2000)

Research Institute for Symbolic Computation (RISC-Linz), Johannes Kepler University, Linz, Austria.

MSc. in Computer Science (June 1992)

• Master Thesis: Pyramidal Structures and Text Recognition.
  University of Timişoara, Romania. Advisor: Radu Fantaziu.

Student in Computer Science (September 1987-June 1992)

University of Timişoara, Romania.

Industrial High School, Ineu, Romania.

Professional experience

Employment

• Assistant Professor (Since October 2004)
  Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba, Japan.
• Research Scientist (March 2003-September 2004)
  Symbolic Computation group, Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences. Linz, Austria.
• Visiting Researcher (May 2002-February 2003)
  University of Tsukuba, Japan.
• JSPS Postdoc Fellow (June 2000-May 2002)
  Symbolic Computation Research Group (SCORE), Institute of Information Sciences and Electronics, University of Tsukuba.
• Instructor (September 1993-August 1995)
  Department of Computer Science, Faculty of Mathematics, University of Timişoara, Romania.
• Analyst Programmer (July 1992-August 1993)
  Postal Computing Office, Arad, Romania.
  

Lecturing 

• September 1993-August 1995: Instructor, University of Timişoara, Romania. I was preparing seminars and lab works for courses of Artificial Intelligence, Functional Programming, and Logic Programming.
• Since October 2004: Assistant professor, University of Tsukuba.
  
  • Undergraduate lectures: English in Technologies II (L303232), Mathematics for Computer Science (GB13604, former L303604) 
  • Graduate lectures: Advanced Topics in Symbolic Computation (01CH204E)
    

Professional activities

• PC chair: 22^nd International Workshop on Unification (UNIF 2008), Linz, Austria
• PC member: PPDP 2004, RTA 2005, SYNASC’99–SYNASC’08, WFLP 2006-2008. 
• Local organizer of First Austria-Japan Workshop on Symbolic Computation and Software Verification, July 2007, Linz, Austria.
• Local organizer of Third Asian Symposium on Programming Languages and Systems (APLAS 2005), Tsukuba, Japan.

Project experience

• NESS (September 1993-August 1995): expert system for solving systems of differential equations by numerical methods. Developed at University of Timişoara, Romania.
• Stereovideometry and Spatial Object Recognition (September 1995-August 1996): In the frame of the Austrian Research Program Theory and Applications of Digital Image Processing and Pattern Recognition. Developed at institute RISC-Linz, Austria.
• High Performance Generic Programming (September 1996-February 1998): generic compilation system based on a higher-order functor language that can be retargeted to multiple core languages. Developed at institute RISC-Linz, Austria and sponsored by Austrian Science Foundation (FWF grant P11414-ÖTE).
• Theorema (1996-2000): system that supports the cycling activities of working mathematicians: proving, solving, and computing. Developed at institute RISC-Linz.
• Distributed Constraint Solving for Functional Logic Programming (August 1997-February 1999): development of a distributed software system consisting of a functional logic language interpreter and constraint solving engines. Developed at institute RISC-Linz and University of Tsukuba.
• Open CFLP: Theory and Practice (June 2000-May 2002): development of a computational model for distributed constraint solving in open environments. Developed at University of Tsukuba. Supported by JSPS Postdoc Fellowship for Foreign Researchers.

• Rule-based Programming: Design and Applications. (April 2005-March 2007). Supported by JSPS Grant-in-Aid for Young Researchers.
  

Grants and fellowships

• June 2008-May 2011. JSPS Grant-in-Aid for Scientific Research (C). Project no. 20500025: Applications of Rule-Based Programming to verification and transformation of XML.
  
• April 2005-March 2007. JSPS Grant-in-Aid for Young Researchers (B). Project no. 17700025: Rule-based Programming: Design and Applications.
  
• June 2000-May 2002. JSPS Postdoc Fellowship for Foreign Researchers. Project Open CFLP: Theory and Practice hosted by University of Tsukuba. Goal: development of a computational model for distributed constraint solving in open environments.
  

Research interests

• Theorem proving and automated deduction. In particular, I am interested in geometric theorem proving based on symbolic computation techniques, such as Groebner bases and cylindric algebraic decomposition. 
• Computational models for functional logic programming and distributed constraint solving.

List of publications

• All years