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

Jakob Nordberg Nørgaardمشاهده پروفایل

پژوهشگر ارشد

• Hematology
• Oncology
• Medical Imaging
• +۳ مورد دیگر

Jakob Nordberg Nørgaard serves as a Doctoral Research Fellow at the Department of Haematology within the Faculty of Medicine at the University of Oslo, concurrently maintaining student status at the same faculty. His work is centered at Oslo University Hospital (OUS) Rikshospitalet, where he conducts clinical research in hematology with specialized focus on multiple myeloma pathophysiology and therapeutic innovation. His research program integrates clinical hematology, oncology, and advanced medical imaging to address critical gaps in multiple myeloma management. Key interests include optimizing induction and consolidation regimens, evaluating novel PET imaging modalities for disease monitoring, and improving outcomes in autologous stem cell transplantation. His work bridges laboratory insights with real-world clinical applications, particularly in treatment personalization for high-risk disease subsets. Analysis of his 2021-2024 publications reveals a cohesive research trajectory emphasizing comparative effectiveness of therapeutic regimens (VRD vs VCD), metabolic response assessment through novel PET tracers, and quality-of-life considerations in consolidation therapy. His population-based studies leverage Norway's national healthcare infrastructure to generate practice-changing evidence, while imaging-focused work pioneers new diagnostic approaches for early relapse detection. No scientific awards were documented in source materials. As a PhD candidate, he currently has no advisees and no grant funding specifics were disclosed. The available information does not describe laboratory facilities or team structures beyond his collaborative publications with the Myeloma Research Group at OUS Rikshospitalet.

• Neuroimaging
• Functional MRI
• Cognitive Neuroscience
• +۵ مورد دیگر

Asta Kristine Håberg serves as Professor at the Department of Neuromedicine and Movement Science within the Faculty of Medicine and Health Sciences at the Norwegian University of Science and Technology (NTNU). She concurrently holds leadership positions at St. Olav’s University Hospital as Head of the Norwegian National Advisory Unit for functional MRI and Director of the Center of Innovative Ultrasound Solutions (CIUS), a Norwegian Research Council-appointed Center for Research-based Innovation. Her research spans medical imaging and spectroscopy with emphasis on cognition across the lifespan and neurological conditions. Key focus areas include traumatic brain injury mechanisms, dementia risk factors, preterm birth neurodevelopmental outcomes, and advanced neuroimaging methodology development. Her work integrates population-based cohort studies (HUNT, Tromsø) with cutting-edge fMRI and diffusion MRI techniques. Professor Håberg leads major national initiatives including the Trondheim fMRI group and CIUS SFI center, driving translational research in ultrasound solutions. Her publication record demonstrates consistent high-impact contributions across neuroimaging, neurotrauma, and cognitive epidemiology with recent work emphasizing multi-cohort collaborations and methodological innovations in data harmonization. Notable professional roles include: Head, Trondheim fMRI Group National Advisory Unit Director for fMRI Director, Center of Innovative Ultrasound Solutions (CIUS) Principal Investigator in multiple HUNT Study dementia projects

Eric Bartley Christmasمشاهده پروفایل

استاد

• Programming
• Programming languages
• Object-orientation
• +۴ مورد دیگر

Eric Bartley Christmas is a Professor in Programming Technology at the University of Oslo, with contact details including email ericbj@ifi.uio.no and telephone +47 22840853. He is affiliated with the Programming Technology research group and maintains an office at Gaustadalléen 23B, 0373 Oslo. His core research spans: Programming and Programming languages Object-orientation and Design Patterns Distributed systems and Cloud computing Security His work increasingly intersects with medical applications, leveraging computer vision for diagnostics and analysis. Recent publications (2022-2024) reveal a strong trend toward interdisciplinary medical technology, with multiple studies applying deep learning to sperm detection, microcirculation analysis, and capillary measurement. Concurrently, his work extends into transportation systems through edge computing applications for flight and transport mode detection. He actively collaborates within the Programming Technology research group, particularly with Paulo Ferreira, Maged Helmy, and Trung Tuyen Truong on projects bridging computer science with biomedical engineering and mobile systems.

