Dr. Knut Ingar W***

Formal Methods and Software Verification Internet of Things (IoT) Protocol Design Data Engineering and Big Data Pipelines High-Performance Scientific Computing Human-Computer Interaction (HCI) Applied Artificial Intelligence Systems Graph Neural Networks DevOps and Continuous Deployment Microservices Reliability Engineering Edge AI and Embedded Computing Automated Testing and Program Analysis Quantum Computing Algorithm Optimization Information Retrieval and Search Systems Database Systems and Query Optimization Privacy-Preserving Machine Learning Adversarial Machine Learning Defense Wireless Networks and 5G/6G Architecture Compiler Construction and Languages Digital Twin Software Frameworks Recommender Systems and Personalization Cryptographic Protocols and Hash Systems Multimodal Data Fusion Bioinformatics Software Algorithms Explainable AI (XAI) Methods Finite Element Analysis of Civil Structures Earthquake and Wind Load Modeling Coastal Infrastructure and Harbor Defense Energy-Efficient Building Physics Smart Sensors in Structural Health Monitoring Soil Remediation and Environmental Geotechnics