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

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.

Étienne Andréمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Verification of Concurrent Systems
• +۱۲ مورد دیگر

Étienne André is a Full Professor at Université Sorbonne Paris Nord , affiliated with the Institut Galilée and the Laboratoire d’Informatique de Paris Nord (LIPN) . He leads the SAFER research team and has previously held professorial positions at Université de Lorraine . His work bridges formal verification and real-world applications in cyber-physical and distributed systems. PhD from ENS Cachan (2010) Postdoc at National University of Singapore (2010–2011) Associate Professor at Université Sorbonne Paris Nord (2011–2019) Full Professor at Université de Lorraine (2019–2022) Full Professor at Université Sorbonne Paris Nord (2022–present) His research centers on formal verification of concurrent and real-time systems, with a focus on parametric timed model-checking . He investigates how systems behave under timing uncertainty and develops methods to synthesize safe timing parameters. His work extends to monitoring cyber-physical systems and detecting side-channel attacks using quantitative formal methods. He is a strong advocate for sustainable research , minimizing carbon footprint through reduced air travel. The recent publications reflect a consistent trajectory in parametric verification , real-time systems , and model checking , with increasing emphasis on distributed and probabilistic approaches. His tools like IMITATOR and InSPEQTor enable practical application in industrial and academic settings. PhD Award, Académie Lorraine des Sciences (2024) Étienne André has supervised several PhD students and postdoctoral researchers. He leads major research projects such as ProMiS , MoCcA , and PACS , funded by ANR, PHC, and other international agencies. His collaborative work spans France, Singapore, Poland, and Japan. He is deeply involved in the formal methods community, serving on steering committees for SynCoP and Petri Nets , and organizing conferences such as ETAPS and ICFEM . He has participated in over 30 program committees, including FORTE , TACAS , and HSCC .

Mohamed Amedjkouhمشاهده پروفایل

استاد

• Catalysis
• Organic Chemistry
• Energy
• +۳ مورد دیگر

Mohamed Amedjkouh is a Professor in the Department of Chemistry at the University of Oslo, specializing in catalysis and organic chemistry with research emphases on energy applications, sustainable materials and nanotechnology (SMN), and metal-organic frameworks. His work bridges fundamental chemical principles with practical energy solutions through innovative catalytic systems. His research focuses on metal-organic frameworks (particularly UiO series), autocatalytic reactions including the Soai reaction, and asymmetric synthesis methodologies. Key investigations include spatial control of copper coordination motifs in MOFs, symmetry breaking in confined catalytic environments, cyclometalated ruthenium complexes for light absorption, and chiral amplification mechanisms. This work integrates experimental and computational approaches to advance sustainable chemistry and energy conversion technologies. Analysis of his 2015-2024 publications reveals consistent innovation in MOF-based catalysis, with recurring themes of chiral amplification, heterogeneous reaction systems, and coordination chemistry. His research demonstrates how confinement within UiO-MOFs enables control over autocatalytic processes and copper/ruthenium complex reactivity, offering pathways for energy-efficient chemical synthesis and stereoselective transformations. Professor Amedjkouh leads the Catalysis and Organic Chemistry research group at the University of Oslo, driving experimental and theoretical investigations into next-generation catalytic materials for energy and sustainability challenges. The group maintains active collaboration networks evidenced by frequent multi-institutional publications.

• Foundations of Computational Mathematics
• Geometric Integration
• Lie Group Integrators
• +۱۲ مورد دیگر

Hans Z. Munthe-Kaas is a Professor in the Department of Mathematics at the University of Bergen. He holds several prominent academic leadership roles, including Chair of the Abel Prize Committee, Editor-in-Chief of Foundations of Computational Mathematics , President of the Norwegian Mathematical Society, and Project Leader of the RCN-Fripro project CODYSMA and the Lie–Størmer Center. His research lies at the intersection of pure and applied mathematics and computer science, with a focus on the Foundations of Computational Mathematics . Key areas include geometric integration, Lie group integrators, Lie–Butcher theory, structure-preserving algorithms for differential equations, multivariate Chebyshev polynomials, and computational algebra. He has pioneered coordinate-free algorithm design through the SOPHUS project and developed the DiffMan MATLAB toolbox for solving differential equations on manifolds. The recent publications show a strong trend in algebraic and geometric structures in numerical analysis, particularly in Lie–Butcher series , B-series , post-Lie algebras , and aromatic trees , with applications to integration on manifolds and homogeneous spaces. These works combine deep theoretical insights with practical computational implications. His scientific honors include the Esso Prize (1999) for his PhD work on numerical linear algebra and parallel algorithms. He has also led major research initiatives and collaborative projects, securing funding from the Research Council of Norway. Munthe-Kaas has advised students at the master’s level and welcomes new thesis projects. He has been active in teaching at all levels, including international courses at AIMS South Africa, CIMPA Brazil, and Morningside Center Beijing. He is also involved in public outreach through programs like 'Mattesirkelen' for high school students. He leads the Lie–Størmer Center and has developed software such as the SOPHUS C++ library and DiffMan toolbox, reflecting his commitment to bridging theoretical mathematics with computational practice.

