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

Toni Marshمشاهده پروفایل

دانشیار

• Paralegal Education
• Juvenile Law
• Criminal Law
• +۳ مورد دیگر

Toni Marsh is an Associate Professor of Paralegal Studies and Political Science at George Washington University (GWU), where she serves as the founding director of the Paralegal Studies master's degree and graduate certificate programs. She concurrently holds roles as Immediate Past President of the American Association for Paralegal Education (AAfPE) and Executive Director of Lambda Epsilon Chi (LEX), the national paralegal honor society. Additionally, she has served as Faculty in Residence in Philip Amsterdam Hall. Her research and professional contributions focus on paralegal education, curriculum development in international contexts, and juvenile/criminal law. Notably, she designed the first formal paralegal education program in Tanzania at the University of Bagamoyo, whose curriculum is now widely adopted across the nation. Her professional experience includes directing the paralegal studies program at the University of North Carolina at Charlotte, teaching at Georgetown University, and practicing criminal and juvenile law in Cleveland, Ohio. Professor Marsh is the author of Juvenile Law , a foundational text in her field. Her work emphasizes bridging legal education with practical legal systems, particularly in under-resourced regions. While no specific grants or awards are mentioned, her leadership roles and curricular innovations highlight her impact on paralegal education standards both nationally and internationally.

Pavan Poudelمشاهده پروفایل

استادیار

• Parallel and Distributing Computing Algorithms
• Robotics
• Internet of Things
• +۳ مورد دیگر

Dr. Pavan Poudel is an Assistant Professor of Computer Science at the University of Houston-Clear Lake (UHCL), part of the College of Science and Engineering. He joined UHCL in Fall 2024 after working as a Research Engineer in the software industry and completing a postdoctoral research position at Augusta University's Department of Computer and Cyber Sciences. He holds a Ph.D. in Computer Science from Kent State University (2021) and a Bachelor's in Computer Engineering from Tribhuvan University, Nepal. His research focuses on Parallel and Distributed Computing, Robotics, and Fault-Tolerance, with expertise in optimizing scheduling algorithms and designing scalable systems for distributed environments. Dr. Poudel's research includes transactional memory systems, distributed robotics algorithms (e.g., gathering, scattering, and coverage), and fault-tolerant solutions for real-time applications like medical and disaster response. His work bridges theoretical computer science with practical applications, emphasizing efficiency and scalability. He has published extensively in venues like Theoretical Computer Science (TCS) and Information, addressing topics such as time-optimal robot navigation and adaptive versioning in transactional memory. His academic awards include the Best Presentation Award at Kent State’s Graduate Research Symposium (2021) and scholarships like the John Sechrist and Hine Scholarships (2019–2020). He teaches courses such as Computer Organization and Assembly Language and Computer Game Programming. His publications demonstrate a strong focus on distributed systems, robotics algorithms, and concurrency control, reflecting his commitment to advancing scalable and reliable computing solutions.

Justin Y. Shiمشاهده پروفایل

دانشیار

• Scalable Computing
• Blockchain Protocols
• Software Safety
• +۵ مورد دیگر

Justin Y. Shi is an Associate Professor at Temple University's Computer and Information Science Department. His research focuses on scalable computing, blockchain protocols, software safety, and infinitely scalable systems. He holds a PhD from the University of Pennsylvania and has held roles including Interim Director of the Center for Advanced Computing and Communications (1992-1998) and CIS Department Chair (2007-2009). B.S. Computer Engineering, Shanghai Jiao-tong University (1977) M.S. Software Engineering, University of Pennsylvania (1983) PhD in Concurrent Programming, University of Pennsylvania (1984) His research explores decoupling programs and data from physical devices to achieve fault tolerance and scalability. Key contributions include the Statistic Multiplexed Computing (SMC) paradigm and foundational work on parallel algorithms and distributed systems. He has authored patents on scalable parallel computing and high-performance blockchain systems. Teaching highlights include courses on quantum computing, cybersecurity, and fullstack programming. He has advised over 15 students, many now in industry and academia. Founder & CEO of Parallel Computers Technology Inc. (2000-2017) Co-founder of SMC Labs (2022-present) Active in editorial roles for IEEE Blockchain Technology Briefs and contributor to NSF workshops on cloud computing. His work has been exhibited at Supercomputing Conferences (1991-2018).

