Find Academic Supervisors

Kyungmin BaeView profile

Associate Professor

• Formal Methods
• Software Verification
• Model Checking
• +12 more

Kyungmin Bae is an Associate Professor in the Department of Computer Science and Engineering at Pohang University of Science and Technology (POSTECH), where he leads the Software Verification Laboratory. His research focuses on developing formal methods to ensure the safety, reliability, and security of software, cyber-physical, and AI-based systems. His research interests include formal methods, software verification, model checking, automated reasoning, computational logic, hybrid and cyber-physical systems, and secure software development. He develops scalable and precise automatic analysis techniques using model checking, SMT solving, and rewriting logic. The analysis of his recent publications reveals a strong focus on formal verification of hybrid and cyber-physical systems using Signal Temporal Logic (STL), Maude, and SMT solvers. His work emphasizes robust model checking, parameter synthesis, and formal modeling in AADL, particularly for safety-critical applications such as UAVs and industrial control systems. He frequently contributes to top-tier venues like CAV, POPL, FM, and ASE. Scientific Awards: Best Paper Award, FACS, 2017 Feng Chen Memorial Award, UIUC, 2013 Chirag Foundation Fellowship, UIUC, 2007–2008 Doctoral Study Scholarship, Korea Foundation for Advanced Studies, 2007 He has served as a program committee chair for WRLA 2022, FormaliSE 2020, and FACS 2018, and as a committee member for major conferences including CAV, FSCD, ATVA, ICTAC, SPIN, APSEC, SEKE, APLAS, ICSE-SEIP, TASE, SEFM, WRLA, FTSCS, and TTCS. He has also been an invited speaker at FTSCS 2023 and ISR 2018. He teaches courses such as Theory of Computation, Software Design Methods, Software Verification, and Logic in Computer Science. He leads the Software Verification Laboratory, which focuses on developing formal tools like stlMC, Maude-SE, and HybridSynchAADL for analyzing hybrid and distributed systems. The lab actively contributes to both theoretical foundations and practical applications of formal methods in real-world systems.

Olaf OweView profile

Adjunct Professor

• Programming Languages
• Specification Languages
• Formal Methods
• +6 more

Olaf Owe serves as Professor II (Adjunct Professor) in the Department of Information and Communication Technology at the University of Agder since August 2020, while maintaining his primary position as full Professor at the University of Oslo since 1993. His academic trajectory includes Assistant Professorship at UCSD (1983-1987) and Research Associate at Stanford University (1981-1983), with sabbaticals at UCSC (2014/2015) and SRI/Oxford (1994/1995). His research centers on Programming and Specification Languages, with deep specialization in Language-based Security, Privacy (including GDPR compliance), and Formal Methods applied to object-orientation and distributed systems. He develops verification frameworks and modeling tools for concurrent systems, emphasizing analytical reasoning systems and simulation techniques for open architectures. Current work integrates these methodologies with emerging privacy-preserving computational paradigms. Professor Owe actively contributes to the Communication and System Security research group at UiA while serving part-time as Executive Senior Advisor at Prosa Security since February 2021. His teaching includes course IKT448, and he maintains ongoing collaborations through institutional partnerships developed during his international academic appointments.

Muhammad Irfan KhalidView profile

Research Fellow

• Artificial Intelligence Ethics
• Data Privacy and Regulation
• Blockchain Technology
• +5 more