• Distributed Computing
• High-Performance Computing
• Distributed Shared Memory
• +۷ مورد دیگر

Tore Brox-Larsen is an Associate Professor in the Department of Informatics at UiT The Arctic University of Norway. His work centers on distributed computing, high-performance systems, and large-scale visualization technologies. He is actively engaged in research involving sensor networks, Arctic observatories, and remote visualization of scientific data. His research interests span distributed shared memory systems, MPI performance, tiled display walls, and networked visualization. He has made significant contributions to improving communication efficiency in cluster computing and enabling scalable interactive visualization environments. His work bridges computer systems engineering with applications in genomics and environmental monitoring. The most recent publications reflect a strong trend toward real-world deployment of large-scale systems, particularly in Arctic observation and healthcare informatics. His work emphasizes practical system design, latency optimization, and cross-platform interoperability in distributed environments. Tore Brox-Larsen has collaborated extensively with researchers such as Otto Anshus, John Markus Bjørndalen, and Brian Vinter. While no formal advising or grant history is listed, his sustained publication record indicates active research leadership and team-based scientific inquiry. He has contributed to major projects including the development of a large-scale Arctic observatory sensor system and interactive tiled display walls. His work supports both academic research and societal applications in health and environmental science.

Paulo Ferreiraمشاهده پروفایل

استاد

• distributed systems
• programming of mobile devices
• concurrency / parallelism / replication
• +۴ مورد دیگر

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).

• Computational mathematics
• Geometric integration
• Lie theory
• +۶ مورد دیگر

Hans Munthe-Kaas is a Professor of Mathematics at the University of Bergen, where he is also the Center Manager of the Lie-Størmer Center. He serves as Editor-in-Chief of Foundations of Computational Mathematics and President of the Norwegian Mathematical Society. Additionally, he is a member of the scientific advisory committee for the Trond Mohn Foundation and project leader for the RCN-Fripro project CODYSMA. His research focuses on computational mathematics, particularly geometric integration, Lie theory, differential geometry, algebra and combinatorics. Munthe-Kaas investigates algebras of connections on manifolds, combinatorics for formal solutions of dynamical systems, and structure-preserving discretizations. His work bridges pure and applied mathematics with computer science, with an emphasis on mathematical abstractions in computational science as tools for constructing efficient algorithms. Analysis of numerical Lie group integrators has led him to develop Lie-Butcher theory, which combines classical B-series for integration schemes with Lie series. This research connects to control theory, stochastic differential equations, renormalization, combinatorial Hopf algebra theory, and non-commutative symmetric functions. His publications show a consistent focus on geometric integration methods, with recent work exploring post-Lie algebras, aromatic B-series, and integration on symmetric spaces. Esso prize in 1999 for PhD work Munthe-Kaas has led significant research projects including the Lie-Størmer Center and CODYSMA. His work in computational mathematics has applications in numerical linear algebra, parallel algorithms, and fast elliptic solvers. He has also contributed to multivariate Chebyshev polynomials for spectral element methods based on triangular and simplicial domains. He is active in research groups including Applied and Computational Algebra and has been instrumental in developing coordinate-free formulations for numerical algorithm design through projects like SOPHUS. His DiffMan Matlab toolbox implements these ideas for solving differential equations on manifolds.

Anders Goksøyrمشاهده پروفایل

استاد

• Toxicology
• Environmental Toxicology
• Microplastics
• +۷ مورد دیگر

Professor Anders Goksøyr at the Department of Biological Sciences (BIO), University of Bergen, is a leading expert in environmental toxicology focusing on marine organisms. His research employs Systems toxicology approaches Marine pollution assessment Endocrine disruptor mechanisms Omics technologies (proteomics, transcriptomics, lipidomics) to study Atlantic cod, polar cod, and Arctic marine mammals. Current projects include dCod 1.0: Systems toxicology of cod (2016-2021) Marma-detox: Whale and polar bear in vitro models (2023-2027) funded by the Research Council of Norway. He teaches advanced toxicology courses at the University of Bergen. Recent publications analyze plastic additives' effects on lipid metabolism, PAH-induced stress responses in Arctic fish, and comparative nuclear receptor activation between marine mammals and fish. His work integrates computational approaches with experimental toxicology for environmental risk assessment.