Rudolf Schlatteمشاهده پروفایل

پژوهشگر

• Formal Methods
• Computer Science
• Programming Language Semantics
• +۵ مورد دیگر

Rudolf Schlatte is a Researcher at the Department of Informatics, University of Oslo, affiliated with the Reliable Systems group. He holds a PhD from Graz University of Technology and has extensive experience in formal methods and software systems modeling. His work focuses on concurrent and distributed systems, formal languages, and digital twins. Education and Employment: Master’s degree from Graz University of Technology PhD (2010) at Graz University of Technology Postdoc researcher at Oslo University (2010-2011) Senior Engineer at the University of Oslo since 2011 Research Interests: Schlatte specializes in formal languages for distributed systems, digital twins, concurrency, and resource-aware modeling. His current focus includes correctness in self-adaptive systems and semantic reflection in digital twins. He actively contributes to the ABS modeling language and toolchain. Teaching: He teaches INF2220 (Algorithms and Data Structures) and INF3230 (Formal Modeling and Analysis of Communicating Systems). Publications: Over 40 peer-reviewed articles, primarily in formal methods, distributed systems, and digital twin applications. Recent work emphasizes digital twin reconfiguration, user journey simulation, and pandemic modeling. Lab/Team: Member of the Reliable Systems team, collaborating on projects like BedreFlyt (digital twin for healthcare resource planning) and NebulOuS (cloud computing).

Olaf Oweمشاهده پروفایل

استاد بازنشسته

• Programming and specification languages
• Language-based Security
• Privacy
• +۳ مورد دیگر

Olaf Owe is an Emeritus Professor at the Department of Informatics, University of Oslo, with research focusing on formal methods, programming languages, and security. His academic journey includes a Dr.scient from University of Oslo (1980), research associate positions at Stanford University, and faculty positions at University of California San Diego. Research interests center on: Programming and specification languages Language-based security and GDPR compliance Formal methods for concurrent systems Verification and reasoning systems His publications demonstrate strong focus on formal verification of security protocols and privacy-preserving systems. Recent work emphasizes GDPR compliance in distributed systems using formal methods. Supervised 15 PhD students as main advisor and 15+ as co-advisor. Current projects include CPS Lab, CybAlliance IoT center, and PriTEM privacy-preserving energy management.

Martin Steffenمشاهده پروفایل

استاد

• Programming Language Semantics
• Concurrency Theory
• Program Verification
• +۲ مورد دیگر

Martin Steffen is Professor at the Department of Informatics, University of Oslo, specializing in reliable systems. His research focuses on formal methods for program correctness, including semantics, verification, static analysis, and concurrency. His work spans programming language theory, compiler construction, and model checking, with applications to security and compositionality. Current projects include Syncopia (Synthesis and Analysis for Concurrent Programs) and contributions to the Concurrent Security and Robustness for Networked Systems initiative. Recent publications address railway system verification, data-race detection in Go, and memory model semantics. His teaching covers compiler construction, functional programming, and program verification methodologies.

Joachim Tilsted Kristensenمشاهده پروفایل

پژوهشگر ارشد

• Programming Languages
• Formal Semantics
• Complexity Theory
• +۳ مورد دیگر

Joachim Tilsted Kristensen is a Doctoral Research Fellow at the University of Oslo's Department of Informatics, within the Programming Technology section. His research focuses on programming language design, formal semantics, complexity theory, and distributed systems. He teaches the course Programming Language Implementation and Formalisation alongside Lars Vadgaard and Michael Thomsen. His work emphasizes memory-safe systems programming, particularly exploring Rust's ownership model integration with CUDA platforms via domain-specific languages. He collaborates with MuyBridge, an Oslo-based company, on open-source projects under Apache 2.0/MIT licenses. Research Interests: Formal methods, systems programming, functional programming, compiler design, and programming language semantics. He advocates for safe, high-performance computing models that avoid traditional memory hazards in systems development. Current Projects: Modern approaches to theoretical computer science education and reliable concurrent/distributed computation models. His master’s thesis proposal targets safe image processing in Rust/CUDA ecosystems, addressing memory safety challenges in proprietary APIs. Collaborations: Active with industry partners like MuyBridge for applied research. Part of the Programming Technology research group at the University of Oslo.