• Computer Science
• Software Engineering
• Formal Methods
• +۶ مورد دیگر

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (IST Austria) since 2009, serving as its President from 2009 to 2022. He holds honorary doctorates from Fourier University and Masaryk University. His research focuses on formal methods for improving software reliability in concurrent and embedded systems, with contributions to quantitative verification, quantum computing, and algorithmic fairness. He leads the Henzinger Group , which addresses challenges in software correctness, safety-critical systems, and AI ethics. Education: PhD from Stanford University (1991), followed by postdoctoral work at Université Joseph Fourier (1991). Research Interests: Concurrent and embedded systems, formal methods, quantum algorithms, fairness in AI, and runtime verification. His team develops mathematical foundations and tools to ensure software robustness in complex systems. Recent Trends in Publications: Focus on advancing formal verification techniques for neural networks, quantum computing, and ethical AI. Key contributions include fairness shields for decision systems and middleware for third-party monitoring (VAMOS). Awards: Royal Society Fellow (2024), US National Academy of Sciences Member (2020), Wittgenstein Award (2012), and numerous test-of-time awards. Advising & Grants: Advised over 20 PhD students. Secured ERC Advanced Grants (VAMOS, QUAREM) and FWF grants (Wittgenstein Award). Labs/Teams: Leads the Henzinger Group , collaborating on projects like SPyCoDe (semantic security) and VAMOS (third-party monitoring middleware).

• Distributed Computing
• Distributed Algorithms
• Fault-Tolerance
• +۸ مورد دیگر

Marina Papatriantafilou is an Associate Professor in the Department of Computer Science and Engineering at Chalmers University of Technology and University of Gothenburg. Her research focuses on distributed computing, fault-tolerance, parallel algorithms, and concurrency control. She has contributed to methods for fault-tolerant distributed systems, visualization tools for distributed algorithms, and scalable overlay networks. Her academic roles include teaching advanced courses on distributed systems, computer communication, and operating systems. She advises graduate students in areas like distributed algorithms and parallel computing. Key research interests include lock-free synchronization, memory reclamation, and self-stabilizing systems. She has authored over 100 publications in top-tier conferences and journals, with recent work on data streaming frameworks, energy-sharing optimization, and vehicular network processing. Professional involvement includes roles in program committees for conferences like OPODIS, SWAT, and SSS, plus membership in research evaluation boards for Swedish and European funding agencies. She pioneered educational tools like the Lydian environment for distributed algorithm visualization.

• Distributed/Parallel Computing
• Information Visualization
• Fault-Tolerant Communication Mechanisms
• +۴ مورد دیگر

Philippas Tsigas is a Professor at the Department of Computer Science and Engineering at Chalmers University of Technology. He leads the Distributed Computing and Systems Research Group and has held roles as co-leader of research initiatives such as the PEPPHER project. His research spans distributed/parallel computing, information visualization, and fault-tolerant communication mechanisms. He has supervised numerous PhD students, including Yi Zhang, Håkan Sundell, and Farnaz Moradi. Research interests include lock-free data structures, multicore algorithms, secure network services, and visualization tools like Lydian and DataMeadow. Notable awards include Best Paper Awards at IPDPS 2003 and SNS 2012. His work has been published in top venues like IEEE Transactions on Parallel and Distributed Systems and ACM Journal of Experimental Algorithmics. Awards highlight contributions to lock-free algorithms and network modeling. Students have contributed to projects like NBmalloc (memory reclamation) and GPU Quicksort. Collaborations with institutions like SSF and VR have supported his research. Tsigas is also involved in teaching distributed systems and mentoring early-career researchers.

Rex W. Mixon Jr.مشاهده پروفایل

استاد مدعو

• Business Ethics
• Philosophy of Law
• Utilitarianism
• +۳ مورد دیگر

