جست‌وجوی استاد و پژوهشگر

• Artificial Intelligence
• Machine Learning
• AI Alignment
• +۲ مورد دیگر

Michael Riegler is a Researcher at the AI Department, Simula Research Laboratory , focusing on interdisciplinary applications of Artificial Intelligence in healthcare, sports analytics, and multimedia systems. His work bridges Machine Learning , AI Alignment , and Applied AI across clinical and real-world domains. Key Affiliations: Simula Research Laboratory (AI Department Head) Research Themes: Explainable AI in medicine, multimodal data analysis, and AI-driven health monitoring Research Interests include: Developing AI/ML algorithms for medical imaging (e.g., polyp detection, embryo analysis) Addressing missing data challenges in healthcare through novel imputation techniques Creating multimodal virtual avatars for investigative interview training Designing edge AI systems for sports analytics and sustainable fishing Recent Publications highlight collaborations with institutions in Norway and globally, with a focus on: Medical Applications: Polyp segmentation, ECG analysis, and explainable models for disease detection Sports Analytics: Athlete performance prediction and soccer video processing Data Infrastructure: Lifelogging datasets (ScopeSense), semantic representation frameworks Labs & Teams include leadership in Simula’s AI Department and participation in projects like Medico Multimedia Task , ImageCLEF , and MediaEval workshops. His work emphasizes responsible AI innovation in public sectors and privacy-preserving systems for edge environments.

Vasileios Mavroeidisمشاهده پروفایل

دانشیار

• Cybersecurity
• Security Automation and Orchestration (SOAR)
• Cyber Threat Intelligence (CTI)
• +۶ مورد دیگر

Vasileios Mavroeidis is an Associate Professor in Digital Security at the Department of Informatics, University of Oslo (UiO). He specializes in security automation and orchestration (SOAR) and cyber threat intelligence (CTI) representation, reasoning, and sharing. He actively contributes to European cybersecurity initiatives, including Horizon Europe, Connecting Europe Facility, and the European Defense Fund, and serves as the primary representative of UiO at the OASIS standards development organization since 2017. Role : Associate Professor Department : Digital Security (SEC), University of Oslo Standardization Involvement : Chairman of OASIS Threat Actor Context (TAC), Leading Contributor to CACAO and OpenC2 Projects : Concordia, CyberHunt, JCOP (Joint Cyber Security Operations Platform), Oslo Analytics, P4C (Partnership for Cybersecurity) His research focuses on cyber threat intelligence (CTI), exploring its taxonomies, sharing standards (STIX, CACAO), and ontologies, with contributions to the European Union Agency for Cybersecurity (ENISA) Cybersecurity Playbooks task force. He analyzes quantum computing's impact on cryptography, develops automated threat detection systems using machine learning (e.g., recurrent neural networks for malware-generated domains), and investigates privacy issues under GDPR. Recent publications highlight his work on LLMs for code stylometry , neurosymbolic AI for cyber defense , and knowledge management systems for CACAO playbooks . His articles span 2017–2025, emphasizing formal verification, biometric data protection, and incident response automation. He collaborates with organizations like OASIS (Threat Actor Context, CACAO, OpenC2) and FIRST (Traffic Light Protocol), and participates in European research projects. His work includes standardization efforts in cybersecurity playbooks , MITRE ATT&CK representation, and quantum-resistant cryptography .

Inga Berreمشاهده پروفایل

استاد

• Applied Mathematics
• Geothermal Energy
• Porous Media
• +۳ مورد دیگر