Muhammad Irfan Khalid is a Research Fellow and Marie Skłodowska-Curie Action Fellow at the Department of Information Systems within the Faculty of Social Sciences at the University of Agder, Norway. He concurrently serves as an EU researcher at Singular Logic's Department of Research, Innovation, and Development in Greece, positioning him at the critical intersection of technology regulation, ethics, and emerging digital ecosystems. His research program addresses fundamental challenges in contemporary technology governance: Ethical implications of GDPR and AI Act on metaverse and blockchain implementations Advanced data management with emphasis on provenance tracking and privacy preservation Semantic Web applications for transparent regulatory compliance Secure knowledge graph integration in regulated environments Dr. Khalid's work consistently bridges technical implementation and regulatory requirements, developing operational frameworks that enable innovation while protecting fundamental rights. His research directly impacts how organizations deploy emerging technologies within evolving legal landscapes. Key recognition includes the prestigious Marie Skłodowska-Curie Action Fellowship, representing one of the European Commission's most competitive research awards. This fellowship supports his critical work on regulatory challenges in next-generation technology ecosystems. Within the academic community, Dr. Khalid contributes to the Human-Centered AI (HCAI) research group at UiA, where he mentors researchers and develops methodologies for embedding ethical considerations into AI system design. His current projects focus on practical implementations of regulatory frameworks in real-world technology deployments, funded through his Marie Curie Fellowship and EU research position. The Human-Centered AI research group under Dr. Khalid's involvement pioneers approaches that operationalize regulatory requirements within technical architectures. Their work emphasizes participatory design processes that incorporate diverse stakeholder perspectives, particularly focusing on maintaining innovation capacity while ensuring compliance with evolving data protection frameworks.

Kenneth Henning WathneView profile

Professor

• Marketing Strategy
• Business-to-Business Marketing
• Interorganizational Relationships
• +7 more

Kenneth Henning Wathne is Professor of Marketing at the University of Stavanger School of Business and Law and Adjunct Professor at BI Norwegian Business School . He previously served as Assistant Professor at the University of Wisconsin–Madison . He holds a PhD from Copenhagen Business School and degrees in marketing from BI Norwegian School of Management . His research focuses on business-to-business marketing, interorganizational relationships, relationship governance, franchising, and marketing strategy . Wathne has published extensively in leading journals such as the Journal of Marketing , Journal of Marketing Research , and Strategic Management Journal . His work often examines governance mechanisms, relational dynamics, and performance outcomes in complex organizational networks. Recent publications highlight trends in B2B governance, alliance termination, crisis recovery in co-branding, and public procurement . His research integrates theoretical perspectives from transaction cost economics, institutional theory, and relational exchange theory, with empirical rigor and practical relevance. Scientific Awards: Four-time recipient of the Mu Kappa Tau Marketing Professor of the Year award Wathne serves as Area Editor for the International Journal of Research in Marketing and is on the Editorial Review Board of several journals including Journal of Marketing , Journal of Retailing , and Journal of Business-to-Business Marketing . He has advised and collaborated with numerous researchers, including Jon Bingen Sande, Mariia Koval, and Sudha Mani. He has received research support through academic collaborations and conference presentations. He is actively involved in research teams focusing on interorganizational problem solving, relational contracting, and innovation in public procurement , often collaborating with colleagues at the University of Stavanger and beyond.

Paulo FerreiraView profile

Professor

• distributed systems
• programming of mobile devices
• concurrency / parallelism / replication
• +4 more

Paulo Ferreira is a Professor in the Department of Informatics at the University of Oslo's Faculty of Mathematics and Natural Sciences. He specializes in programming technology with a focus on distributed systems, mobile computing, and fog/cloud computing. His research interests include: Distributed systems and programming of mobile devices Concurrency, parallelism, and replication Fog and cloud computing architectures Software security and adaptability Algorithms for garbage collection Professor Ferreira teaches "Programming Ubiquitous Things" (IN5600) in Spring and "Fog and Cloud Computing" (IN5700) in Autumn. His recent publications show a strong focus on transport mode detection using edge and fog computing, garbage collection optimization, and mobile application development. His work demonstrates trends toward more efficient resource utilization in distributed environments, particularly in mobile and edge contexts. He has received numerous awards including: Best Prize for Master Thesis supervision (Norsk Regnesentrals pris, Dec. 2023) Two Best Paper Awards at the ACM/IFIP/Usenix Middleware Conference Recognition of Service Award from ACM "Excellent teaching" awards at the University of Lisbon (2010/2011 and 2013/14) Professor Ferreira currently supervises PhD students Mahdieh Kamalian (transport mode detection) and Lyla Naghipour Vijouyeh (fog emulator development). He has led more than 15 research projects, served as an expert for the European Union for assessment of projects proposals under the 7th Framework Program, and serves on various program committees (e.g. Middleware, ICDCS, DAIS, etc.). He is a senior member of ACM and IEEE, serves on the editorial board of the Springer Journal of Internet Services and Applications, and is a member of the Steering Committee of EuroSys (ACM European Chapter of the Special Interest Group on Operating Systems).