Rex W. Mixon Jr. serves as an Adjunct Professor of Business Ethics at New York University's Leonard N. Stern School of Business since September 2005 and concurrently as an Adjunct Professor of Philosophy at St. Francis College. At NYU Stern, he teaches undergraduate courses including Law, Business and Society; Professional Responsibility and Leadership; and Business and Society. At St. Francis College, he instructs philosophy courses such as Moral Philosophy, Philosophy of Law, Theories of Human Nature, Happiness and Pleasure, Utilitarianism, and Greek Philosophy. His educational background spans multiple disciplines: B.A. from Davidson College M.A. in Philosophy from the University of Texas (specializing in ethics and Bentham's moral theory) M.B.A. with distinction from Cornell University Johnson Graduate School of Management J.D. from Cornell University School of Law Professor Mixon's research centers on business ethics through the lens of utilitarian philosophy, particularly Jeremy Bentham's theories. He applies New Institutional Economics frameworks to analyze law-business-society relationships, studies ancient economies for modern globalization insights, and examines Bentham's manuscripts on utility principles. His work bridges classical philosophy, economic history, and contemporary securities regulation, revealing how Epicurean thought influenced Bentham's utility theory and its applications to modern financial ethics. His scholarly output (2014-2024) demonstrates consistent focus on utilitarian theory across law, economics, and ethics, with recurring themes connecting historical philosophical concepts to current challenges like securities regulation, global poverty, and the rule of law. International presentations in London, Germany, France, Japan, and New York highlight his global academic engagement. Prior to academia, Mixon spent over 20 years as Vice President and Department Head in the NYSE Enforcement Division, managing a 30-attorney team that investigated securities law violations. This professional experience directly informs his academic focus on ethical issues in financial markets and regulatory frameworks. His leadership at the NYSE demonstrates significant team management capabilities, while his international conference participation reflects active involvement in scholarly communities examining the intersections of philosophy, law, and economic systems.

Jarek Nabrzyskiمشاهده پروفایل

استاد

• Quantum Computing
• Blockchain Technology
• Distributed Ledger Technologies
• +۴ مورد دیگر

Jarek Nabrzyski is the founding and current director of the Center for Research Computing (CRC) at the University of Notre Dame and a concurrent Professor in the Department of Computer Science and Engineering. He co-directs the Blockchain Research Lab with Ian Taylor and leads the Quantum Computing Lab. His research focuses on distributed ledger technologies, quantum computing, and resource management in distributed, cloud, and exascale systems. He has overseen over 50 national and international research projects developing cyberinfrastructure for science and industry, emphasizing collaboration and team-building in complex projects. Key areas of research include blockchain applications in decentralized systems, quantum algorithm optimization for near-term hardware, and cybersecurity protocols for data integrity. He actively engages in interdisciplinary initiatives like the Center for Social Science Research and has pioneered frameworks for verifiable credentials and reproducible scientific data. His work bridges theoretical advancements with practical industry partnerships. Notable contributions include hybrid cross-chain protocols, quantum Poisson solvers, and frameworks for blockchain trust analytics. His recent publications highlight advancements in AI-driven blockchain stabilization, suspicious transaction detection, and scalable quantum computing solutions. Despite no explicit mentions of awards, his leadership roles and project count underscore significant contributions to computational science and infrastructure. As a mentor, he fosters student engagement in cyberinfrastructure through initiatives like the Cyberinfrastructure Center of Excellence. His labs and collaborations drive innovation in quantum computing, blockchain interoperability, and high-performance computing systems. Current efforts include transparent data tracking for aerospace supply chains and secure scientific data reproducibility.

Joannes Westerinkمشاهده پروفایل

استاد

• Computational fluid dynamics
• Finite element methods
• Coastal ocean modeling
• +۳ مورد دیگر

Joannes Westerink is the Joseph and Nona Ahearn Professor in Computational Science and Engineering at the University of Notre Dame's College of Engineering. He holds concurrent faculty titles in the Departments of Aerospace and Mechanical Engineering, Earth Sciences, Computer Science and Engineering, and other disciplines. His research focuses on computational fluid dynamics, tidal hydrodynamics, and hurricane storm surge prediction. He earned his Ph.D. from MIT in 1984, followed by M.S. and B.S. degrees in Civil Engineering from SUNY Buffalo. Key research interests include finite element methods, coastal circulation modeling, and geophysical turbulence. In 2025, he was awarded the International Coastal Engineering Award for his contributions to storm surge forecasting and coastal hazard mitigation. Westerink leads the Computational Hydraulics Laboratory, advancing numerical models like STOFS (Surge and Tide Operational Forecast System) for global water level predictions. His recent work integrates AI-driven nudging techniques and machine learning to enhance model accuracy, with applications in disaster risk assessment and climate adaptation.

Asta Halkjær Fromمشاهده پروفایل