Inga Berre is a Professor at the Department of Mathematics, University of Bergen, and serves as Director of the Center for Modeling of Coupled Subsurface Dynamics (CSD). She leads the Porous Media Research Group and was appointed Argyris Visiting Professor at the University of Stuttgart's SimTech Cluster of Excellence in 2023. Research Interests: Mathematical modeling, partial differential equations, numerical methods for coupled thermo-hydro-mechanical-chemical processes in subsurface systems, and fault reactivation induced by injection/production. Scientific Leadership: Member of SIAM Council (2022-2027), Chair of SIAM GS activity group (2021-2022), Co-Chair of SET-Plan Deep Geothermal Implementation Working Group (2019-2021), and Chair of the Joint Program Geothermal, European Energy Research Alliance (2018-2021). Awards: 2011 Meltzer Award for Young Researchers. Advisory Roles: Member of Scientific Advisory Boards for GFZ (2024-2027) and SFB1313 (2018-), among others. Teaching: Developed courses on calculus, functional analysis, mathematical modeling, and numerical methods at the Bergen Summer Research School.

• Computational Fluid Dynamics (CFD)
• Wave Hydrodynamics
• Wave Modeling
• +۹ مورد دیگر

Hans Bihs is a Professor in the Department of Civil and Environmental Engineering, Faculty of Engineering. His research focuses on computational fluid dynamics (CFD), wave hydrodynamics, and wave-structure interaction using the open-source framework REEF3D. Key Research Areas: CFD simulations, wave modeling, floating body dynamics, ocean wave energy, aquaculture hydrodynamics, sediment transport, and high-performance computing. Projects: ERC Consolidator Grant PARTRES (2023-2028), EEA Grants Portugal SurfWave (2023), NFR KPN IPIRIS (2021-2025), EEA Baltic SolidShore (2021-2024), NTNU's MAPLE (2022-2025), and DigiCoast (2021-2024). Email: hans.bihs@ntnu.no His recent publications (2025-2020) analyze fluid-structure interaction, ship-induced waves, floating offshore wind turbines, submerged vegetation, and coastal structures using advanced CFD techniques. Topics include wave hydrodynamics, turbulence, and numerical modeling for marine and aquaculture systems.

• Verification and Validation
• Search-Based Software Engineering
• Autonomous Driving
• +۳ مورد دیگر

Shaukat Ali serves as Research Professor and Head of the Department of Engineering Complex Software Systems at Simula Research Laboratory, concurrently holding the title of Chief Research Scientist. His academic leadership drives innovation at the critical nexus of quantum computing, artificial intelligence, and software engineering, with concentrated expertise in verification, validation, and testing methodologies for complex systems including cyber-physical infrastructures and autonomous robotics. His primary research domains encompass: Verification and Validation Search-Based Software Engineering Autonomous Driving Systems Cyber-Physical Systems Engineering Digital Twin Technologies Quantum Software Engineering Analysis of recent publications (2024-2025) reveals a decisive trend toward quantum-AI convergence in software engineering, particularly through quantum software testing frameworks and AI foundation models applied to cyber-physical systems. His work systematically addresses noise mitigation in quantum hardware, uncertainty quantification in adaptive robotics, and novel testing paradigms using vision-language models for industrial robotics—demonstrating both theoretical rigor and industrial applicability. As department head, Ali spearheads strategic research directions in complex software systems, fostering cross-disciplinary collaboration while actively shaping quantum software engineering through workshops like QAI2024 and Q-SANER 2024. His invited presentations at venues including JYU Quantum Electronics and EU-Korea Quantum Forums underscore his influence in defining emerging research landscapes.

• Artificial Intelligence
• Knowledge Management
• Secure Software Development
• +۳ مورد دیگر

Shao-Fang Wen is an Associate Professor at the Department of Information Security and Communication Technology, Faculty of Information Technology and Electrical Engineering, Norwegian University of Science and Technology (NTNU). Their work focuses on integrating artificial intelligence with cybersecurity, secure software development, and socio-technical systems. Research Interests: Artificial Intelligence and Cybersecurity Secure Software Development Semantic Web and Ontology Socio-Technical Systems System Security Assurance Publications and Contributions: Shao-Fang Wen has contributed significantly to developing frameworks for AI security assurance, quantitative security evaluation models (e.g., SAEOn metamodel), and contextualized learning systems for software security. Their work spans journal articles, conference papers, and book chapters, emphasizing ontology-based approaches and open source community dynamics. Teaching: IIKG2001 - Software Security