Elisavet KozyriView profile

Associate Professor

• Computer Security
• Information Flow Control
• Privacy Enforcement
• +4 more

Elisavet Kozyri is an Associate Professor at UiT The Arctic University of Norway's Department of Informatics within the Faculty of Science and Technology, where she conducts research in computer security and information flow control. Her office is located in Realfagbygget A232 in Tromsø. Her research focuses on: Information flow properties and enforcement mechanisms Privacy-preserving technologies and GDPR compliance Reactive information flow systems Formal methods for security verification Diversity and inclusion in computer science education She leads the Better Balance in Informatics (BBI) project and participates in the Cyber Security Group (CSG). Her publications demonstrate a consistent focus on information flow control, privacy enforcement, and security formalization, with recent expansion into educational equity research. Analysis shows strong emphasis on: Formal modeling of security properties (60% of publications) Practical implementation of privacy frameworks (25%) Educational initiatives in computer science (15%) Teaching responsibilities include: Advanced Computer Security (2023-2025) Computer Security (2022-2025) Computer Communication (2022) Professional activities include: IEEE Computer Security Foundations Symposium PC member (2021-2026) Deputy Representative to Informatics Europe (2023-present) EUGAIN Management Committee member (2022-2024)

• Chemistry Education
• Biochemistry
• Soft Matter
• +3 more

Andreas Haraldsrud serves as an Associate Professor in the Department of Physics at the University of Oslo, with primary affiliations in the Center for Computational Science Education (CCSE) and Chemistry Didactics Section. His academic profile bridges chemistry education research and nanobiochemistry, focusing on interdisciplinary computational approaches. His research centers on Chemistry Education, investigating cognitive models and meaning-making processes in physical chemistry and biochemistry through computer simulations and artificial intelligence. Concurrently, his Nanobiochemistry work examines soft materials like lipids and proteins using laboratory techniques (confocal microscopy, TIRF, microfluidics) combined with molecular dynamics and machine learning simulations. Teaching responsibilities include Programming for Chemists, Biochemistry, and Science Programming courses for school teachers. Recent publications demonstrate a cohesive research trajectory where computational methods serve as conceptual catalysts in chemistry education, with emerging focus on programming assessment tools and simulation-based sensemaking. His work consistently integrates educational theory with practical computational applications across chemistry and physics domains. Haraldsrud actively contributes to the Center for Computational Science Education and Chemistry Didactics Section, collaborating on projects that develop computational pedagogy frameworks and investigate cognitive processes in science learning through integrated laboratory-simulation methodologies.

• Health sciences
• Health service and health administration research
• Patient progress
• +4 more

Linda Aimee Hartford Kvæl serves as a postdoctoral fellow at Oslo Metropolitan University's Faculty of Health Sciences within the research group Aging, Health and Welfare, and concurrently as Researcher II for NOVA's Department of Ageing Research and Housing Studies. Her work bridges academic research with practical healthcare applications, focusing on improving services for elderly populations through evidence-based approaches. Kvæl earned her PhD in health sciences from Oslo Metropolitan University and holds a master's degree in rehabilitation of older persons. Her clinical background as a physiotherapist in community care services provides valuable practical context for her academic research, creating a strong foundation for her investigations into geriatric care systems. Her research program centers on quality improvement in health and care services for older people and their relatives, with special emphasis on participation, active aging in context, person-centered care, and implementation of evidence-based knowledge. She explores how healthcare systems can better support independence and quality of life for elderly individuals across various care settings, particularly examining the complex needs of those with multimorbidity. Her work frequently addresses the critical transition points between different healthcare sectors, investigating barriers and facilitators to seamless care delivery. Analysis of Kvæl's recent publications reveals a consistent focus on fall prevention strategies, patient participation models, and implementation science within geriatric care. Her research employs diverse methodologies including qualitative studies of healthcare professionals' perspectives, randomized controlled trials of exercise interventions, and mixed-methods evaluations of care models. A distinctive feature of her work is the emphasis on practical implementation of research findings into real-world healthcare settings, particularly within Norway's municipal care services. As an active researcher, Kvæl contributes significantly to multiple projects including FALLPREVENT (developing innovative fall prevention programs), investigations into cross-sectoral care transitions, and studies examining housing solutions that support aging in place. Her collaborative approach is evident through numerous co-authored publications with researchers across disciplines, reflecting her commitment to interdisciplinary solutions for complex geriatric care challenges.