پژوهشگر

• Formal Logic
• Automated Reasoning
• Theorem Proving
• +۱۳ مورد دیگر

Asta Halkjær From is a postdoctoral researcher in the Department of Computer Science at the University of Copenhagen, affiliated with the Software, Data, People & Society (SDPS) section under Dmitriy Traytel. She previously completed her PhD at DTU Compute from 2020 to 2023, focusing on formalized deduction methods in computational logic. She holds a Master’s and Bachelor’s degree from DTU in Computer Science and Software Technology, respectively, with a specialization in Artificial Intelligence and Algorithms. Her research lies at the intersection of formal logic and computer science, particularly in automated reasoning, proof assistants (Isabelle/HOL and Lean), and mechanized metatheory. She has contributed extensively to synthetic completeness proofs, tableau systems, and verified theorem provers. Her work emphasizes formal verification of logical systems, including epistemic logic, hybrid logic, and first-order logic, with a focus on soundness and completeness. The recent publications highlight a consistent trend: the mechanization of logical foundations in proof assistants. Her work bridges theoretical logic with practical verification tools, enabling reliable automation in theorem proving. She has developed and verified provers, explored axiomatic systems, and advanced the methodology of synthetic completeness, often leveraging Isabelle/HOL’s framework. Distinguished Paper Award, CPP 2023 DTU Young Researcher Award DTU Travel Grant (Executive Board Recognition) Otto Mønsted Fonden Travel Grant She has supervised BSc and MSc theses, special courses, and research projects at DTU, and currently teaches Software Development for Digital Health . She has served on program committees for CPP, ITP, and Dalí workshops and has reviewed for journals including Journal of Automated Reasoning and Journal of Logic and Computation . She has also participated in international research visits, including at VU Amsterdam. She is actively involved in building tools for formal reasoning and maintains a personal website with resources, including an Isabelle snippets generator and bibliography tools. Her work continues to advance the foundations of formal logic through mechanized proofs and practical automation.

Elli Anastasiadiمشاهده پروفایل

استادیار

• Formal Verification
• Concurrency Theory
• Parallel Programs
• +۷ مورد دیگر

Elli Anastasiadi is an Assistant Professor in the Department of Computer Science at Aalborg University, part of the Technical Faculty of IT and Design. She is a member of the DEIS (Distributed, Embedded and Intelligent Systems) research group, which focuses on formal methods, verification, and intelligent systems. Prior to her current role, she was a postdoctoral researcher at Uppsala University and completed her PhD at Reykjavik University. Education: PhD in Computer Science, Reykjavik University (2022) Master’s in Applied Mathematics and Computer Science, NTUA, Greece Her research centers on formal verification of concurrent and parallel systems , with emphasis on runtime verification, process algebra, and logical foundations. She works extensively with hyperproperties, modal logic, and equational reasoning. Her work bridges theoretical computer science with practical verification tools. Recent publications show a strong trend in logic-based verification , particularly in modal and temporal logics, recursion, and monitor synthesis. Her work often involves complexity analysis and axiomatization of logical systems. Scientific Awards: PhD grant from Reykjavik University research fund She has advised no publicly listed students yet and is actively involved in academic service, including co-organizing workshops and being an invited speaker. She collaborates closely with leading researchers in concurrency theory and formal methods. Labs and Teams: Member of the DEIS research group at Aalborg University, contributing to projects on verification, distributed systems, and intelligent decision-making.

• Parallel Programming
• Dependently Typed Languages
• Concurrent Systems
• +۳ مورد دیگر

Dr Adam Barwell is a Lecturer and Researcher at the School of Computer Science, University of St Andrews. His research focuses on parallel programming, dependently typed languages, and formal methods in concurrent systems. He advises PhD student Leonid Nosovitskiy and has contributed to projects involving session types, distributed systems, and type-safe refactoring techniques. His educational background includes a PhD (not explicitly detailed here), and he actively engages in academic activities such as organizing events like Doors Open @ Computer Science 2025. Key research themes include concurrency control, functional programming paradigms, and improving code security through dependent types. Recent publications emphasize advancements in parallel language design, fault-tolerant protocols, and type-driven development. Collaborations span international conferences and institutions, reflecting his contributions to both theoretical and applied computer science domains.

• Disaster Management
• Public Health Preparedness
• Emergency Response
• +۵ مورد دیگر