Lars Tveitoمشاهده پروفایل

مدرس

• Formal Methods
• Software Engineering
• Distributed Systems
• +۳ مورد دیگر

Lars Tveito is a Lecturer in Programming Technology at the Department of Informatics, University of Oslo. His research focuses on formal methods, distributed systems, and concurrency theory, with contributions to tools like OnlineProver for teaching formal proofs. He is affiliated with the Programming Technology research group and has published widely in venues such as NIKT, OpenAccess Series in Informatics, and Lecture Notes in Computer Science. Key research interests include partial order reduction techniques, formal verification of distributed systems, and virtualized system analysis. Recent work explores reproducibility in distributed active objects and symbolic execution combined with concurrency analysis. His teaching emphasizes practical applications of formal logic and software engineering principles. Collaborations with researchers like Einar Broch Johnsen and Rudolf Schlatte highlight his involvement in advancing methodologies for system design and verification. The lack of explicit awards indicates a focus on impactful technical contributions over accolades.

Aleksandra Sevicمشاهده پروفایل

مدرس

• Digital Stress
• Mental Health
• Health and Medicine
• +۳ مورد دیگر

Aleksandra Sevic is a Lecturer in Psychology at the University of Stavanger (UiS), affiliated with the Faculty of Social Sciences and Department of Social Sciences. She is concurrently a PhD Candidate in Health and Medicine at the Faculty of Health Sciences. Her research focuses on digital stressors' impact on adults, particularly in academic and workplace settings. She is associated with the Cognitive and Behavioral Neuroscience Lab and research groups like Affective Neuroscience and Environmental Neuroscience. Her work emphasizes validating digital stress measurement tools and exploring interventions to mitigate technostress. She has conducted systematic reviews on alcohol consumption's relationship with sickness absence and workplace interventions. Notable contributions include the WIRUS project, examining alcohol use prevention strategies in diverse industries. Education: PhD Candidate in Health and Medicine (UiS) Labs/Teams: Cognitive and Behavioral Neuroscience Lab, WIRUS Project Team Key Research Themes: Technostress, Workplace Well-being, Alcohol Prevention, Public Health Interventions Her presentations include talks on VR interventions for technostress reduction and eHealth solutions for employee health. Despite no explicit awards listed, her contributions reflect significant engagement in interdisciplinary research addressing modern workplace challenges.

• Translational Cancer Research
• Tumor Immunology
• Angiogenesis
• +۴ مورد دیگر

Tom Dønnem serves as Professor at the Department of Clinical Medicine, UiT The Arctic University of Norway, concurrently holding leadership as Head of the Translational Cancer Research Group (TCRG) and clinical duties as Consultant Oncologist at the University Hospital of North Norway in Tromsø. His dual academic-clinical role bridges fundamental research with patient care in Northern Norway's unique healthcare context. Dr. Dønnem's research centers on translational cancer mechanisms with emphasis on tumor immunology and angiogenesis in lung cancer, extending to precision medicine applications across malignancies and palliative care systems. His work investigates immune cell dynamics (particularly TILs and tertiary lymphoid structures), molecular biomarkers (microRNAs, genomic signatures), and AI-driven diagnostic tools. Recent projects integrate machine learning with histopathology to predict immunotherapy responses and refine cancer staging, reflecting his commitment to clinically actionable discoveries. Analysis of his 15 most recent publications (2019-2024) reveals three dominant trajectories: (1) AI-powered quantification of tumor immune microenvironments for NSCLC prognostication, (2) molecular biomarker discovery in liquid biopsies for early lung cancer detection, and (3) clinical validation of immune-based staging systems. His collaborative work spans oncology, cardiology, and rural healthcare, demonstrating methodological versatility while maintaining lung cancer as the primary disease focus. Scientific awards are not referenced in the provided materials. While specific advising details are unreported, his leadership of the TCRG and extensive co-authorship on student-involved projects (evident in publication patterns) indicate active mentorship. Grant funding is implied through multi-institutional trials like TNM-I but not itemized. Dr. Dønnem directs the Translational Cancer Research Group operating from MH øst L8.131 in Tromsø, with primary projects including the TNM-Immune Cell Score Trial, Prognostic Biomarkers initiative, Tumors Angiogenesis program, and Genomic Profiling consortium. These teams leverage both traditional pathological analysis and cutting-edge computational approaches to address cancer heterogeneity and treatment resistance.

