جستجوی استاد راهنمای دانشگاهی

• Digital Journalism
• Fact-checking
• Media Platforms
• +۷ مورد دیگر

Oscar Westlund serves as Professor at the Department of Journalism and Media Studies within the Faculty of Social Sciences at Oslo Metropolitan University (OsloMet), where he co-leads the OsloMet Digital Journalism Research Group. He maintains a secondary appointment at the University of Gothenburg and acts as Editor-in-Chief of Digital Journalism . His research spans digital journalism, fact-checking, platform dynamics, media management, news consumption, and mobile media. Westlund's scholarly focus centers on journalism safety in digital environments, sociotechnical dimensions of misinformation combat, and platform-induced challenges for news organizations. His work examines professional fragilities of journalists, epistemological foundations of data journalism, and legitimacy paradoxes in public service media-platform relationships. Current projects address disinformation countermeasures through the SCAM initiative (Source Criticism And Mediated Disinformation). Analysis of his 2022-2024 publications reveals dominant themes: journalism safety frameworks (33%), platform-journalism tensions (27%), and fact-checking as sociotechnical practice (23%). Key methodological approaches include cross-national comparative studies, epistemological analysis, and practice theory applied to digital news production. Westlund actively contributes to academic discourse through editorial leadership at Digital Journalism and special issue guest editing. His research group coordinates interdisciplinary collaboration on digital journalism studies, while the SCAM project develops practical methodologies for disinformation detection in democratic contexts. Recent work demonstrates increasing emphasis on mobile news ecosystems and journalist safety cultures. He co-leads the OsloMet Digital Journalism Research Group, which investigates platform impacts on news production, mobile journalism evolution, and epistemological shifts in data-driven reporting. The group maintains strong international partnerships, particularly with Swedish institutions through his University of Gothenburg affiliation.

Egor Kostylevمشاهده پروفایل

دانشیار

• Foundations of AI
• Symbolic AI
• Description Logics
• +۹ مورد دیگر

Egor Kostylev serves as an Associate Professor in the Department of Informatics within the Faculty of Mathematics and Natural Sciences at the University of Oslo. His research focuses on the theoretical foundations connecting symbolic and sub-symbolic artificial intelligence, particularly examining relationships between formal logic systems and machine learning approaches. His educational background includes an MSc (Specialist, 2005) and PhD (Candidate, 2009) from Lomonosov Moscow State University under Prof. Vladimir A. Zakharov. He subsequently held research positions at the University of Edinburgh (2010-2013) and the University of Oxford (2013-2020) before joining the University of Oslo in 2020. Kostylev's research interests center on bridging symbolic AI formalisms with sub-symbolic approaches. He investigates connections between various logics (Description Logics, Temporal Logics, Datalog), query languages (SPARQL, Regular Path Queries, OTTR), and machine learning formalisms (Graph Neural Networks, Markov Logic Networks). His work addresses critical challenges in Explainable, Trustworthy, and Green AI through theoretical foundations that connect different AI paradigms. His publication record demonstrates consistent high-impact contributions in theoretical computer science and AI, with numerous publications in top venues including AAAI, LICS, Journal of the ACM, and ICLR. His recent work shows a clear trajectory toward unifying logical reasoning with neural network approaches, particularly through graph neural networks and their connections to logical formalisms. The research spans theoretical foundations of knowledge representation, temporal reasoning in knowledge bases, and the logical expressiveness of modern neural architectures. As a research leader, Kostylev supervises multiple PhD students including Shuwen (Aurora) Liu, Maximilian Pflüger, Roxana Pop, Dongzhuoran Zhou, and Erik Snilsberg. He serves as a Research Theme Leader for the Integreat SFF: Norwegian Centre for Knowledge-driven Machine Learning. His teaching responsibilities include IN3020/4020 Database Systems courses. He leads the Data and Knowledge Management (DKM) research group at the University of Oslo, which focuses on foundational aspects of knowledge representation, database theory, and the intersection with modern machine learning techniques. The group actively collaborates with international researchers and contributes to advancing theoretical understanding of how symbolic and neural approaches to AI can complement each other.

Ida Scheelمشاهده پروفایل

دانشیار

