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

Gunn Helen Ofstadمشاهده پروفایل

مدرس ارشد

• Reading Science
• Special Education
• Early Literacy Development
• +۳ مورد دیگر

Gunn Helen Ofstad serves as a Senior Lecturer in Reading Science/Special Education at the University of Stavanger's Faculty of Educational Sciences and Humanities. She is affiliated with the National Center for Reading Education and Reading Research, where she focuses on evidence-based literacy development across educational transitions. Her research centers on early literacy acquisition , language stimulation in ECEC settings , and seamless transitions from kindergarten to school . Key interests include play-based literacy activities, handwriting versus keyboard writing effects, and addressing educational gaps in multilingual contexts. Her work emphasizes child-centered approaches and systemic collaboration between educational institutions. Analysis of her 15 most recent publications (2021-2025) reveals consistent focus on transition pedagogy (78% of works), literacy interventions (65%), and extended education frameworks (42%). Notable trends include multinational comparative studies on educational policies and growing emphasis on children's perspectives in play-based learning environments. Through the National Center for Reading Education, Ofstad leads collaborative projects like the 'Språkløyper' (Language Pathways) initiative and contributes to national programs such as 'Språksatsingen på Andøya'. Her dissemination efforts include designing professional development for kindergarten staff and advising municipalities on transitional practices. Her work manifests in practical resources including textbooks ('Reading Seeds', 'The Good Foundation'), conference keynotes, and policy recommendations for Norway's Directorate for Education (UDIR). Current projects focus on establishing new 'Extended Education Pedagogy' programs and closing literacy pedagogy gaps between ECEC and primary school.

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 .

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

Karim Tamssaouetمشاهده پروفایل

دانشیار

• Scheduling
• Inventory-Transportation Integration
• Operations Research
• +۳ مورد دیگر

Karim Tamssaouet is an Associate Professor at BI Norwegian Business School's Department of Accounting, Auditing and Business Economics. His academic trajectory includes positions as Assistant Professor at BI (2020-2024), Postdoctoral Researcher at École des Mines de Saint-Étienne (2019-2020), and R&D Engineer at STMicroelectronics (2016-2019). He holds a PhD from École des Mines de Saint-Étienne, with additional graduate degrees from Université Paris Dauphine and Ecole Nationale Polytechnique. His research specializes in optimization methodologies for industrial challenges, with core interests in: Scheduling algorithms for job-shop and flexible manufacturing systems Integrated inventory-transportation modeling Metaheuristic design (scatter search, neighborhood structures) Dynamic lot-sizing with logistics constraints Bayesian network learning for decision optimization Publication analysis reveals consistent focus on operational efficiency in manufacturing and supply chains, with recent expansions into machine learning applications for optimization. Methodological contributions include novel neighborhood frameworks for scheduling problems and multi-objective approaches for semiconductor production. He currently teaches Business Optimization and Supply Chain Analytics, bridging theoretical operations research with business applications. No research lab affiliations, scientific awards, or supervised students are documented.