Research Interests
- Mathematical Knowledge Management
- Automated Theorem Proving, in particular
Theorema
- Foundations of Mathematics
- Critical Pair Completion Algorithms
Teaching Experience
- Teaching assistant, Computer Science
- October 2002 - February 2003, Laboratories of Computer Architecture
- October 2002 - February 2003, Seminars of Mathematical Foundations of Computer Science
- Instructor, Computer Science, Laboratories for
distance learning (postgraduates)
- October 2000 - August 2002, Advanced Programming Methods
- October 2000 - August 2002, Algorithms and Programming
- October 2000 - August 2002, Computer Architecture
- October 2000 - August 2002, Operating systems
Education
- October 2003 - March 2009, PhD Studies, Johannes Kepler University, Linz, Austria
- October 2002 - July 2003,
MsC in Computer Science,"Inteligent Systems",
Babes Bolyai University, Cluj,Romania
-
February - June 2003
Erasmus Exchange Student,
Johannes Kepler University, Austria
- October 1998 - July 2002, BsC in Computer Science,
Babes Bolyai University, Cluj, Romania.
- September 1994 - July 1998, "Tiberiu Popoviciu" Highschool , Cluj-Napoca, Romania
- July 1998 Computer Assistant Analyst and Programmer Certificate
Selected Talks & Publications
The Statusquo of MKM. Current Trends in Knowledge Buildup and Retrieval.
Camelia Rosenkranz,
Technical report no. 07-13 in RISC Report Series, University of Linz, Austria. September 2007.
[ps]
[bib]
Grants
- September 2004 - present,
- SFB1302, FWF Young Researcher,
- RISC, Johannes Kepler University, Austria
- September 2003 - September 2004
- Calculemus European Project, Calculemus Young Researcher,
- RISC, Johannes Kepler University, Austria
- February 2003 - July 2003
- Socrates Exchange Student Scholarship,
- Johannes Kepler University, Austria
- October 1998 - July 2003
- Student Scholarship, BsC and MsC Level,
- Babes-Bolyai University, Romania
- October 1996 - June 1998,
- Scholarship for Mathematically Gifted Highschool Teens,
- lectures by proffesors from Babes-Bolyai University and Technical University Cluj,
- sponsored by CRD S.R.L.
Service
- 2008 Workshop Organisation: ApCoA 2008
Member of the local organisation team
- 2007 Conference Organisation: CoCoA School
Local Organiser
- 2006 Webpage Development:
GBImplementations (RISC)
A prototype for comparing different implementations of the Gröbner Basis Algorithm and its extensions
- 2003-2004 Conference Organisation: AISC2004
Member of the publicity team (poster, webpage, mails)
- Maintainance of Red Hat Linux web server
Professional Experience (non-academic)
- Employment
- Infoworld, Cluj, Romania
- September 2002 - January 2003,
internship, Java Programming
under the supervision of Dr. Ioan Lazar and Dr. A. Vancea.
(working in a team implementing the
DICOM standard)
- Babes Bolyai University, Cluj, Romania
- September 2000 - February 2003,
Communication Center,
Sysadmin on a voluntary basis under the supervision of Prof.Dr. F.M. Boian
- June 2001 - October 2001,"Centrul de Orientare Profesionala",
Web Programming & Design
- Programming & Design Skills
- Programming Languages :
Java, Mathematica, C++, Lisp, Prolog, JSP, PHP
- Operating Systems(installing, maintaining, using) :
Unix-like (Redhat, Suse, Debian), Windows (XP, NT), MacOS
- Graphical & Web Tools :
Adobe Photoshop, Gimp, Macromedia Dreamweaver, Allaire Homesite
Languages
- Romanian - native
- English - fluent
- German - fluent
- Italian - very good
- French - good
- Spanish - beginner