Ane Kristine Espesethمشاهده پروفایل

پژوهشگر ارشد

• Cognitive Science
• Artificial Intelligence
• Large Language Models
• +۳ مورد دیگر

Ane Kristine Espeseth is a Research Fellow at the Center for Computing in Science Education (CCSE), University of Oslo, where she conducts doctoral research at the intersection of cognitive science and artificial intelligence. Her work focuses on developing interpretation frameworks for large language models to understand cognitive processes in both biological and artificial systems, while actively serving as student representative for the International Society for Artificial Life. Her academic foundation includes: Bachelor of Arts (Honours) in Computer Science from the University of Cambridge, United Kingdom Master of Science in Cognitive Science from Seoul National University, South Korea Dr. Espeseth's research employs concept-based and mechanistic approaches—including contextual embeddings and neural circuit analysis—to decode how large language models process information, drawing parallels between artificial systems and human cognition. Her methodology spans language acquisition modeling in children, evolutionary algorithms for socially adaptive chatbots, bio-inspired computing paradigms, and abstract mathematics, reflecting a deeply interdisciplinary approach to cognitive-AI convergence. Her scientific recognition features: First place at the European Contest for Young Scientists (2016) She maintains active research collaborations through the Human Factors Lab and BioIntelligence Lab at Seoul National University, while currently advancing computational science education initiatives at the University of Oslo's CCSE, where she also instructs HON2200 – Data-driven projects for the spring 2025 semester.

• Cybersecurity
• Privacy and Data Protection
• GDPR Compliance
• +۷ مورد دیگر

Mohamed Abomhara is a Senior Researcher and Head of Department at the Department of Information Security and Communication Technology, Norwegian University of Science and Technology (NTNU) , Faculty of Information Technology and Electrical Engineering. He serves as Discipline Leader for the MRI PET (Multidisciplinary Research group on Privacy and data protEcTion) research group. Research Interests His expertise includes: GDPR compliance and privacy-by-design Risk assessment and secure system design AI ethics and social-cyber risk mitigation Healthcare digital transformation security Border control technology ethics Recent Publications His 2024-2025 research focuses on multilingual hate speech detection , border control technology acceptance , and privacy protections in national identification systems , bridging AI ethics, cybersecurity, and regulatory compliance. Earlier work (2016-2022) addresses: Cybersecurity in digital substation infrastructure Secure collaborative healthcare information sharing Blockchain-based GDPR compliance AI-driven social media analysis

• Computational Geoscience
• Scientific Computing
• Numerical Analysis
• +۳ مورد دیگر

Magnus Bruaset is a Professor and Director of the Software & AI Department at Simula Research Laboratory , with expertise in computational geosciences, numerical methods, and quantum computing. His work spans geological modeling, PDE solvers, and software development frameworks like Diffpack. Education : PhD in preconditioned iterative methods for elliptic problems (1992), Master's in preconditioning symmetric systems (1988). Research Interests : Focus on numerical analysis, GPU acceleration of geological simulations, stochastic modeling for uncertainty quantification, and quantum computing strategy. Key projects include Hamilton-Jacobi solvers, particle-based flow models, and contributions to digital contact tracing systems. Advising & Collaboration : Co-developed PhD training workshops for scientific communication and contributed to industrial-academic partnerships. Collaborated with institutions including ChevronTexaco, Wolfram Research, and University of Oslo.

• Computational Biology
• Mathematical Modeling
• Neuroscience
• +۴ مورد دیگر

Marius Causemann is a Postdoctoral Researcher in the Numerical Analysis and Scientific Computing department at Simula Research Laboratory , focusing on computational modeling of brain mechanics and fluid dynamics. His work bridges mathematics, neuroscience, and biomedical simulation through high-fidelity numerical methods. Research Interests include: Computational Neuroscience Biomechanics of Gliovascular Systems Poroelastic and Fluid-Structure Interaction Models Numerical Methods for Multi-Physics Problems Mathematical Physiology His recent publications emphasize in-silico modeling of molecular clearance in intracranial spaces, dual-poroelasticity solvers, and high-resolution meshing of brain tissues. These works contribute to understanding glymphatic pathways, neurovascular coupling, and cerebrospinal fluid dynamics.

• Signal Processing
• Machine Learning
• Statistical Signal Processing
• +۳ مورد دیگر

