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

Simão Melo de Sousaمشاهده پروفایل

دانشیار

• Formal Methods
• Software Reliability
• Software Security
• +۷ مورد دیگر

Simão Melo de Sousa is an Associate Professor at the Computer Science Department of the Engineering Faculty at the University of Beira Interior (UBI) , where he leads the RELEASE (RELiablE And SEcure Computation) research group under Nova-Lincs. He holds a Habilitation ( Agregação ) in Computer Science from UBI, a PhD from Nice-Sophia Antipolis University (France), and advanced degrees from Orléans University (France). Research Focus: Formal methods, software reliability/security, blockchain, computational logic, programming language design, deductive verification Teaching: Courses: Proof and Programming Theory , Certified Programming , Formal Methods , Functional Programming Projects include GreenStamp , HORUS , and COPES (PI roles), alongside contributions to LEAF , FRESCO , and European COST Networks . His work bridges theory and practice through co-developed tools like Why3 , ARMY , and LISSOM , targeting safety-critical systems (avionics, railways, medical) and cloud/ubiquitous security. He actively contributes to educational platforms like Learn-OCaml and co-authored books such as Rigorous Software Development (Springer, 2011). Scientific Collaborations : Key partnerships with Tezos Foundation , OCaml Foundation , Nova-Lincs , and institutions including Critical Software , EFACEC , and INRIA . His publications span journals ( Science of Computer Programming , Journal of Automated Reasoning ) and conferences ( LICS , ISoLA , ACISP ).

• High-performance Computing
• Parallel Algorithms
• Scientific Computing

Professor Tobias Weinzierl heads the Scientific Computing research group at Durham University's Department of Computer Science. He is Co-director of the Institute for Data Science (IDAS) with responsibility for Large-Scale Computing initiatives and serves as inaugural director of the Master in Scientific Computing and Data Analysis (MISCADA). Professor Weinzierl is a reviewer for the EuroHPC JU and principal investigator on multiple ExCALIBUR projects. His research focuses on parallel algorithms, high-performance computing, and scientific computing methodologies. Key areas include adaptive mesh refinement, task-based parallelism, and exascale computing frameworks. Professor Weinzierl develops the Peano software framework for parallel grid traversals and contributes to the ExaHyPE engine for hyperbolic PDEs. His publications span parallel computing paradigms, performance optimization, and applications in computational geophysics. Research trends include GPU offloading, fault tolerance in HPC, and SYCL programming models. Professor Weinzierl has authored books including Principles of Parallel Scientific Computing and edited volumes such as Advanced Computing . He regularly presents at major HPC conferences and workshops worldwide. He advises postgraduate students working on parallel algorithms, GPU acceleration, and computational science applications. Research groups include the Scientific Computing and Data Analysis initiatives at Durham.

Michal Izakمشاهده پروفایل

استاد

• Organizational Communication
• Workplace Flexibility
• Critical Management Studies
• +۴ مورد دیگر

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 Weiمشاهده پروفایل

استادیار

• Parallel Algorithms
• Concurrent Data Structures
• Multicore Computing
• +۳ مورد دیگر

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 Orchardمشاهده پروفایل

مدرس ارشد

• Programming Languages
• Verification
• Semantics
• +۵ مورد دیگر

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 Galmicheمشاهده پروفایل

استاد

• Computer Science
• Proof Theory
• Automated Deduction
• +۲ مورد دیگر

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
• +۶ مورد دیگر

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 Hoskingمشاهده پروفایل

استاد

• Programming Languages
• Software Systems
• Software Assurance
• +۷ مورد دیگر

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 Yatapanageمشاهده پروفایل

مدرس ارشد

• Formal Methods
• Concurrency Verification
• Safety-Critical Systems
• +۷ مورد دیگر

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
• +۵ مورد دیگر

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 Chlebusمشاهده پروفایل

استاد

• Distributed Computing
• Algorithms
• Wireless Networks
• +۳ مورد دیگر

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 Schwarzmannمشاهده پروفایل

استاد

• Cyber Security
• Distributed Computing
• Election Integrity
• +۳ مورد دیگر

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 Kumarمشاهده پروفایل

استادیار

• Data Science
• Computer Systems
• Distributed Systems
• +۴ مورد دیگر

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 Taromiمشاهده پروفایل

استاد مدعو

• Cultural Psychology
• Community Psychology
• Applied Psychology
• +۱ مورد دیگر

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 Kozyrisمشاهده پروفایل

استاد

• Parallel and Distributed Systems
• Computer Architecture
• High-Performance Computing
• +۵ مورد دیگر

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.