Professional experience

Building, testing and monitoring of deep learning systems for medical images and malware analysis.
Analysis and verification of execution traces for computer-aided surgery system.
Analysis, prediction and anomaly detection in sensors data of IoT dam system.
Modeling (with UML, SysML, Automata), formal verification (Model Checking), code generation, architecture specification, development (with Python, C/C++, and Java), requirements management, and security risk assessment of cyber-physical and IoT systems (collaborative robot and water management infrastructure systems).
Design and security of self-adaptive cyber-physical and IoT systems (smart grid system).
Modeling and formal verification of collaborative DSLs (Domain Specific Languages) for building smart grid system.
Management of work packages and tasks of European projects.

Management and development of projects involving DSL development, model transformation and testing.
Management and development of projects involving the design and development of web applications for land, tourism and employment agencies.
Preparation of thesis in computer science.
Head of computer science department.
Teaching: software engineering, model-driven engineering, algorithms and programming, database administration.

Education