• Bayesian Statistics
• Data Science
• Machine Learning
• +۷ مورد دیگر

Ida Scheel is an Associate Professor in Statistics and Data Science at the University of Oslo , Department of Mathematics. She specializes in Bayesian hierarchical modeling, recommendation systems, and stochastic processes on networks. Her research interests include: Bayesian statistics and model diagnostics Data science applications in environmental and health domains Network-based machine learning Uncertainty quantification in predictive modeling Recent publication trends show a focus on Bayesian model validation, machine learning for product adoption prediction, and real-estate analytics. She contributes to interdisciplinary projects like BigInsight and CELS . Scientific awards : Sverdrup Prize for Young Researchers (2011) Advising : Supervised 8 PhD students (main/co-supervisor) in areas spanning Bayesian causal effects, neural network survival analysis, and model conflict detection. Key grants include participation in the Data Science@UiO and Integreat projects. Labs/teams : Active member of the Center for Computational Inference in Evolutionary Life Science (CELS) and the BigInsight center.

Fedor Fominمشاهده پروفایل

استاد

• Theoretical Computer Science
• Graph Algorithms
• Parameterized Complexity
• +۳ مورد دیگر

Fedor Fomin is a Professor in the Department of Informatics at the University of Bergen. His research focuses on Theoretical Computer Science, including Graph Algorithms, Parameterized Complexity, Combinatorics, and Combinatorial Games. He is affiliated with the Norwegian Academy of Science and Letters, the Norwegian Academy of Technological Sciences, and the Academia Europaea, and holds fellowships from ACM and EATCS. His work has been recognized with the EATCS Nerode Prize in 2015 and 2017. Dr. Fomin has authored influential books such as Kernelization: Theory of Parameterized Preprocessing and Parameterized Algorithms , which are foundational in the field of algorithm design. His recent publications explore cutting-edge topics in parameterized complexity, graph theory, and distributed computing, with contributions to approximation algorithms, kernelization, and combinatorial optimization. His awards and honors reflect his significant impact on theoretical computer science. Fomin has been awarded an ERC Advanced Grant and has mentored numerous researchers, contributing to the advancement of algorithmic techniques and their applications.

• Cryptographic Voting Systems
• Key Exchange Protocols
• Cloud Cryptography
• +۳ مورد دیگر

Kristian Gjøsteen is a Professor at the Department of Mathematical Sciences within the Norwegian University of Science and Technology (NTNU) . He actively contributes to the Algebra Group and specializes in cryptographic systems with a focus on electronic voting , security proofs , and privacy-enhancing technologies . Educational Background: MSc and PhD from NTNU Research Interests: His work spans cryptography , key exchange protocols , cloud security , and formal verification of security mechanisms. Particular emphasis is placed on coercion-resistant voting systems , lattice-based encryption , and blockchain privacy models . Article Trends: Recent publications demonstrate expertise in post-quantum cryptography , machine-checked security , and privacy-preserving voting architectures . Collaborative efforts explore hybrid cryptographic schemes , verifiable decryption , and mix-net implementations for secure elections.

• Astronomy
• Cosmology
• Line Intensity Mapping
• +۲ مورد دیگر

Nils-Ole Stutzer is a Doctoral Research Fellow at the Institute of Theoretical Astrophysics , University of Oslo, specializing in Cosmology , Line Intensity Mapping , and Cosmic Microwave Background (CMB) data analysis. He contributes to major projects like COMAP COSMOGLOBE BeyondPlanck and develops computational tools in Python/C++ for mitigating systematic errors in radio telescope data. His research interests focus on Galactic and extragalactic CMB analysis Radio interferometry for molecular gas mapping Bayesian methods in cosmological parameter estimation Instrumental signal deconvolution Open science data frameworks His work addresses fundamental questions about cosmic structure formation and early universe physics. Key publication trends include: 2024 studies on 30GHz spinning dust emission in dark clouds Advanced CO power spectrum constraints at z ∼ 3 2023-2024 Bayesian reanalysis of Planck/WMAP missions LiteBIRD mission forecasts for gravitational waves Projects emphasize reproducibility and end-to-end data modeling. He teaches AST2000 project groups and collaborates across institutions on CMB&CO initiatives. Current affiliations include the Faculty of Mathematics and Natural Sciences at the University of Oslo.