• Security
• Theoretical Computer Science
• Formal Methods
• +7 more

Christian Johansen is a Professor in the Department of Information Security and Communication Technology at the Norwegian University of Science and Technology (NTNU), Faculty of Information Technology and Electrical Engineering. He leads the Systems Security group (S2G) and is affiliated with the Center for Cyber and Information Security (CCIS), the Norwegian Cyber Range, and the S2G Playground. Professor Johansen's research focuses on Security and Theoretical Computer Science, with emphasis on developing formal methods and tools for ensuring reliability of complex systems. His work spans security, safety, and concurrency properties in software systems, cyber-physical systems like Smart Grids, Internet of Things security, and modeling concurrency in multi-core and high-performance computing. Among his notable contributions are the Timed Distributed pi-calculus, ST-structures, Dynamic Structural Operational Semantics, Synchronous Kleene Algebra, and Higher Dimensional Modal Logic. His research interests include modeling of security protocols, programming language semantics, verification of distributed systems, concurrent systems modeling, and legal electronic contracts. His recent publications show a strong trend toward concurrency theory, security, and privacy, with significant contributions to pi-calculus variants, higher-dimensional automata, attribute-based encryption, and semantic access control frameworks. Many of his papers appear in top venues such as CONCUR, ATVA, FM, POST, CCS, JLAMP, IJCIP, FMSD, and LMCS. Professor Johansen actively mentors students and collaborators, having worked with Manish Shrestha on the LightSC Security Classification Method for Smart Grids and IoT, and with Bjørnar Luteberget on the SAT modulo Discrete Event Simulation method for railway capacity verification. He has secured funding from competitive sources including EU-FP7-FET-Young-Explorers, Horizon-2020, NFR-FRINATEK, UK's EPSRC, and ECSEL-JU. His work often bridges theoretical computer science with practical security applications in critical infrastructure domains.

• Social inequality in mental health
• Epidemiology
• Psychometrics
• +6 more

Professor Tormod Bøe is a distinguished researcher at the Department of Social Psychology, Faculty of Psychology, University of Bergen, with a concurrent appointment at NORCE Health and Society - RKBU at NORCE Research AS. His academic career spans multiple significant research projects including the extensive 'Children in Bergen' study (with 169 published results), the 'PACT - Pathways to Active Citizenship' project, and the 'HEIFA' project focused on family health and quality of life. Professor Bøe's research primarily examines social inequality in mental health through epidemiological and psychometric approaches. His work spans several critical areas including adolescent mental health, refugee mental health (particularly among unaccompanied minors), socioeconomic determinants of psychological well-being, and developmental trajectories of mental health across the lifespan. He has made significant contributions to understanding how family affluence, parental unemployment, and social gradients impact mental health outcomes from adolescence to midlife. His recent publication record (2023-2025) demonstrates remarkable productivity with numerous high-impact articles in journals such as BMC Public Health, Social Psychiatry and Psychiatric Epidemiology, and Child Indicators Research. These publications reveal a consistent focus on mental health inequalities, methodological rigor in psychometric assessment, and practical applications for public health interventions. His research often utilizes large-scale Norwegian cohort studies and registry data, providing valuable insights with both national and international relevance. Professor Bøe's scientific contributions include: Extensive work on refugee mental health and integration Validation of socioeconomic measurement tools like the Family Affluence Scale Examination of trauma exposure and mental health outcomes in children and adolescents Analysis of how parenting practices mediate social gradients in mental health Research on protective factors for resilience among vulnerable populations As an educator, Professor Bøe teaches courses including PROPSY315, PSYK202, and PROPSY301B at the University of Bergen, connecting his teaching closely with his research expertise in social psychology and mental health epidemiology. His research group for public mental health serves as a hub for interdisciplinary collaboration on pressing mental health issues in contemporary society.

