Find Academic Supervisors

Michal IzakView profile

Professor

• Organizational Communication
• Workplace Flexibility
• Critical Management Studies
• +4 more

Michal Izak is a Professor in Organisation Studies at the Chester Business School, University of Chester. He holds concurrent roles as Research Lead and REF 2029 Unit of Assessment (UoA 17) coordinator. Previously, he held academic positions at the University of Essex, Lincoln, and Roehampton, with prior non-academic experience in consulting and financial analysis in Poland. Education: PhD in Management, University of Essex (2006–2010) MA in Philosophy and MA in Management, University of Warsaw (1998–2006) Research Interests: Critical exploration of the New World of Work (NWOW), including flexible working ideologies and their societal impacts Organizational communication, particularly monologic communication contexts Ethnographic and narrative approaches to organizational analysis Work-life boundary dynamics and hybrid work arrangements Grants & Projects: UKRI-funded Research Incubator Labs (2023–2024): Enhancing postgraduate research skills British Academy Project (2016–2018): Spatial and conceptual boundaries of teleworkers Teaching & Mentoring: Developed research-informed courses in Organisational Behaviour, Qualitative Methods, and Dissertation supervision Supervised over 100 UG and PG dissertations and led doctoral programs External examiner for University of Bradford and Lancaster University Engagement: Editorial roles: Associate Editor of Management Learning , Editorial Board Member of Organisation Studies Regular reviewer for over 30 journals Public outreach via TEDx talks and practitioner publications Labs & Collaborations: Active member of COST Action networks (CA18205 and 21107) exploring work inequalities and coercions in digitalized labor contexts.

Yuanhao WeiView profile

Assistant Professor

• Parallel Algorithms
• Concurrent Data Structures
• Multicore Computing
• +3 more

Yuanhao Wei is an Assistant Professor in the Department of Computer Science at the University of British Columbia (UBC). Previously, he was a Postdoctoral Researcher at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL), working with Julian Shun. He earned his Ph.D. from Carnegie Mellon University under Guy Blelloch and completed his undergraduate studies at the University of Toronto, mentored by Faith Ellen and Toniann Pitassi. His research focuses on developing efficient parallel and concurrent algorithms for multicore systems, with a strong emphasis on both theoretical foundations and practical implementations. Education: Ph.D., Carnegie Mellon University (2023) Bachelor's Degree, University of Toronto Research interests include concurrent data structures, memory management (e.g., garbage collection), persistent algorithms, and efficient implementations of concurrency primitives such as atomic operations and locks. His work bridges the gap between theory and practice, aiming to create algorithms that are both theoretically sound and performant in real-world multicore environments. Awards: Best Paper Award at PPoPP’22 for Lock-free Locks: Revisited Principles of Distributed Computing Doctoral Dissertation Award (2023) He currently teaches CPSC 320: Intermediate Algorithm Design and Analysis and is actively recruiting self-motivated MSc/PhD students interested in parallel/concurrent algorithms. His research contributions span topics like multiversioning, concurrent memory reclamation, and efficient NVRAM data structures.

Dominic OrchardView profile

Senior Lecturer

• Programming Languages
• Verification
• Semantics
• +5 more

Dominic Orchard is a Senior Lecturer in the Programming Languages and Systems group at the University of Kent and co-director of the Institute of Computing for Climate Science at the University of Cambridge. He works part-time at Kent while maintaining his role at Cambridge. His research focuses on programming languages, verification, and semantics, with applications to climate modeling and computational science. He leads projects like Granule (a programming language with graded modal types) and CamFort (static analysis for Fortran). Education background includes a PhD in Computer Science, though specific details are not provided. Research interests span type systems, formal verification, climate science software, and tool development. Key achievements include the Distinguished Paper and Artifact Award at ECOOP 2022, the Best Paper Award at LOPSTR 2020, and fellowship at the Software Sustainability Institute. He advises multiple PhD students, including Vilem Liepelt and Danielle Marshall. His work bridges theory and practice, with tools like Granule and CamFort addressing real-world challenges in scientific computing. He collaborates with climate scientists through the Institute of Computing for Climate Science, advancing interdisciplinary research.

Didier GalmicheView profile

