Marian Ventuneac      

PhD Research Assistant, Software Engineer.
BEng in Computer Science (TUCN) 1996 - 2001
MEng in Software Engineering (UL) 2001- 2003

Previous positions:
2001 Software Engineer, Soft4Net, Cluj-Napoca, Romania (RO)
2000 - 2001 Software Developer, NIVIS, Cluj-Napoca, RO
1999 Associated Software Developer, Symbolic Inc., Cluj-Napoca, RO

Research Interests:
Formal Verification techniques, Non-Repudiation Protocols, Time-Release Protocols.

Security Frameworks, Data Security and Cryptography, Enterprise Architectures, Distributed programming,
Wireless Communication and Networks, Programming languages

Project Title:
New Verification Techniques for handling Time-Release and Non-Repudiation type Security Protocols


Tel: +353-86-1074977

Fax: +353-61-338176

  Personal Homepage: