Find Academic Supervisors

• Cosmology
• Cosmic Microwave Background (CMB)
• Gravitational Waves
• +3 more

Professor Hans Kristian Eriksen is a leading cosmologist at the Institute of Theoretical Astrophysics, University of Oslo, specializing in primordial gravitational wave detection through cosmic microwave background (CMB) analysis. His work bridges advanced computational methods with high-precision observational cosmology, focusing on next-generation satellite missions like LiteBIRD and ground-based experiments including COMAP and SPIDER. His research centers on developing exascale computational frameworks for Bayesian end-to-end CMB analysis, with particular emphasis on extracting faint primordial B-mode signals from overwhelming foreground contamination. Key methodologies include Monte Carlo Markov Chain samplers, component separation techniques, and systematic error propagation models that enable unprecedented precision in cosmological parameter estimation. Recent publications demonstrate dominant focus on the LiteBIRD satellite mission across simulation frameworks, scanning optimization, and science forecasts, alongside significant contributions to CO intensity mapping through the COMAP project. These works reveal evolving trends toward multi-messenger cosmology and increasingly sophisticated foreground mitigation strategies. ERC Starting Grant ERC Consolidator Grant H2020 COMPET-4 project (BeyondPlanck) Eriksen serves as principal investigator for major computational cosmology projects, including the Cosmoglobe initiative for end-to-end CMB analysis. His supervisory role encompasses computational astrophysics projects focused on massive parallelization of CMB analysis codes, with funding secured through competitive European grants. His team maintains active collaborations with NASA/JPL, Caltech, Oxford, and international consortia. He leads the Cosmoglobe group implementing one of the world's most comprehensive cosmological MCMC samplers, while actively contributing to the COMAP, PASIPHAE, Planck, QUIET, and SPIDER collaborations. Current efforts concentrate on preparing computational pipelines for LiteBIRD data analysis and advancing Bayesian methods for next-generation CMB polarization experiments.

• Underwater acoustics
• Distributed acoustic sensing
• Marine mammals
• +4 more

John Robert Potter is a Professor at the Department of Electronic Systems within the Faculty of Information Technology and Electrical Engineering at Norwegian University of Science and Technology (NTNU). His research spans underwater acoustics, distributed acoustic sensing (DAS), autonomous vehicles, and sustainable ocean practices. With degrees in mathematics, physics, polar oceanography, and glaciology, Potter combines technical expertise with environmental stewardship. His work focuses on DAS applications for tracking marine mammals, monitoring seismic activity, and advancing autonomous sensing networks in extreme Arctic environments. 2025: DAS for underwater communication packets 2024: Arctic fiber optic communication systems 2023: Whale tracking, aquaculture monitoring 2022: Arctic earthquake analysis, bioacoustic sensing 2021: Blue whale vocalization studies Potter's team collaborates on projects involving fiber optic sensing, marine conservation, and machine intelligence for oceanic data. His outreach includes lectures on sustainable maritime innovation and historical parallels in Arctic research.

• Blockchain Technology
• 5G/6G Networks
• Network Slicing
• +4 more

Katina Kralevska is an Associate Professor at the Department of Information Security and Communication Technology at NTNU since 2018. She previously served as Deputy Head of Department (2019-2020). Her academic background includes an MSc in Wireless and Mobile Communications from Ss. Cyril and Methodis University, Skopje (2012), and a PhD in Telematics from NTNU (2016). She has also conducted research at Imperial College London (2017). Her research focuses on blockchain technology applications in digital trust systems, 5G/6G network slicing, cybersecurity, distributed storage systems, and intent-based networking. She leads the Digital Transformation project on blockchain trust mechanisms and co-founded MemoScale AS, specializing in data protection solutions. Her publications emphasize blockchain in healthcare, network slicing optimization, and secure communication frameworks. She has advised multiple PhD and Master's students on topics like network slicing, blockchain applications, and 5G security. She holds several patents on erasure coding and network security techniques. She actively participates in academic governance, including NTNU’s Faculty Board, and serves as a program co-chair for IEEE Cyber Science Congress and committee member for global networking workshops.

• High Performance Computing
• Cloud Computing
• Interconnection Networks
• +3 more

Ernst Gunnar Gran is an Associate Professor at the Department of Information Security and Communication Technology at the Norwegian University of Science and Technology (NTNU), where he leads the communication technology discipline. He also holds an adjunct research scientist position at Simula Research Laboratory, focusing on High Performance Computing (HPC) and cloud computing. Education: M.Sc. and Ph.D. in Computer Science from the University of Oslo (2007, 2014) Research: Intersections of HPC, interconnection networks, enterprise data centers, cloud computing, and data-intensive multi-cloud processing His recent work addresses real-time anomaly detection in IoT systems, traffic speed prediction for transportation networks, and adaptive routing in HPC environments. Articles span machine learning, network security, and distributed computing, with a focus on lightweight, self-adaptive algorithms. Current projects include leadership of the RCN-funded eX3 infrastructure project and contributions to the EU H2020 Melodic initiative. He has designed the NorNet Core testbed and holds patents in network reconfiguration and cloud architecture.

• Nanoelectronics
• Analog and Digital Circuits
• Signal Processing
• +3 more

Jørgen Andreas Michaelsen is an Associate Professor at the Department of Informatics, University of Oslo. He is affiliated with the Nanoelectronics (NANO) research group. His research focuses on nanoelectronic systems, analog and digital circuit design, radar systems, wireless sensor networks, and multimedia networking. He holds a Cand.Scient. (Master's equivalent) in Informatics from the University of Oslo, as evidenced by his 2006 thesis titled Suppression of ΔΣ DAC Quantisation Noise by Bandwidth Adaptation . His recent work (2017) includes low-power radar SoC designs for non-contact vital signs detection. Earlier contributions span topics like VCO linearization for ADCs (2013), low-power sensor interfacing (2011), and multimedia streaming optimization (2006–2007). His publications often appear in top-tier conferences such as IEEE ISSCC, NEWCAS, and Norchip, reflecting expertise in both hardware and system-level design. Michaelsen collaborates extensively with industry partners and colleagues on interdisciplinary projects, bridging nanoelectronics with practical applications in healthcare monitoring and wireless communication. His work emphasizes energy-efficient, high-performance circuit solutions for emerging technologies.

Arild HoffView profile

Professor

• Operations Research
• Combinatorial Optimization
• Vehicle Routing
• +3 more

Arild Hoff is a Professor of Quantitative Logistics at Molde University College, Faculty of Logistics. He teaches courses including LOG500 Management Models and Operations Research (Bachelor - Fall semester) and LOG530 Distribution Planning (Bachelor - Spring semester). Previously, he has taught several subjects within informatics, inventory and production management and exact optimization methods, both at bachelor and master level. His educational background includes: PhD in Logistics – Molde University College (2006) Cand. Scient. – University of Bergen (1998) Cand. Mag. – Molde University College (1994) Marketing – Trondheim Business School (1991) Business Economist – Trondheim Business School (1987) Professor Hoff's research focuses on operations research, planning, optimization and decision support, with particular emphasis on solution methods for combinatorial optimization problems, such as vehicle routing and hub location. His PhD thesis addressed "Heuristics for Rich Vehicle Routing Problems," exploring search methods for solving advanced vehicle routing problems with special constraints. His recent publications demonstrate a strong focus on maritime logistics, inventory routing problems, and optimization methods under uncertainty. His work spans applications in aquaculture, disaster relief, waste collection, and transportation planning, with a consistent emphasis on developing and applying advanced optimization techniques to complex real-world problems. Professor Hoff is actively involved in research groups including Energy Logistics (EneLog) and Planning, Optimization and Decision Support, with additional interests in aquaculture and other marine industries.

Alireza David AnisiView profile

Associate Professor

• Autonomous Systems
• Robotics
• Agri-tech
• +7 more

Alireza David Anisi is an Associate Professor at the Department of Engineering Sciences , University of Agder. With a PhD in Optimization and Systems Theory and an M.Sc. in Engineering Physics, he specializes in autonomous systems and robotics , particularly in agri-tech and harsh environments . His industrial experience spans 15+ years in defense and oil & gas sectors. Academic Background: PhD: Optimization and Systems Theory M.Sc.: Engineering Physics Research Interests include formal verification and learning for autonomous systems, combinatorial optimization for multi-robot task/path planning, computational optimal control for trajectory optimization, and nonlinear observer design. His work bridges academic research with industrial R&D. Selected Publications highlight trends in robotics safety assurance, formal verification methods, and industry-specific applications (defense, oil & gas, agriculture). Recent works focus on runtime verification in ROS 2 and RoboStar technology integration. Patents: Power system optimization (EP18162642.5, 2018) Mechanical grip system (SE1300179, 2013) Sensor arrangement for machine vision (WO2014026711, 2012) Tool changer for explosive environments (WO2012007188, 2011) Industrial robot control method (EP2466404, 2010) Harsh environment mobile robot (WO2011107137, 2010) Anisi contributes to the Robotics and Automation research group, focusing on real-world applications in agriculture, energy, and industrial sectors. He teaches MAS221 Industrial IT and Robotics and emphasizes collaboration between academia and industry.

Nils Agne NordbottenView profile

Associate Professor

• Cybersecurity
• Networking
• Military Communications
• +3 more

Nils Agne Nordbotten is an Associate Professor (20% position) at the University of Oslo's Institute of Transport Economics (ITS), with a main position at Thales Norway AS. His primary affiliation is with the Section for Autonomous Systems and Sensor Technologies. Nordbotten specializes in ICT and cybersecurity, with a focus on cross-domain security, fault-tolerant networks, and military communication systems. His research interests include cybersecurity frameworks for military and coalition networks, secure cross-domain information exchange, and adaptive routing methodologies for high-assurance systems. He has contributed to IEEE conferences and journals on topics such as network security function virtualization, XML/web services security, and fault-tolerant interconnection networks. Nordbotten's work spans both academia and industry, with notable collaborations on NATO transformation projects and MILS (Multiple Independent Levels of Security) architectures. His publications address challenges in secure communication protocols, machine learning for automated security classification, and resilient network design.

Toktam RamezanifarkhaniView profile

Associate Professor

• Information Security
• IoT Security
• Cybersecurity
• +2 more

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

Stefan GrunerView profile

Professor

• Formal Methods
• Software Engineering
• Model Checking
• +9 more

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éView profile

Professor

• Formal Methods
• Model Checking
• Verification of Concurrent Systems
• +12 more

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

• Distributed Computing
• High-Performance Computing
• Distributed Shared Memory
• +7 more

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