Professor

• Computer Science
• Proof Theory
• Automated Deduction
• +2 more

Didier Galmiche is a Professor of Computer Science at Université de Lorraine, where he serves as Scientific Leader of the TYPES Group (Logic, Proof Theory and Programming) and Director of the Master Programme in Computer Science. He directs the DEPEND Erasmus Mundus Joint MSc in Advanced Systems Dependability. His research centers on computational logic, automated deduction, and formal verification, with specific interests in proof-search methods, substructural logics, and logical modeling of concurrent systems. The TYPES group develops software tools for theorem proving including IBiS, SigBi, STRIP, and BILL. Recent publications focus on separation logic, epistemic logics, and tableaux methods, demonstrating applications in program verification and automated reasoning. His work shows consistent innovation in proof-theoretic approaches across intuitionistic, linear, and non-commutative logics. He leads multiple research initiatives including the OPERATION CONTRA project studying logical methods for system reliability. No scientific awards are mentioned in the provided materials. Galmiche heads the TYPES group at LORIA UMR 7503, collaborating with researchers including Nicolas Biri and Daniel Mery.

• Geostatistics
• Big Data Processing
• Computer Systems
• +6 more

Dr. John Zigman is an academic affiliated with the Faculty of Engineering at The University of Sydney. His research spans interdisciplinary fields including geostatistics, big data processing, and computer systems optimization. He has contributed to advancements in geological boundary modeling, memory management frameworks for hybrid systems, and Java performance analysis. Key research interests include: Geological modeling using Bayesian approaches and dynamic time warping Development of holistic memory management systems (e.g., Panthera framework) Optimization of parallel computing architectures and distributed garbage collection Integration of geophysical data with autonomous spatial modeling algorithms Recent work focuses on photonic integrated circuits (2025), Java performance re-engineering (2025), and large-scale geological boundary rectification (2023). His publications demonstrate expertise in both theoretical computer science and applied geosciences. Notable collaborations include work with Prof. Arman Melkumyan on geostatistical applications and Prof. Stephen Blackburn on persistent Java systems. His research bridges computational methods with earth sciences, addressing challenges in resource exploration and data-intensive systems.

Antony HoskingView profile

Professor

• Programming Languages
• Software Systems
• Software Assurance
• +7 more

Antony Hosking is a Professor and School Director of the School of Computing at the Australian National University (ANU). He holds a BSc in Mathematical Sciences from the University of Adelaide (1985), MSc with First Class Honours in Computer Science from the University of Waikato (1987), and a PhD in Computer Science from the University of Massachusetts Amherst (1995). Prior to ANU, he served for over 20 years at Purdue University as Assistant Professor and later tenured Associate Professor of Computer Science. He is also an Honorary Professor at the University of Massachusetts Amherst. His research focuses on programming languages, software systems, and software assurance, with particular expertise in garbage collection, memory management, compiler optimizations, and architectural support for programming languages. He co-authored the seminal reference text *The Garbage Collection Handbook*, now in its second edition (2023), and has contributed extensively to conferences like ACM SIGPLAN. He has held leadership roles in professional organizations, including the Executive Committee of ACM SIGPLAN and the International Symposium on Memory Management. Hosking’s accolades include being a Distinguished Scientist of the Association for Computing Machinery (ACM), an elected member of Association Internationale pour les Technologies Objets (AITO), and a Professional Member of IEEE. His consulting work involves intellectual property litigation in US courts and the US Patent and Trademark Office. He has advised on high-performance garbage collectors, concurrency, and real-time systems, with a focus on energy-aware and persistent storage solutions. His recent work addresses foundational assurance in systems software, aiming to build trustworthy systems. He collaborates on projects like the Single-Chip Cloud Computer and explores portable performance for parallel managed languages across multi-core architectures.

Nisansala YatapanageView profile

Senior Lecturer

• Formal Methods
• Concurrency Verification
• Safety-Critical Systems
• +7 more