Toktam Ramezanifarkhaniمشاهده پروفایل

دانشیار

• Information Security
• IoT Security
• Cybersecurity
• +۲ مورد دیگر

Toktam Ramezanifarkhani is an Associate Professor at Kristiania University College's School of Economics, Innovation and Technology. She teaches information security, risk management, and governance across bachelor's and master's programs. Her research spans Cybersecurity with specializations in IoT security, malware analysis, and human factors in security. Research Focus: She investigates theoretical and practical aspects of Information Security including Software Security, Vulnerability Analysis, Applied Cryptography, and Formal Methods. Recent work explores AI applications in cybersecurity and DevSecOps integration. Student Advising: Actively supervises graduate research in: IoT Security Machine Learning for Authentication Malware Analysis Formal Methods in Security Recent Publications: Her scholarly output demonstrates consistent focus on security frameworks, privacy-by-design architectures, and threat mitigation in distributed systems, with recurrent themes in IoT security and compliance mechanisms.

• Contemporary Art
• Cultural Theory
• Art Criticism
• +۳ مورد دیگر

Jan Frederik Verwoert is a Professor of Art and Theory at the Academy of Fine Arts within the Oslo National Academy of the Arts. He concurrently teaches at the Piet Zwart Institute in Rotterdam and de Appel's curatorial program in Amsterdam. His research critically examines the intersections of feeling, movement, intuition, and perception within contemporary art and cultural theory, challenging systems of self-imposed performative pressure in creative and academic contexts. Verwoert’s work manifests through writing, curatorial projects, and pedagogical experimentation. Key publications include monographs on Bas Jan Ader and essay collections exploring art’s role in societal discourse. His recent research (2019–2022) focuses on embodied knowledge, decolonial pedagogy, and anti-capitalist art practices, evidenced in collaborative exhibitions and lecture series. As a contributing editor for frieze , his critiques appear in journals and anthologies worldwide. His academic activities include curating research dialogues like #Many souls Speak Through Bodies in Motion (2022) and lecturing on topics such as Unlearning Proprietary Methods of (Kn)ow(n)ing Thyself (2021).

• Clinical practice guidelines in general practice
• Work pressure in general practice
• Otitis media and ventilation tube management
• +۳ مورد دیگر

Bjarne Austad serves as Associate Professor in the Department of Community Medicine and Nursing at NTNU's Faculty of Medicine and Health Sciences, concurrently practicing as a general practitioner at ØyaLegesenter in Trondheim. Specializing in general medicine since 2009 with additional ENT training at St. Olavs Hospital, he leads the final semester (IIID) of NTNU's medical school program. His educational trajectory includes specialist certification in general medicine (2009) and supplementary ENT training. Research focuses on clinical guidelines implementation , general practice workload pressures , ventilation tube management , and e-consultation systems , reflecting deep engagement with primary care challenges. Analysis of his 2023-2025 publications reveals dominant themes in telemedicine innovation and postoperative care optimization. His work predominantly employs qualitative methodologies and cross-sectional surveys examining Norwegian general practice, with particular emphasis on pandemic adaptations and ENT follow-up protocols. Key journals include Journal of Medical Internet Research and Scandinavian Journal of Primary Health Care . Through medical school course leadership and active clinical practice, Austad bridges academic research with frontline healthcare delivery. His collaborative network spans NTNU departments and Norwegian healthcare institutions, evidenced by extensive co-authorship on primary care studies addressing systemic challenges in Norway's health system.