Ellen Sofia NilssonView profile

Lecturer

• Globalization
• History of Technology
• Societal Development
• +3 more

Ellen Sofia Nilsson serves as a College Lecturer in the Department of Management and Organization at Kristiania University College's School of Communication, Leadership and Marketing. She concurrently holds the position of study program manager for HR, technology and digitalization management. Her academic credentials include: Bachelor's degree in History and International Relations Master's degree in History Practical Pedagogical Education certification University Pedagogy training Specializing in the historical analysis of technological societal impacts, her research examines how digitalization transforms organizational structures and human resource practices within global frameworks. As a globalization historian, she investigates century-long patterns of technological disruption to contextualize contemporary digital transformation challenges. Her teaching integrates this historical perspective into courses like Market, Society and Globalization and Negotiation and Influence, where students analyze how technological shifts reshape market dynamics and power structures. Through her program management role, she develops curricula addressing emerging needs in digital HR management, emphasizing practical applications of historical insights to modern workplace transformations. Her work bridges academic theory with industry-relevant competencies in technology-driven organizational change.

Ingvild Buran KroglundView profile

Assistant Professor

• Environmental Toxicology
• Avian Biology
• Analytical Chemistry
• +2 more

Ingvild Buran Kroglund serves as an Assistant Professor at the Faculty of Biosciences and Aquaculture (FBA) at Nord University, where she teaches chemistry courses across multiple programs including Nature Management, Animal Science, and Circular Bioeconomy. With 25 years of experience in higher education, she is concurrently a PhD candidate at FBA, investigating environmental pollutants in raptors—particularly owls—through non-lethal biomonitoring techniques. Her research expertise lies at the intersection of environmental toxicology, avian biology, and analytical chemistry. She specializes in analyzing trace elements, rare earth elements, and PFAS in feathers and blood of tawny owls, examining relationships with age, diet, and habitat. Her work often involves field studies in central Norway and the Subarctic, contributing to understanding pollutant impacts on wildlife. Recent publications (2019-2025) demonstrate a cohesive research trajectory: biomonitoring pollutants in owls via feathers and blood, with increasing sophistication in non-lethal methods. Her 2022 study established primary cell lines from owl samples for in vitro toxicology, highlighting innovation in conservation science. Collaborative work with international researchers underscores the global relevance of her findings in ecotoxicology. While Dr. Kroglund's role as an assistant professor likely involves student supervision, specific details of her advisees or research grants were not disclosed in the available information. Dr. Kroglund's laboratory work emphasizes HSE-compliant protocols for sample preparation and analysis of avian biological materials. While specific team structures are not detailed, her publications indicate active collaboration with toxicologists and ecologists across institutions.

Peter HerresthalView profile

Professor

• Violin Performance
• Contemporary Classical Music
• Chamber Music
• +2 more