Nisansala Yatapanage is a Senior Lecturer at the Australian National University (ANU) since January 2025, and served as a Lecturer from 2022 to 2024. She holds the position of Interim Associate Director of Engagement and Impact in the School of Computing within the ANU College of Systems & Society. Prior to ANU, she was a Senior Lecturer/Lecturer at De Montfort University, Leicester, U.K. (2017-2019), and worked with Prof. Cliff Jones at Newcastle University, U.K. (2013-2017) on the "Taming Concurrency" project. Her educational background includes a PhD from Griffith University (2012), supervised by Dr. Kirsten Winter. Before her PhD, she was a researcher in the ARC Centre for Complex Systems and Griffith University (2004-2007), working on specification and verification for safety-critical systems using Behavior Tree language and model checking. Nisansala's research focuses on the application of formal methods for various applications, particularly in concurrency, safety-critical systems, and security. She is currently investigating concurrency verification using rely/guarantee, separation logics, and temporal logic. Her work also explores the verification of security protocols and the foundations of concurrency, with recent research examining the links between rely/guarantee reasoning and linearisability for non-blocking algorithms. She has developed techniques for reducing Behavior Tree models prior to model checking and created a novel form of branching bisimulation called "Next-preserving Branching Bisimulation." Her publications demonstrate a consistent focus on formal verification methods, with particular emphasis on concurrency and safety-critical systems. Over the years, her work has evolved from Behavior Tree specifications and model checking to more advanced techniques involving rely/guarantee reasoning and separation logic. Recent publications show increasing focus on security protocols and the theoretical foundations of concurrent systems. Fellow of AdvanceHE Commended in Australian Photographer of the Year Competition 2020 (Travel category) Nisansala has extensive teaching experience across multiple institutions. At ANU, she has served as Course Convenor for multiple courses including COMP4011/8011 Special Topics in Formal Methods and Programming Languages, COMP1600 Foundations of Computing, and COMP1100/1130 Programming as Problem Solving. Previously at De Montfort University, she was Deputy Programme Leader of the BSc Computer Science & BSc Software Engineering degrees and Course Convenor for Data Structures & Algorithms and Concurrent & Parallel Algorithms. She has also taught at the ANU Logic Summer School. She has been involved in several significant research projects including "Taming Concurrency" at Newcastle University (2013-2017), a Model-Based Safety Analysis of Air Traffic Control Operational Procedures at UQ (2011-2012), and her PhD project on Slicing Behavior Trees for Verification of Large Systems at Griffith University (2007-2011).

• Distributed Algorithms
• Blockchain Technology
• Transactional Memory
• +5 more

Costas Busch is a Professor and Department Chair in the Department of Computer Science at Georgia State University's School of Computer and Cyber Sciences. He holds a Ph.D. (2000) and M.S. (1998) in Computer Science from Brown University. His research focuses on distributed algorithms, blockchain technology, transactional memory, and sensor networks. He has authored numerous publications in top-tier conferences and journals. Education: Ph.D., Computer Science, Brown University (2000) M.S., Computer Science, Brown University (1998) Research interests include distributed systems, consensus protocols, and algorithmic optimization. He serves as an editor for Forensic Science International: Digital Investigation and MDPI Algorithms . Active in governance roles, he chairs the Faculty Search Committee and Faculty Affairs Committee, and participates in promotion committees. His work bridges theoretical computer science with practical applications in distributed computing and blockchain scalability. Notable contributions include advancements in blockchain sharding, transactional memory scheduling, and fault-tolerant distributed systems. His recent work explores poly-logarithmic universal Steiner trees and adversarial transaction generation resilience in blockchain architectures. Service & Leadership: Editorial roles at 2 leading journals Committee leadership in faculty governance Active participation in international conferences like IEEE Blockchain

Bogdan ChlebusView profile

Professor

• Distributed Computing
• Algorithms
• Wireless Networks
• +3 more

Bogdan Chlebus is a Professor of Computer Science at Georgia Southern University's School of Computer and Cyber Sciences. He holds a Ph.D. in Computer Science from Warsaw University (1983). His research focuses on distributed computing, algorithms, wireless networks, and fault-tolerant systems. He has contributed significantly to consensus protocols, adversarial network environments, and transactional memory systems. Dr. Chlebus teaches courses such as Theory of Computation, Algorithm Analysis, and Ethics in Computer Science. He is actively involved in academic service, serving as an editor for Fundamenta Informaticae and on steering committees for international conferences like FCT and ALGOSENSORS. He has also held roles on university committees, including the Promotion & Tenure Committee and the University Senate Committee. His work emphasizes scalable solutions for distributed systems, with a focus on robustness against failures and adversarial conditions. He has published extensively on topics including consensus algorithms in Byzantine networks, energy-efficient routing, and adversarial contention resolution.