Emilio Ruiz Moreno is a Postdoctoral Fellow at Simula Metropolitan's Department of Signal and Information Processing for Intelligent Systems. His work focuses on signal processing, machine learning, and real-time data analysis. Current Affiliation: Simula Metropolitan Center, Oslo, Norway Academic Role: Research Fellow (Signal Processing & Machine Learning) Research Interests: Emilio specializes in trajectory prediction, kernel regression, and zero-delay signal reconstruction. His work addresses challenges in motion-capture sensor data analysis, quantized signal tracking, and multivariate time-series processing for intelligent systems. Key applications include human-computer interaction and biomedical signal modeling. Publications (2021-2025): His research spans statistical signal processing (vector autoregressive models, kriging), adaptive kernel regression, and parallelizable learning frameworks. Technical reports and journal papers emphasize real-time performance and mathematical rigor. Laboratory Affiliation: Works within Simula Metropolitan's Signal and Information Processing for Intelligent Systems department, collaborating on interdisciplinary projects involving artificial intelligence and sensor technology.

Kent-Andre Mardalمشاهده پروفایل

استاد

• Computational Mechanics
• Biomechanical Applications in Medicine
• Brain Clearance During Sleep
• +۵ مورد دیگر

Kent-Andre Mardal is a Professor at the Department of Mathematics , University of Oslo . He specializes in computational mechanics with a strong focus on biomechanical applications in medicine , particularly in modeling brain clearance mechanisms during sleep. His work integrates multi-physics modeling , fluid-structure interaction , and poroelastic couplings to advance understanding of the glymphatic system and cerebrospinal fluid dynamics. Education: PhD (2002) – Simula Research Laboratory Research Interests: Mardal's research spans a wide range of disciplines including: Computational Mechanics – developing robust numerical algorithms for complex physical systems Biomechanical Applications – particularly in neuroscience and medical imaging Brain Clearance During Sleep – modeling the glymphatic system and CSF flow dynamics Multi-Physics Modeling – integrating fluid dynamics, elasticity, and neural networks Finite Element Methods – for accurate and efficient simulations Neural Networks in Scientific Computing – exploring physics-informed neural networks Research Trends from Publications: Mardal's recent publications (2022–2025) demonstrate a clear focus on brain fluid dynamics , particularly the glymphatic system , CSF circulation , and neurodegenerative disease modeling . He employs advanced numerical techniques such as isogeometric analysis , physics-informed neural networks , and parameter-robust preconditioning to solve complex multi-physics problems. His work bridges medical imaging (MRI) with computational modeling to provide insights into brain clearance mechanisms and their impairment in diseases like Alzheimer's. Scientific Awards: No specific awards are mentioned in the provided text. Grants and Projects: Currently, Mardal is the Principal Investigator (PI) of three active research projects: Alzheimer's Physics – exploring the role of fluid dynamics in neurodegeneration Scientific Machine Learning – advancing numerical methods with AI Computational Hydrology – modeling subsurface fluid flow Affiliations and Teams: Mardal was previously a group leader at the Centre of Excellence “Biomedical Computing” at the Simula Research Laboratory. He has authored over 100 papers and several books, and his research homepage is available at https://kent-and.github.io/ .

• Reproductive Biology
• Fish Genetics
• Aquaculture Biotechnology
• +۳ مورد دیگر

Igor Szczepan Babiak is a Professor at Nord University specializing in reproductive biology, genetics, and biotechnology of fish. His research focuses on molecular regulation of early development and germline development in fish, control of fish reproduction, and regulatory RNAs. Dr. Babiak has extensive supervision experience with 11 PhD students, 19 MSc students, 5 BSc students, and 10 postdoctoral researchers. He teaches courses including BI228F Biotechnology, BI210F Molecular Cell Biology, and BI132F Biochemistry and Cell Biology, demonstrating his commitment to education in molecular and cellular biology. His research centers on understanding how parental instruction contained in gametes executes into a complex multicellular organism, investigating the regulatory network consisting of genome, transcriptome and proteome. His work spans molecular developmental biology with applications in aquaculture and fisheries management, particularly using zebrafish, Atlantic cod, and Atlantic salmon as model organisms. Recent publications reveal strong focus on non-coding RNA functions, proteomics of embryonic development, and molecular tools for genomic analysis. Dr. Babiak has been actively involved in significant research projects including the NorthCod transnational project for sustainable development of cod farming, demonstrating his commitment to applied research with practical implications for the aquaculture industry. His work on egg quality indicators, sperm cryopreservation, and environmental effects on early development has direct applications for improving fish farming practices.