Dr. Curt Harris is an Associate Professor and Director of the Institute for Disaster Management (IDM) at the University of Georgia's College of Public Health. He holds concurrent appointments in Health Policy & Management and Epidemiology & Biostatistics. His roles include overseeing undergraduate and graduate educational programs, directing IDM's research and outreach initiatives, and serving as a liaison between the college administration and external partners. Dr. Harris earned a BS in Chemistry from Georgia College and State University and a PhD in Toxicology from UGA. His career at UGA spans over a decade, encompassing staff and faculty roles before becoming IDM Director. His research focuses on disaster management, public health preparedness, and emergency response systems, with recent emphasis on healthcare workforce resilience, nuclear event response, and pandemic preparedness. His recent publications highlight interdisciplinary approaches to disaster challenges, including nuclear fallout modeling, CNA staffing shortages, and integrating machine learning in burn patient outcomes. Dr. Harris leads major projects like the South Carolina Low Country Emergency Preparedness Program and the Southern Regional Disaster Response System. His work has been featured in media outlets like NPR, CBS46, and the Huffington Post. Dr. Harris teaches courses such as Introduction to Disaster Management and Public Health Crises and Disaster Management . He advocates for disaster education as a core competency in public health curricula. His professional service includes coordinating the CPH graduate program and advising on emergency medical protocols.

Camille Warringtonمشاهده پروفایل

پژوهشگر ارشد

• Children's Rights
• Child Sexual Abuse
• Domestic Abuse
• +۵ مورد دیگر

Dr. Camille Warrington serves as an Honorary Fellow in Social Work at the University of Edinburgh, working part-time as Research Fellow on Scotland's first Barnahus (Bairns Hoose) evaluation. She concurrently leads the Young Researchers Advisory Panel at the Safer Young Lives Research Centre (University of Bedfordshire), integrating lived experience into child abuse research. Her research centers on children's rights within interpersonal, domestic, and sexual violence contexts through qualitative and participatory methodologies. Key interests include child sexual abuse, domestic abuse, extra-familial harms, and the critical interplay between protection and participation rights in child-friendly justice systems. She specializes in trauma-informed practices and service response evaluations for young victims. Recent publications (2015-2022) reveal consistent focus on participatory approaches in child protection, emphasizing youth voice integration in research design and service implementation. Collaborations with the University of Bedfordshire dominate her work, addressing practical interventions for sexual abuse victims through Barnahus models, online safety frameworks, and mental health support systems. Dr. Warrington directs the Young Researchers Advisory Panel while securing grants from People's Postcode Lottery, Scottish Government, AHRC, Samworth Foundation, NSPCC/ESRC, and Children's Commissioner for England. Projects span Bairns Hoose evaluation, online sexual harm analysis, participatory photography studies, and mental health initiatives for abuse survivors. She operates through the Safer Young Lives Research Centre (Bedfordshire) and Edinburgh's Social Work department, driving multi-agency partnerships to transform child protection systems via youth participation and evidence-based practice.

Yoon Pakمشاهده پروفایل

استاد

• History of Intercultural Education
• Asian American Education
• Systemic Racism in Education
• +۳ مورد دیگر

Yoon Pak is a Professor in the Department of Education Policy, Organization and Leadership at the University of Illinois Urbana-Champaign, with concurrent appointments in Asian American Studies and the Center for Global Studies. She specializes in the history of American education, focusing on racial minorities and immigrant groups, particularly Asian Americans. Education Policy, Organization and Leadership , University of Illinois Asian American Studies , University of Illinois Center for Global Studies , University of Illinois Research Interests: Her research examines intercultural education from the 1930s-1950s, Asian American education history, and systemic racism in educational systems. Past work includes analysis of Japanese American schooling during WWII incarceration. Teaching: Pak teaches courses on Asian American education, diversity and equity, thesis seminars, and general/special field research seminars for doctoral students. Scientific Awards: Teaching Equitable Asian American Community History (TEAACH) Act Grant (2022) Publications: Her recent work spans topics including cultural wars in education, online graduate student engagement, social justice in literature instruction, and systemic racism critiques. She also contributes to editorial work as an associate editor for the History of Education Quarterly. Service & Leadership: She serves as Head of the Department of Education Policy, Organization and Leadership and mentors doctoral students through thesis development processes.