Alex SchwarzmannView profile

Professor

• Cyber Security
• Distributed Computing
• Election Integrity
• +3 more

Alex Schwarzmann is a Professor and Dean in the Department of Computer Science at Augusta University's School of Computer and Cyber Sciences. He holds a Ph.D. and MS in Computer Science from Brown University (1992, 1989) and an MS from Cornell University (1981). His research focuses on distributed computing systems, cyber security, election integrity, and cryptographic protocols. He has led initiatives in secure distributed storage systems, fault-tolerant algorithms, and voting system security. Notably, he received the 2022 and 2010 Edsger W. Dijkstra Prizes in Distributed Computing for foundational contributions to the field. His work integrates theoretical rigor with practical applications, such as developing robust frameworks for election-day voter check-in and securing atomic memory operations. He has served as Committee Chair for the 5th International Symposium on Cyber Security Cryptology and Machine Learning (CSCML 2021). His research spans distributed consensus algorithms, intrusion detection mechanisms, and privacy-preserving technologies in networked systems. Recent publications highlight advancements in atomic storage systems, low-latency distributed memory, and mitigating vulnerabilities in multi-source transfer learning. His grants include NSF funding for secure voting systems and resilient distributed frameworks.

Pradeep KumarView profile

Assistant Professor

• Data Science
• Computer Systems
• Distributed Systems
• +4 more

Pradeep Kumar is an Assistant Professor at the Department of Computer Science, William & Mary. He leads the Data Lab, focusing on data science systems, distributed computing, and graph analytics. His research bridges hardware-aware system design and large-scale data processing. Previously, he worked at IBM Research, NetApp, and Huawei. Education B.Tech., Indian Institute of Technology, Dhanbad (2007) Ph.D., George Washington University (2019) Research His work emphasizes scalable systems for graph processing, storage optimization, and deep learning. Key projects include: GraphOne : Real-time analytics on evolving graphs Deep-CodeGen : Systems education platform for DL frameworks HalfGNN : Precision reduction for GNN training Publications Recent work spans top venues like Usenix ATC , HPDC , and FAST , with a focus on graph systems, storage, and deep learning infrastructure. Awards NSF CRII Award (2023) IEEE Graph Challenge Finalist (2017) Teaching Current courses include Systems for Deep Learning and Big Data Systems .

Alireza Sedghi TaromiView profile

Adjunct Professor

• Cultural Psychology
• Community Psychology
• Applied Psychology
• +1 more

Alireza Sedghi Taromi serves as Adjunct Professor at Adler University's Vancouver campus for the Master of Psychology in Health & Wellness program, with concurrent academic appointments at BCIT (Adjunct Faculty), University Canada West (Sessional Faculty), and City University of Seattle (Associate Faculty). His 10+ years of post-secondary teaching emphasize experiential learning, mutual respect, and creating safe spaces for student development through theory-practice integration. Education: Ph.D., Faculty of Education & Psychology, University of Tehran/Iran M.A., Faculty of Education & Psychology, Beheshti University/Tehran, Iran MSc, Faculty of Psychology, Azad University/Tehran Iran RCC-ACS, Clinical Supervision of Clinical Counselling, British Columbia Association of Clinical Counsellors His research spans Cultural, Community, Applied, and Health Psychology with focus areas including visual impairment adaptations, pandemic-era family dynamics, executive functioning in literacy, and mental health interventions. He employs diverse methodologies including role modeling, meta-cognitive journaling, and cross-cultural case studies to translate psychological theory into practical counseling skills. Publication trends (2015-2025) reveal consistent emphasis on vulnerable populations—particularly individuals with visual impairments and pandemic-affected families—through mixed-methods approaches combining clinical trials, conference presentations, and applied wellness frameworks. His work bridges academic psychology with community mental health practice. Dr. Sedghi Taromi maintains ongoing mentorship with former students who seek guidance for professional development in psychology and counseling fields. His clinical background informs teaching through real-world case discussions and latent learning techniques that prepare students for client-facing roles while emphasizing social justice principles aligned with Adler University's mission.

