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


e-mail: Marian.Ventuneac@ul.ie

Tel: +353-86-1074977

Fax: +353-61-338176


  Personal Homepage: http://www.geocities.com/vmarian/