Artificial Intelligence and its Applications Laboratory

Machine Learning in Healthcare · Artificial Intelligence in Healthcare · Context-Aware Activity Recognition Systems · Anomaly Detection Techniques and Applications · Advanced Graph Neural Networks

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