Laboratoire d'Intelligence Artificielle et ses Applications

Model-Driven Software Engineering Techniques · Recycled Aggregate Concrete Performance · Logic, programming, and type systems · Formal Methods in Verification · Materials Engineering and Processing

Advanced Steganography and Watermarking Techniques · Cryptography and Data Security · Blockchain Technology Applications and Security · Digital Media Forensic Detection · Advanced Data Compression Techniques

COVID-19 diagnosis using AI · Cloud Data Security Solutions · Distributed Control Multi-Agent Systems · Blockchain Technology Applications and Security · AI in cancer detection

Semantic Web and Ontologies · Natural Language Processing Techniques · Smart Agriculture and AI · Topic Modeling · Biomedical Text Mining and Ontologies

Privacy-Preserving Technologies in Data · UAV Applications and Optimization · Brain Tumor Detection and Classification · User Authentication and Security Systems · Blockchain Technology Applications and Security

Smart Agriculture and AI · Hate Speech and Cyberbullying Detection · Text and Document Classification Technologies · Terrorism, Counterterrorism, and Political Violence · Advanced Neural Network Applications

Privacy-Preserving Technologies in Data · Adversarial Robustness in Machine Learning · Security and Verification in Computing · Digital Imaging for Blood Diseases · Cell Image Analysis Techniques

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