Département d'Informatique

COVID-19 diagnosis using AI · AI in cancer detection · Vehicle Routing Optimization Methods · Advanced Neural Network Applications · Handwritten Text Recognition Techniques

Model-Driven Software Engineering Techniques · Formal Methods in Verification · Petri Nets in System Modeling · Digital Mental Health Interventions · Logic, programming, and type systems

Mobile Learning in Education · Innovation in Digital Healthcare Systems · Educational Technology and E-Learning · Multi-Agent Systems and Negotiation · Educational Technology in Learning

Model-Driven Software Engineering Techniques · Logic, programming, and type systems · Formal Methods in Verification · Safety Systems Engineering in Autonomy · Access Control and Trust

Data Management and Algorithms · Multi-Agent Systems and Negotiation · Advanced Database Systems and Queries · Multi-Criteria Decision Making · Decision Support System Applications

Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification