home page

Curriculum Vitae

Name:                    Eneia Nicolae Todoran

Date of birth:      September 4, 1963

Contact information:    

Computer Science Department,

Technical University of Cluj-Napoca,

Baritiu Street, No. 28, 400027  Cluj-Napoca, Romania

Eneia.Todoran@cs.utcluj.ro

Current position:  Professor, Ph.D.

Education:

bullet

1994-2000: Ph.D. student, Computer Science Department, Technical University of Cluj-Napoca

bullet

1983-1988: Master in Computer Science, Technical University of Cluj-Napoca

Doctoral dissertation: 

Semantic techniques in concurrent systems development,  Technical University of Cluj-Napoca, October 2000 (Magna cum laude)

Teaching and professional experience

bullet

2009- : Professor, Computer Science Department, Technical University of Cluj-Napoca  (Courses: Software Engineering, Programmming Languages and Type Systems)

 

bullet

2002-2009 : Associate Professor, Computer Science Department, Technical University of Cluj-Napoca  (Courses: Software Engineering, Advanced Topics in Software Engineering)

bullet

1996-2002: Senior Lecturer, Computer Science Department, Technical University of Cluj-Napoca  (Courses: Software Engineering, Advanced Topics in Software Engineering, Programs Development Methodologies)

bullet

1992-1996: Lecturer, Computer Science Department, Technical University of Cluj-Napoca  (Practical works: Programs Development Methodologies, Parallel Algorithms, Formal Languages and Compilers, Programming Languages, Logic Programming, Functional Programming, Database systems)

bullet

1990-1992: Software analyst, Computing Centre of Cluj-Napoca

bullet

1988-1990: System engineer

Professional visits

bullet

April-June 2004: Software Engineering Laboratory (Prof. Manolis Skordalakis, Dr. Nikoalaos Papaspyrou), Department of Electrical and Computer Engineering, National Technical University of Athens (visiting researcher in a Greece-Romania bilateral research contract)

bullet

October-November 2003: Software Engineering Laboratory (Prof. Manolis Skordalakis, Dr. Nikoalaos Papaspyrou), Department of Electrical and Computer Engineering, National Technical University of Athens (visiting researcher in a Greece-Romania bilateral research contract)

bullet

October-December 1999: Parallel Computing Group (Prof. George Papakonstantinou), Department of Electrical and Computer Engineering, National Technical University of Athens (mobility grant in a Tempus Phare program)

bullet

January-February 1997: Theoretical Computer Science Department (Prof. Jaco de Bakker, Dr. Erik de Vink), Free University of Amsterdam (visiting researcher; grant offered by NUFFIC, The Hague, The Netherlands)

bullet

June-August 1995: Computer Systems Group (Prof. Henri Bal), Computer Science Department, Free University of Amsterdam (mobility grant in a Tempus Phare program)

Research interests

bullet

Programming languages:

bullet

Denotational and operational semantics

bullet

Continuation semantics for concurrency

bullet

Type systems

bullet

Global computing:

bullet

Models, semantics and logics        

bullet

Peer to Peer and Cloud programming   

bullet

Semantic models and natural computing

bullet

Membrane and DNA computing

bullet

Bio-inspired formalisms

bullet

Software engineering

bullet

Formal methods

bullet

Object oriented methods

Languages:

bullet

Romanian (mother tongue)

bullet

English (fluent)

bullet

French (slight)