Øyvind Ytrehusمشاهده پروفایل

استاد

• Coding Theory
• Error-Correcting Codes
• Information Theory
• +۷ مورد دیگر

Øyvind Ytrehus is a Professor at the Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Bergen (UiB), Norway. He is actively engaged in research and academic supervision, with a focus on coding theory and its applications in communication systems. Research Interests: His primary research areas include Coding Theory , Error-Correcting Codes , Information Theory , Network Coding , Cryptography , and RFID Communication . His work bridges theoretical foundations with practical implementations in wireless and networked systems. The recent publications (2024–2008) reflect a consistent trajectory in coding for communication security, RFID systems, and iterative decoding. Key trends include the use of formally unimodular lattices for secrecy gain, LDPC and turbo codes for erasure channels, and network coding for multicast and delay optimization. His work frequently intersects with physical-layer security and energy-efficient communication. Scientific Contributions: Co-edited special issues on coding theory and applications. Authored foundational work on convolutional codes, stopping sets, and generalized Hamming weights. Contributed to RFID and inductively coupled channel modeling. Advising and Grants: He has supervised several PhD candidates, including Bjørn Møller Greve, Christian W. Otterstad, and Mohsen Toorani. While specific grants are not listed, his extensive publication record and editorial roles suggest active grant involvement in coding and communication research. Labs and Teams: While no specific lab name is mentioned, his collaborations with researchers at Simula UiB, University of Valladolid, and Lancaster University indicate participation in interdisciplinary research networks focused on coding and communication systems.

• Investigative Journalism
• Cross-Border Journalism
• Hybrid Media Organizations
• +۳ مورد دیگر

Maria Konow Lund is Professor at the Department of Journalism and Media Studies within the Faculty of Social Sciences at Oslo Metropolitan University (OsloMet), based at Pilestredet 48, 0167 Oslo (Office S459). Her research spans digital journalism, media practices, and conflict reporting through affiliations with the Digital Journalism , Media Practice , Media, War and Conflict (MEKK) , and Transform research groups. Her research focuses on hybrid investigative journalism models evolving through digital transformation and global crises. Key interests include: Cross-border collaborative frameworks overcoming jurisdictional barriers Pandemic-driven innovations in telework and live data tracking Sustainable nonprofit-commercial funding ecosystems Local-global organizational hybrids like Bristol Cable and The Bureau Local Conflict zone reporting ethics within media-war dynamics Recent publications (2023-2024) reveal a concentrated analysis of hybridization as journalism's adaptive response to existential threats. Her work documents how investigative reporting survives through networked collaborations, digital tool innovation, and flexible organizational models—particularly during the COVID-19 pandemic where live trackers and remote verification became critical. Geographically, her research bridges Nordic, Asian, and global contexts. Professor Konow Lund actively contributes to PhD supervision practices as evidenced by her co-authored guide Praksis for kommende ph.d.-veiledere . Her research groups facilitate interdisciplinary work on media conflict dynamics and digital transformation, though specific grant details remain unlisted in available materials.

• Building Information Modeling (BIM)
• Digital Twins
• Construction Management
• +۳ مورد دیگر

Eilif Hjelseth is a Professor at the Department of Civil and Environmental Engineering, Norwegian University of Science and Technology (NTNU), with a focus on Building Information Modeling (BIM), Digital Twins, and Construction Technology. His work spans digital transformation in the AECO industry, automated compliance checking, and sustainable construction practices. Role: Professor, Department of Civil and Environmental Engineering University: Norwegian University of Science and Technology (NTNU) Research: BIM, Digital Twins, Construction Automation, Sustainable Development, Semantic Modeling Outreach: Authored multiple textbooks and reports on VDC implementation and BIM standards His recent publications emphasize digital twin frameworks , semantic data integration , and automation in construction , particularly through cross-validation, knowledge graphs, and circular economy applications. While specific educational details or grants aren't mentioned, his work demonstrates extensive collaboration with researchers across Norway and Europe on digitalization challenges. Key trends in his 2024–2025 articles include cross-domain BIM integration , deep learning for component classification , and standardization of digital product passports . Earlier works (2012–2020) established foundational concepts in BIM model checking, lifecycle costing, and regulatory digitization.

