Artificial Intelligence and its Applications Laboratory

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

Smart Agriculture and AI · Network Security and Intrusion Detection · Internet of Things and AI · Cryptography and Data Security · Reinforcement Learning in Robotics

Metaheuristic Optimization Algorithms Research · Single-cell and spatial transcriptomics · Advanced Clustering Algorithms Research · Cell Image Analysis Techniques · Cloud Computing and Resource Management

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

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

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