Dorel Lucanu
Professor, PhD, Department Director
- Computer Science
- Formal methods, programming languages, software engineering,
logics, rewriting, P systems, semantic web.
- Object Oriented Programming (Undergraduate, 1st year)
- Design and Analysis of Algorithms (Computer Science, 3rd year)
- Specification and Verification of the Systems (Master of Software Engineering, 2nd year)
- Software Systems Quality (Master of Software Engineering, 2nd year)
- Specification and Verification of the Distributed Systems (Master of Distributed Systems, 2nd year)
Contact information
- C507
- dlucanu at DO_NOT_SPAM . infoiasi . ro
- http://www.infoiasi.ro/~dlucanu
See the
timetable.