Nektarios KozyrisView profile

Professor

• Parallel and Distributed Systems
• Computer Architecture
• High-Performance Computing
• +5 more

Nektarios Kozyris is a Professor of Computer Science and former Dean of the School of Electrical and Computer Engineering at the National Technical University of Athens (NTUA). He holds a PhD and Diploma in Electrical and Computer Engineering from NTUA. His research focuses on parallel and distributed systems, computer architecture, high-performance computing, and cloud infrastructure. He has authored over 180 papers and contributed to major projects like the Okeanos public cloud and Synnefo open-source software. Kozyris has led EU initiatives such as ACTiCLOUD and EuroEXA, and advises startups like Arrikto. He is a senior member of the ACM, IEEE Computer Society, and co-founder of the Greek Free/Open Source Software Society (GFOSS). His academic roles include teaching courses on computer architecture, operating systems, and distributed systems. Awards include Best Paper Awards at IPDPS 2001 and CCGRID 2013, and Intel's recognition for research in transactional memory. He actively contributes to conferences as a PC member and co-chair, and has supervised numerous PhD students in areas like distributed systems and sparse matrix computations. Kozyris pioneered the ~okeanos cloud infrastructure and advanced storage systems like Pithos. His work on GridTorrent and XOROS demonstrates innovation in data management and peer-to-peer systems. Current research includes elastic resource provisioning, quantum machine learning, and FPGA-based acceleration. His labs at NTUA and collaborations with institutions like ICCS and IMIS drive advancements in computing systems and software engineering.

• Borders and Boundaries in Conflict Areas
• Israeli Cinema
• Orientalism in Cinema
• +4 more

Shira Pinczuk is a faculty member at the University of Winchester , serving as Head of the Journalism Department within the Faculty of Education and the Arts . She is also a freelance journalist and award-winning filmmaker with expertise in realistic documentary production in conflict zones. Concurrently, she is an AVPHD student at Goldsmiths, University of London , researching filmmaking theory in border contexts. Research Interests focus on: Borders as physical, psychological, and political entities Israeli cinema and its relationship to the Zionist-Arab conflict Orientalism in media representation Documentary ethics in conflict areas Status of women in religious minority groups Media pedagogy for journalism education Academic Achievements include: BJTC Journalist of the Year (2011) Winner of BJTC TV News Feature category (2011) Finalist in Royal Television Society Postgraduate National Award (Factual category, 2012) Higher Education Academy Fellowship (FHEA) Publication Trends reveal a focus on cultural anthropology through documentary storytelling and print journalism. Her work explores geographic and cultural boundaries in media, often intersecting with environmental science and social justice themes. Grants and Funding include the John Stripe Memorial Fund and Winton Alumni Club Fund (both 2011). Her career combines field journalism with academic research, particularly in Israel and the Middle East.

João Tiago PauloView profile

Assistant Professor

• Distributed Systems
• Storage Systems
• Database Systems
• +6 more

João Tiago Paulo is an Assistant Professor at the University of Minho and a Senior Researcher at INESC TEC. He obtained his PhD in Computer Science from the MAP-i Doctoral Program, focusing on large-scale distributed systems, storage, and database scalability, performance, security, and dependability. His work addresses complex data management challenges in Cloud Computing and HPC environments. Research Interests: João specializes in Reliable Distributed Storage Systems Software-Defined Storage architectures Privacy and security in data management Fault injection for debugging storage systems Performance benchmarking and optimization Publication Trends: His recent work spans distributed systems, storage scalability, fault reproduction, and privacy-preserving machine learning. He has published in venues like Transportation Engineering , Proceedings of the VLDB Endowment , and SC24-W , with keywords intersecting computer science, HPC, and data security. Supervised Theses: João has supervised multiple MSc theses at INESCTEC, covering topics like edge time series database benchmarking, distributed storage optimizations, privacy-preserving ML frameworks, and fault injection in storage systems.