Dorel Lucanu
Professor
|
| Scientific Interests |
|---|
- Formal methods, programming languages, software engineering, logics, rewriting, P systems, semantic web.
| Professional Activities |
|---|
- PC member of SYNASC 2005, SYNASC 2006, WLFM 2005, CITTI 2000, WDS 1999
-
- CNCSIS expert
- Vice-dean of the Faculty of Computer Science (2000 - present)
- Director of the Master Programme in Software Engineering
| Projects and Systems |
|---|
- AMASS (FP6 project)
- ForMol (CEEX project)
- Specification and verification of coordinated components (CNCSIS project)
- CiRC UAIC (Romania) project site UIUC (USA) project site
- Rewriting P Systems in Maude
- Maude2SMV
- Maude framework for objects and classes
- BOBJ2SMV
- Proverb
| Recent publications |
|---|
- Specification and verification
- Formal methods in semantic web
- Rewriting-based semantics of membrane systems
- Semantics
- Talks
| PhD Supervision |
|---|
- If you are interested in doing a PhD under my supervision in Formal Methods in Software Engineering (software specification, verification, testing, modeling) or Formal Methods in Semantic Web (semantics of SW languages), then please contact me by email or direct at my office.
| Classes |
|---|
- Algorithm Design and Analysis
- (Introduction to) Object oriented Programming (using C++)
- Systems Specification and Verification
- Software Quality
- Algebraic programming
- Data Structures and Algorithms (for PU)
Past Classes
- (Introduction to) Algorithms and Programming
- Algorithm Design
- Computer Programming I
- Computer Programming II
- Formal Methods in Software Engineering
- Computer Programming (Programming in Pascal)
| Miscellanea |
|---|