• Artificial Intelligence
• Machine Learning
• Medical Technology
• +۷ مورد دیگر

Anis Yazidi is a Professor at Oslo Metropolitan University, affiliated with the Faculty of Technology, Art and Design and the Department of Information Technology. His research focuses on Artificial Intelligence, Machine Learning, Medical Technology, and IoT Security, with a particular emphasis on Applications of AI in Healthcare, EEG Signal Processing, and Digital Transformation. Active research projects include AI Mind (dementia diagnostics), Glycopathology in dry eyes, and Pain and mental distress analysis Completed projects: Digital hate speech analysis, AI in reproductive technology, Nano-antibiotics development His recent publications (2023-2025) demonstrate expertise in: Tsetlin Automaton algorithms for concept learning EEG classification using visibility graphs and vision transformers AI ethics frameworks for medical practice Deepfake detection methodologies Collaborative work spans institutions in Norway, Czech Republic, and international AI research communities.

Eduard Kamburjanمشاهده پروفایل

پژوهشگر

• Digital Twins
• Formal Methods
• Hybrid Systems Verification
• +۵ مورد دیگر

Eduard Kamburjan is a Researcher at the University of Oslo , affiliated with the Reliable Systems (PSY) and Data and Knowledge Systems (DKM) research groups. His work bridges formal methods , digital twin engineering , and knowledge graph applications . Research interests include: Formal verification of hybrid systems using deductive methods Digital twin architecture with compositional correctness guarantees Semantic lifting and ontology-driven modeling for complex systems Concurrency analysis and non-determinism in program verification Interactive visualization as serious games for formal methods His 2024-2023 publications demonstrate expertise in digital twin reconfiguration , semantic interoperability , and knowledge-based runtime enforcement . Key contributions include Crowbar for active object verification and ABS simulator toolchain for model-driven engineering. Collaborations span institutions like Springer , ACM , and IEEE , with work featured in Lecture Notes in Computer Science (LNCS) , Software and Systems Modeling (SoSyM) , and Science of Computer Programming . His research integrates RDF data management , behavioral contracts , and modular analysis for distributed systems.

Ole-Christoffer Granmoمشاهده پروفایل

استاد

• Machine Learning
• Artificial Intelligence
• Tsetlin Machines
• +۷ مورد دیگر

Professor Ole-Christoffer Granmo is a distinguished academic at the University of Agder, Norway, where he serves as Professor in the Department of Information and Communication Technology. He is the Founding Director of the Centre for Artificial Intelligence Research (CAIR) at the University of Agder, leading cutting-edge research in artificial intelligence and machine learning. Dr. Granmo obtained his master's degree in 1999 and his PhD in 2004, both from the University of Oslo. His academic journey has been marked by significant contributions to the field of AI, most notably the creation of the Tsetlin machine in 2018, for which he received the AI research paper of the decade award from the Norwegian Artificial Intelligence Consortium (NORA) in 2022. Professor Granmo's research primarily focuses on logical and causal world modeling across multiple modalities including images, sound, and natural language. His work spans logical auto-encoding, convolution, regression, transformer architectures, and reinforcement learning, all with the overarching goal of creating ultra-low-power artificial general intelligence through transparent logical learning and reasoning. His publications reveal a strong emphasis on interpretable AI systems, hardware implementations, and applications across diverse domains including cybersecurity, healthcare, social media analysis, and bioinformatics. AI Research Paper of the Decade (2022) - Norwegian Artificial Intelligence Consortium (NORA) Eight paper awards in machine learning Professor Granmo has coordinated over seven research projects and mentored 55+ master's students and nine PhD students. His leadership extends to co-founding the Norwegian Artificial Intelligence Consortium (NORA) and establishing two companies: Anzyz Technologies AS and Tsense Intelligent Healthcare AS. As an advisor at Literal Labs, he actively bridges academic research with practical industry applications, demonstrating his commitment to translating theoretical innovations into real-world solutions that address complex challenges across multiple sectors.

