Dr. Enda C***

Formal Methods and Software Verification Natural Language Processing Compiler Design and Program Analysis Parallel and Concurrent Programming Computer Graphics and Visualization Graph Neural Networks Cybersecurity and Cryptography Human-Computer Interaction (HCI) Wireless Sensor Networks and IoT Algorithmic Complexity Theory Bioinformatics and Computational Biology Machine Learning Algorithms High-Performance Computing Clusters Mobile and Ubiquitous Computing Explainable Artificial Intelligence (XAI) Data Mining and Knowledge Discovery Robotics and Autonomous Systems Software Engineering Methodologies Computer Vision and Pattern Recognition Artificial Intelligence and Reasoning Reinforcement Learning and Decision Making Computer Networks and 5G/6G Protocols Information Retrieval and Web Search Operating Systems and Virtualization Quantum Computing and Information Generative Models and LLMs Database Systems and Distributed Storage Distributed Systems and Cloud Computing Deep Learning Architectures