Kazuhiro Ogataمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Formal Methods
• +۵ مورد دیگر

Kazuhiro Ogata is a Professor in the School of Information Science at Japan Advanced Institute of Science and Technology (JAIST). He actively teaches courses such as i116 Basic of Programming, i217 Functional Programming, and i219 Software Design Methodology, indicating a strong commitment to computer science education and curriculum development. Institution: Japan Advanced Institute of Science and Technology (JAIST) School: School of Information Science Position: Professor Email: ogata@jaist.ac.jp Research Laboratory: http://www.jaist.ac.jp/~ogata/lab/ His research interests center on programming languages, software design methodology, formal methods, and compiler construction. He emphasizes formal verification using theorem proving and rewriting logic, particularly with tools like Maude. His work bridges theoretical computer science with practical software engineering and education, focusing on correctness, design patterns, and language semantics. The analysis of his recent publications reveals a consistent focus on formal specification, verification of software systems, and educational tools for programming. His work spans functional programming, concurrent systems, and distributed algorithms, often using rewriting logic as a unifying framework. He integrates formal methods into both research and teaching, promoting rigorous software development practices. No scientific awards are explicitly mentioned in the provided texts. Kazuhiro Ogata advises students through his laboratory at JAIST and has developed structured course materials that suggest active mentorship. While specific grant information is not available, his sustained research output and tool development imply ongoing project funding. He contributes to academic outreach through summer schools and educational frameworks. He leads a research laboratory focused on formal methods and programming language design, fostering a collaborative environment for students and researchers. The lab develops tools for teaching and verifying software systems, emphasizing correctness and educational impact.

Silvia Lizeth Tapia Tarifaمشاهده پروفایل

دانشیار

• Formal methods
• Distributed systems
• Parallel computing
• +۷ مورد دیگر

Silvia Lizeth Tapia Tarifa is an Associate Professor in the Department of Informatics at the University of Oslo, specializing in formal methods for parallel and distributed systems. She serves as one of the principal investigators for the NFR SJM (Smart Journey Mining) project, which runs until 2026, and actively participates in Digital Twins research with a focus on GDPR-compliant data management. Her academic affiliations include the Reliable Systems research group and the Analytical Systems and Reasoning (ASR) group at the Department of Informatics. Professor Tapia Tarifa's research spans formal methods, concurrency theory, and distributed systems with particular emphasis on self-adaptive systems, semantics of concurrent languages, compositional reasoning about distributed system behavior, and formal modeling of resource usage. Her work bridges theoretical computer science with practical applications in digital twins, GDPR compliance, and resource management in distributed environments. She has made significant contributions to the ABS language framework and active object models for parallel and distributed computing. Her publication record shows a consistent focus on formal verification techniques applied to emerging challenges in distributed computing. Recent work demonstrates increasing attention to digital twins technology, user journey modeling, and privacy-preserving systems. The research trajectory reveals evolution from foundational work on concurrent language semantics toward applied research in self-adaptive systems and GDPR-compliant architectures, while maintaining strong theoretical underpinnings in formal methods. Young Research Talent grant from Research Council of Norway (2017), the only computer science grant in that call Fellow at United Nations University, International Institute for Software Technology (2007) Active participation in formal methods community as general chair, PC chair, and committee member Professor Tapia Tarifa has supervised PhD and master's students while teaching graduate-level courses. She has led significant research initiatives including the Analysis and Complex System Research Program at SIRIUS Center (ended 2023) and the EU MSCA-ITN REMARO project on Reliable AI for Marine Robotics (ended 2024). Her current research portfolio includes multiple active grants focused on digital twins, user journey analysis, and privacy-preserving distributed systems. She collaborates extensively with researchers across Europe through various EU-funded projects including FP7 ENVISAGE, FP7 FET UpScale, and FP7 FET HATS. Her research activities are centered around the ABS language framework and its applications to distributed systems verification. She maintains active collaborations through the SIRIUS Center and participates in the international formal methods community through conference organization and program committees.

Crystal Chang Dinمشاهده پروفایل

دانشیار

• Formal Methods
• Software Verification
• Didactics
• +۳ مورد دیگر