• Artificial Intelligence
• Machine Learning
• Recommender Systems
• +۴ مورد دیگر

Özlem Özgöbek is an Associate Professor at the Department of Computer Technology and Informatics, Norwegian University of Science and Technology (NTNU). Her research spans artificial intelligence, machine learning, and recommender systems with a focus on privacy, fake news detection, and educational technology. NTNU - Department of Computer Technology and Informatics Her work explores multimodal fake news detection, privacy implications in recommender systems, and technology-enhanced classroom interaction. Recent publications analyze digital education trends and classroom tools. Özgöbek collaborates with international researchers and contributes to news recommendation workshops. Her projects address ethical AI, environmental sustainability, and real-time information processing.

• Distributed Systems
• Cybersecurity
• Sports Technology
• +۷ مورد دیگر

Dag Johansen is a Professor in the Department of Informatics at UiT The Arctic University of Norway, Tromso campus. His work spans multiple research areas at the intersection of computer science, sports science, medicine, health technology, and nutrition science. He leads the interdisciplinary "Corpore Sano" research center and is actively involved in several research groups including the Cyber Security Group (CSG) and Crime Control and Security Law. Professor Johansen's research focuses on developing fundamental software solutions for secure and error-free data processing in heterogeneous distributed systems, ranging from lightweight "Internet of Things" devices and mobile phones to large-scale cloud solutions. His work particularly emphasizes applications in sports technology, edge computing, and compliance technology. His research interests include distributed systems, cybersecurity, sports technology, edge computing, data privacy, AI for sports analytics, multimedia forensics, and compliance technology. His recent publication trends show a strong focus on AI applications for sports video analysis, particularly in soccer and ice hockey, where his team has developed AI-based cropping systems for social media representations. He also has significant work in data privacy and GDPR compliance, especially regarding the "third country problem," as well as applications of AI in sustainable fishing practices. His 2024-2025 publications demonstrate continued work in self-healing microservices, lightweight encryption for video feeds, and virtual reality training environments. Professor Johansen is actively involved in mentoring students and research collaborators, as evidenced by his extensive publication record with numerous co-authors including doctoral students and postdoctoral researchers. His work has received funding through various research projects focused on data analytics, privacy technology, cybersecurity, and sports technology applications. He leads the interdisciplinary "Corpore Sano" center, which brings together researchers from computer science, sports science, medicine, health technology, and nutrition science. His work also involves collaboration with the "Njord" project focused on sustainable fishing through AI applications, and he's involved in developing the "Áika" distributed edge system for AI inference.

• Programming Theory
• Algebraic Methods in Software Development
• Programming Language Design
• +۱۲ مورد دیگر

Magne Haveraaen is a Professor in the Department of Informatics at the University of Bergen, where he leads the Bergen Language Design Laboratory (BLDL). He is actively engaged in research on programming theory, formal methods, language design, and high-integrity systems. His work centers on algebraic specifications, generic programming, domain engineering, and the design of the Magnolia programming language. He has been a long-standing instructor of key courses such as INF220 (Program Specification) and INF222 (Programming Languages), and contributes to national and international academic forums. University: University of Bergen School: Faculty of Mathematics and Natural Sciences Department: Department of Informatics Academic Rank: Professor Email: magne.haveraaen@uib.no His research interests include programming language design, formal specifications, generic and mouldable programming, multicore and GPU computing, and algebraic methods in software development. He emphasizes correctness, reuse, and high-integrity software through theoretical and practical innovations. He has contributed extensively to the literature on algebraic reasoning, array programming, and domain-specific abstractions. The recent publications highlight a consistent focus on algebraic semantics, language design (especially Magnolia), array programming, and formal verification. Themes across these works include correctness by design, specification-driven development, and adapting programming models for modern architectures. His involvement in workshops like ARRAY, WGP, and CALCO underscores his leadership in programming language theory. No scientific awards are listed in the provided texts. He advises students and welcomes collaboration in programming theory, language design, and formal methods. He has led funded projects such as MoSIS and SHIP and is involved in the High Integrity Systems Forum. He organizes and participates in key conferences including NWPT, GPCE, and SCAM. He leads the Bergen Language Design Laboratory (BLDL), which focuses on experimental language design, and contributes to the SAGA initiative on scientific computing with algebraic abstractions. His work integrates theory with practical tooling and language implementation.

