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

Energy Efficient Wireless Sensor Networks · Security in Wireless Sensor Networks · Network Time Synchronization Technologies · Blockchain Technology Applications and Security · Distributed systems and fault tolerance