Crystal Chang Din is an Associate Professor at the Department of Informatics, University of Bergen. Her research focuses on formal methods, software verification, and didactics. She has organized conferences such as the KeY Symposium 2023 and served as PC Chair for FTfJP 2025. Her work includes developing verification tools like KeY-ABS and exploring concurrency semantics in programming languages. She teaches courses including INF113 (Operating Systems) and INF100 (Introduction to Programming). Notable contributions include modular reasoning systems for code reuse and runtime enforcement frameworks. She advises master’s students such as Eirik Halvard Sæther and Ida Sandberg Motzfeldt. Her publications span topics like feature model evolution, deadlock detection, and concurrent programming semantics. She has contributed to international journals like Formal Aspects of Computing and conferences such as NWPT and iFM. Her research emphasizes practical applications in distributed systems and formal verification techniques.

• Cybersecurity
• Cloud Computing
• Software Engineering
• +۳ مورد دیگر

Ebenezer Paintsil serves as an Associate Professor in the Department of Computer Science within the Faculty of Technology, Art and Design at Oslo Metropolitan University. His academic work centers on cybersecurity, cloud computing, and software engineering, with specific expertise in identity management systems and risk analysis methodologies. His research interests include: Cybersecurity frameworks and protocols Cloud infrastructure security Executable model-based risk assessment Identity management system vulnerabilities Privacy-preserving technologies Taxonomies for security risk analysis Analysis of his publication history (2011-2023) reveals a consistent focus on developing formal methods for security risk assessment, particularly using Hierarchical Colored Petri Nets for executable modeling. Key trends include the evolution from foundational taxonomies (2011-2012) to applied implementations in IoT healthcare (2014) and conference leadership (NordSec 2023), demonstrating progression from theoretical frameworks to real-world security verification systems. Scientific awards: No scientific awards were documented in the provided source material Regarding academic advising and research funding, the available documentation contains no references to doctoral students, master's candidates, or externally funded research grants under his supervision.

Dag Trygve Truslew Haugمشاهده پروفایل

استاد

• Syntax
• Formal Semantics
• Computational Linguistics
• +۵ مورد دیگر

Dag Trygve Truslew Haug is a Professor at the Department of Classics at the University of Oslo, specializing in Greek and Latin linguistics with a focus on syntax and computational approaches. His research bridges classical philology with modern computational linguistics, particularly through treebank development and semantic analysis. His primary research interests include: Greek and Latin grammatical structures Lexical-Functional Grammar and formal semantics Computational linguistics and treebank development Historical linguistics and syntactic change Semantic annotation frameworks Morphological tagging systems His recent publications demonstrate a strong focus on computational linguistics applications for classical languages, semantic parsing methodologies, and the development of linguistic resources for Norwegian. The work shows consistent innovation in formal semantics, corpus linguistics, and interdisciplinary applications in computational biology. He leads the DAMOS project (Database of Mycenaean at Oslo) and participates in multiple research groups including Digital Humanities, Grammar and Meaning, Language Change, Linguistics and Poetics, Pragmatics: Theory & Experiments, and Super Linguistics.

Rustam Galimullinمشاهده پروفایل

دانشیار

• Computer Science
• Logic
• Multi-Agent Systems
• +۴ مورد دیگر

Rustam Galimullin is an Associate Professor at the Department of Information Science and Media Studies at the University of Bergen. His research focuses on formal logic systems, particularly in the areas of epistemic logic, coalition logic, and multi-agent systems. He has contributed to topics such as quantified public announcements, partial communication mechanisms, and formal verification of smart contracts. His work bridges theoretical foundations with practical applications in social networks and artificial intelligence. Galimullin's recent research includes studies on visibility dynamics in social networks, satisfiability complexity of logical systems, and the expressivity of quantified announcement logics. He has authored/co-authored over 20 peer-reviewed articles and edited conference proceedings, demonstrating expertise in both theoretical computer science and applied logic. His publications explore themes like: Dynamic epistemic logic and its extensions Formal verification techniques for multi-agent systems Model checking for coalition and group announcement logics Applications of logic in social network analysis Galimullin actively participates in academic conferences such as AAMAS, NAIS, and WoLLIC, contributing to the advancement of logic-based methodologies in AI and information science.