• Maritime Safety
• Operational Risk Management
• Autonomous Systems
• +۳ مورد دیگر

Ingrid Bouwer Utne is a Professor in the Department of Marine Technology at the Norwegian University of Science and Technology (NTNU). Her research focuses on risk assessment, autonomy, safety, and maintenance management of marine and maritime systems. She leads the Risk Group at NTNU and has been a main supervisor for numerous PhD students in areas like autonomous systems safety and risk modeling. She is actively involved in research projects such as the ERC AdG BREACH (Risk-Based Rationality in Autonomous Systems), SFI Autoship (Center for Autonomous Ships), and SAFEGUARD (Intelligent autonomous systems for safeguarding ocean infrastructure). Her work emphasizes risk-based control systems, online risk monitoring, and human-autonomy collaboration in maritime operations. Key publications include 'Risk and Interdependencies in Critical Infrastructures' (Springer) and 'Online Probabilistic Risk Assessment of Complex Marine Systems' (Springer). She has advised over 20 PhD students and contributed to industry-funded projects like UNLOCK and ORCAS, focusing on safer autonomous systems design and verification.

Gudmund Grovمشاهده پروفایل

دانشیار

• Digital Security
• Cybersecurity
• Network Anomaly Detection
• +۷ مورد دیگر

Gudmund Grov is an Associate Professor in Digital Security at the Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo. His research focuses on cybersecurity, with emphasis on anomaly detection, explainable AI, and security modeling. He is actively contributing to advancements in autonomous cyber defense and machine learning applications in security operations. His research interests span Digital Security , Network Anomaly Detection , Explainable AI (XAI) , Machine Learning for Cyber Defense , Security Modeling , and Risk Modeling in Enterprise Architecture . His work integrates formal reasoning with practical modeling to enhance system security and interpretability. The recent publications reflect a strong trend towards intelligent and interpretable cybersecurity systems, combining deep learning with formal methods to detect and explain network threats. His work bridges the gap between theoretical modeling and real-world security applications, particularly in autonomous defense and labeled dataset generation for APTs. No scientific awards were mentioned in the provided text. Gudmund Grov collaborates extensively with researchers in cybersecurity and formal methods. While specific grants and advising roles are not detailed, his co-authorship on multiple projects indicates active research supervision and collaboration. He is involved in developing frameworks for labeled data generation, contextual anomaly detection, and explainable alerts in SOC environments. There is no explicit information about labs or research teams, but his work suggests involvement in cybersecurity research groups at the University of Oslo focusing on AI-driven security and formal verification.

• Cybersecurity
• Critical Infrastructure Protection
• Cyber-Physical Systems
• +۴ مورد دیگر

Stephen Dirk Bjørn Wolthusen is a Professor at the Norwegian University of Science and Technology (NTNU) in the Department of Information Security and Communication Technology. He is based in Gjøvik, Norway, and his work focuses on cybersecurity, critical infrastructure protection, and cyber-physical systems. His research spans network topology, smart grids, formal methods, and privacy in IoT systems, with a particular emphasis on security vulnerabilities and resilience in resource-constrained environments. His recent publications address hierarchical information overlays, adversarial pathways in smart grids, and formal methods for securing cyber-physical systems. His work frequently appears in journals and conferences such as IFIP Advances in Information and Communication Technology , Lecture Notes in Computer Science (LNCS) , and IEEE conference proceedings . Topics include adversary models, queueing networks, access control, and policy enforcement in tactical and industrial contexts.