Peter Herresthal is a Professor of Violin at the Norwegian Academy of Music, where he leads within the Strings and Harp department. His academic influence extends globally through concurrent professorships at the Royal Danish Academy of Music and visiting positions at London's Royal College of Music and NYU Steinhardt School in New York. Renowned for pioneering contemporary violin performance, Herresthal has premiered works by Saariaho, Mazzoli, Adès, and Nordheim, resulting in Grammy-nominated recordings and five Spellemann Awards. His research uniquely intersects performance practice and scientific analysis, notably through 2012 microstructural studies of violins using synchrotron radiation. His scholarly output reveals a consistent focus on advancing violin technique through interdisciplinary approaches, blending artistic interpretation with material science to understand instrument construction and acoustics. Major accolades include: Five Spellemann Award wins (Norway's premier music honor) Grammy nominations: 2020 (Saariaho), 2024 (two for Mazzoli) Gramophone Award nomination (London) As an educator, Herresthal cultivates professional-caliber violinists who secure concertmaster and soloist positions across Scandinavian orchestras. His mentorship emphasizes technical precision, contemporary repertoire mastery, and artistic leadership development. He directs Voksenåsen Summer Academy—one of Northern Europe's largest music training programs—and chairs the Norwegian Soloist Prize board, significantly shaping emerging talent through these institutional roles.

Adam LeiveView profile

Assistant Professor

• Consumer Behavior
• Health Insurance
• Retirement Saving
• +3 more

Adam Leive is an Assistant Professor at the Goldman School of Public Policy, University of California, Berkeley. He holds concurrent appointments as a Faculty Research Fellow at the National Bureau of Economic Research and a Fellow at the TIAA Institute. His research examines consumer decision-making in health insurance, retirement planning, and social safety net programs to enhance economic welfare. Educational background includes: Ph.D. in Business Economics & Public Policy - University of Pennsylvania, Wharton School B.A. in Public & International Affairs - Princeton University His research integrates behavioral economics and policy analysis, focusing on: Consumer behavior in high-stakes financial decisions Design and impact of Health Savings Accounts Retirement savings mechanisms Efficiency of social insurance programs Awards and honors: 2022 TIAA Institute Paul A. Samuelson Award for Outstanding Scholarly Writing on Lifelong Financial Security Current advising activities and laboratory affiliations are not detailed in available sources.

• Physical Oceanography
• Climate Change Effects on Marine Ecosystems
• Fish Stock Dynamics
• +4 more

Jan Erik Stiansen serves as a Senior Researcher at Western Norway University of Applied Sciences in the Department of Technical Infrastructure while maintaining a concurrent position as Senior Scientist at the Institute of Marine Research (IMR) in Bergen, Norway. His dual institutional affiliation enables integrated research spanning academic investigation and practical marine resource management, with particular focus on the Barents Sea ecosystem and climate change impacts on fisheries. Education: Dr. scient. in Physical Oceanography (2001, University of Bergen) Cand. scient. (1995, University of Bergen) Cand. mag. (1993, University of Bergen) Artium (1987, Risør gymnas) Stiansen's research primarily investigates the effects of climate change on marine ecosystems, with specialization in physical oceanography processes, turbulence effects on plankton and fish populations, and climate-fishery interactions in the Barents Sea. His work bridges fundamental oceanographic processes with practical fisheries management applications, particularly examining how changing environmental conditions affect fish stock distribution and productivity. He has pioneered research on new potential spawning sites for Northeast Arctic cod under climate change scenarios and developed methodologies for turbulence measurement in marine environments. Analysis of his recent publications reveals a strategic shift toward integrated marine technology development, with increasing focus on Smart Ocean systems for environmental monitoring, sensor development, and underwater communication. His research maintains strong connections to practical fisheries management through advisory roles for ICES and collaborative Nordic research networks addressing climate impacts on fish stocks. Research Leadership: Project Leader: FishExChange (Norwegian Research Council) Project Leader: NorExChange (Nordic Council of Ministers) Project Leader: ØKOKLIM (IMR internal project) Leader: Nordic Network on Effects of Climate Change on Fish, Fishery Industry and Management (NORFORSK-funded) Editor: Environmental Status Report for Barents Sea Ecosystem (with 130+ Norwegian and Russian scientists) Stiansen actively participates in Norwegian-Russian scientific cooperation on Barents Sea ecosystem monitoring and contributes to major international research initiatives including the SFI Smart Ocean program, which develops integrated marine observation systems. His laboratory work includes turbulence measurement techniques and development of modular ocean observatories for environmental parameter surveillance.