• Ethnomusicology
• Comparative Education
• Cultural Policy
• +۶ مورد دیگر

Professor David Gabriel Hebert is a tenured full Professor of Music Education at Western Norway University of Applied Sciences , Bergen, where he leads the Grieg Academy Music Education (GAME) research group and manages the Nordic Network for Music Education. He holds concurrent appointments as Honorary Professor at the Education University of Hong Kong and Affiliated Professor at the University of the Faroe Islands, while serving on the Executive Council of the International Society for Music Education and as Chair-Elect for the Historical Ethnomusicology section of the Society for Ethnomusicology. Doctoral teaching in Cultural Heritage and Higher Education Coordinator of the EU-funded RESUPERES project on resilience in higher education Co-editor of the Deep Soundings book series at Lexington Books Research Focus : His work bridges ethnomusicology, comparative education, and cultural policy, with particular emphasis on transcultural musicianship, non-Western educational philosophies, and digital innovation in music pedagogy. He has led research initiatives across six continents, including the EU's Erasmus+ Music Talks project in Latvia and North Macedonia, and Norad-funded PhD program development in Uganda. Teaching & Mentorship : Hebert teaches Master's and PhD music education programs in Bergen, delivers the doctoral course 'Non-Western Educational Philosophy and Policy', and has served on supervisory committees for universities in 15 countries. His Sympathetic Resonance Trio explores collaborative performance, while his 20+ books include Comparative and Decolonial Studies in Philosophy of Education (Springer, 2023) and the forthcoming A Philosophy of Music Education for the Era of AI (Routledge, 2024).

Stefan Grunerمشاهده پروفایل

استاد

• Formal Methods
• Software Engineering
• Model Checking
• +۹ مورد دیگر

Stefan Gruner is a Professor in the Department of Computer Science, Faculty of Engineering, Built Environment and Information Technology, at the University of Pretoria, South Africa. He holds advanced degrees in Informatics (PhD, MSc) and Philosophy (MA), reflecting his interdisciplinary research that bridges formal software engineering, digital forensics, and the philosophy of technology. His work is widely published in international journals and conferences, and he is deeply involved in academic service, including supervision, examination, and program committees. Education: MA in Philosophy, Germany, 2010 PhD in Informatics, RWTH Aachen, Germany, 1999 MSc (Dipl.-Inform.) in Informatics, Germany, 1996 His research interests center on Formal Methods , Software Engineering , and the Philosophy of Computer Science . He has made significant contributions to parameterized and three-valued model checking, formal methods for railway systems, and the scientific foundations of digital forensics. His recent work explores historical semantics in software architecture and the philosophical underpinnings of informatics. His publications from the last few years reveal a strong trend towards formal verification, safety-critical systems, and the epistemological aspects of digital investigation and software engineering. Scientific Recognition: Biographic entry in Who's Who in the World (2010 edition) Member of the selection committee for the Annual Best Dissertation Award (EAPLS) Stefan Gruner is an active advisor and supervisor, having guided numerous MSc and PhD students to completion. He has secured research funding from the South African National Research Foundation (NRF) and international partners for projects on model-driven development, CSP protocol verification, and visualization of distributed algorithms. His academic service is extensive, including roles as program chair for workshops like FM+AM and SEFM, editor for conference proceedings, and external examiner for multiple universities. He has also been a visiting researcher at institutions in Bordeaux and Swansea. He was a central organizer of the Distributed Systems Research Group at the University of Pretoria and has fostered international collaborations, particularly within the formal methods and software engineering communities.