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

Donal Palcicمشاهده پروفایل

دانشیار

• Public Sector Economics
• Infrastructure Policy
• Privatisation
• +۴ مورد دیگر

Donal Palcic is an Associate Professor in the Department of Economics at the University of Limerick's Kemmy Business School. His research focuses on public sector economics, infrastructure policy, privatisation, and public-private partnerships (PPPs), with a strong emphasis on Ireland and international policy analysis. Key Research Areas: Public-Private Partnerships, Privatisation, Infrastructure Policy, Productivity Analysis, State Capitalism. Teaching: Microeconomics, Public Finance, and International Economics at UL, with prior Visiting Professor roles in France. Leadership: Assistant Dean International (2016–2025) at Kemmy Business School, driving international partnerships. Collaborations: Affiliated with the Privatisation and PPPs Research Group (P4) and the Cornell Program for Infrastructure Policy. Recent publications analyze Ireland's PPP governance, hybrid state capitalism in telecommunications, and global student mobility impacts. His work aligns with UN Sustainable Development Goals related to infrastructure and public policy.

Nathorn Chaiyakunaprukمشاهده پروفایل

استاد

• Evidence Synthesis
• Health Technology Assessment
• Global Health
• +۴ مورد دیگر

Nathorn Chaiyakunapruk is a Professor in the Department of Pharmacotherapy at the University of Utah College of Pharmacy . He holds an adjunct appointment in Population Health Sciences and serves on multiple institutional committees including the Global Health Steering Committee and Health Economics Core at CTSI . His academic leadership extends to international roles with the World Health Organization and founding initiatives like the ISPOR Asia Consortium . Education : PhD in Pharmaceutical Outcomes Research, University of Washington PharmD, University of Wisconsin-Madison BS in Pharmaceutical Science, Chulalongkorn University Research Interests span health technology assessment , global health economics , and evidence synthesis . His work applies methodologies like network meta-analysis and umbrella reviews to address health equity, infectious disease modeling, and pharmaceutical policy. Recent studies focus on social determinants of health and vaccine economic value . Article Trends highlight collaborations in AI-assisted systematic reviews , vaccine rollout optimization , and health disparities . His publications frequently address cost-effectiveness and global health burden across infectious and non-communicable diseases. Scientific Awards : Senior Class (P4) Distinguished Teacher (2022) NRCT Outstanding Research Award (2019, 2012) Monash University PVC Research Award (2015) Nagai Research Foundation Awards (2006-2010) ISPOR Task Force Leadership (CHEERS 2022) Teaching & Service : Courses include Systematic Review and Meta-analysis and Global Health Policy . He chairs the Asia Pacific Evidence-based Medicine Network and advises WHO on vaccine economics and Thailand’s National Health Security Office on pharmaceutical policy.

Peng Gaoمشاهده پروفایل

استادیار

• Cybersecurity
• Network Security
• AI for Security
• +۷ مورد دیگر

Peng Gao is an Assistant Professor in the Department of Computer Science at Virginia Tech. He is affiliated with the Virginia Tech Security & Intelligence Lab and holds a Ph.D. in Electrical Engineering from Princeton University. Prior to his faculty position, he was a postdoctoral researcher at UC Berkeley and held research internships at Microsoft Research, Facebook, and NEC Laboratories America. Education includes a B.Eng. from Shanghai Jiao Tong University (2009-2013), M.A. and Ph.D. from Princeton (2013-2019), and an exchange program at the University of Hong Kong (2012). Key roles include Technical Program Committee memberships for conferences like IEEE S&P, USENIX Security, and CCS. Research focuses on Cybersecurity (APT prevention, network security with P4/eBPF) AI applications (LLMs for security, AI safety) Systems security (attack investigation, threat intelligence) AI for science (molecular/materials prediction) Notable awards include the 2022 Amazon-VT Initiative Faculty Award, CCI Fellowships, and multiple best paper nominations. His lab has received grants from CCI, NSF, and industry partners like Google Cloud and Cisco. Teaching includes courses on Principles of Computer Security (CS 4264) and Blockchain Technologies (CS 5594). He advises ~20 students across Ph.D., MS, and undergraduate levels.

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

دانشیار

• Cybersecurity
• Blockchain Technologies
• Artificial Intelligence
• +۳ مورد دیگر

Karim ZKIK is an Associate Professor of Cyber Security and Information Systems at ESAIP Graduate School of Engineering, Angers, France. Previously, he served as an Assistant Professor at the International University of Rabat (UIR), Morocco. His roles include Educational Manager of the Cyber Security track, Head of the Cybersecurity Innovation Hub, and committee member for ABET certification and curriculum design. He actively contributes to academic service, organizing conferences such as the International Conference on Cryptology, Coding Theory, and Cyber Security (I4CS 2022), and serves as a Guest Editor for Computers and Industrial Engineering . His research focuses on cybersecurity for connected systems, blockchain technologies, AI-driven security solutions, and cyber resilience in industrial control systems. Recent work explores integrating blockchain and machine learning for threat detection, secure IoT networks, and supply chain resilience. Key contributions include frameworks for cyber resilience in retail and airlines, blockchain-based crowdfunding security, and SDN-based attack mitigation. ZKIK holds a Habilitation (2024) and PhD in Cyber Security from Université d’Angers and Mohamed V University, Rabat. He holds over 20 certifications from EC-Council, IBM, and Cisco. His work bridges theoretical research and industry applications, addressing challenges in smart environments, industrial systems, and sustainable supply chains.

Ahmed Karmouchمشاهده پروفایل

استاد

• Network Slicing
• Software Defined Networking
• Named Data Networking
• +۵ مورد دیگر

Professor Ahmed Karmouch is a faculty member at the University of Ottawa's School of Electrical Engineering and Computer Science. He holds a Ph.D. and specializes in advanced networking research, including Network Slicing, Software Defined Networks (SDN), Named Data Networking (NDN), and Cloud Computing. His IMAGINE Lab focuses on developing innovative solutions for autonomic and cognitive networks, emphasizing programmable data planes and in-network computing. Research Interests: Network Slicing Software Defined Networking Named Data Networking Programmable Data Plane Intelligence In-Network Computing Ambient Intelligence & IoT Publications reflect a focus on SDN, NDN, and cloud infrastructure optimization. His work often bridges theory and practical implementation, addressing challenges in network efficiency, reliability, and scalability. Supervised over 30 graduate students, contributing to advancements in edge computing, virtual networks, and autonomic systems. Labs/Teams: Leads the IMAGINE Lab, dedicated to research in mobile autonomic networks, context-aware systems, and future broadband infrastructure. Projects include WiMAX security, policy-based overlay networks, and semantic resource discovery.

Robert Souléمشاهده پروفایل

دانشیار

• Distributed Systems
• Networking
• Programming Languages
• +۴ مورد دیگر

Robert Soulé is an Associate Professor in the Departments of Computer Science and Electrical Engineering at Yale University, and holds an Adjunct Professor position at the Università della Svizzera italiana (USI) in Lugano, Switzerland. His research focuses on distributed systems, networking, and applied programming languages, with notable contributions to in-network computing, consensus protocols, and energy-efficient systems. He received his B.A. from Brown University and his Ph.D. from New York University, followed by postdoctoral work at Cornell University. Education: B.A. in Computer Science, Brown University, 1999 Ph.D. in Computer Science, New York University, 2012 Research Interests: Dr. Soulé’s work spans distributed systems, networking, and programming languages, emphasizing practical systems such as in-network computing, consensus algorithms (e.g., NetPaxos), and carbon-aware networking. His research bridges theory and practice, addressing challenges in scalability, performance, and sustainability. Articles Trends: Recent work includes innovations in quantum networks (algebraic specifications), carbon-aware networking (energy efficiency), and system optimization (e.g., P4-based data plane verification). He explores network programmability, microservices acceleration, and zero-copy serialization techniques. Awards: Best Paper Awards at ACM DEBS 2012, NSDI 2018, and CoNEXT 2020 Google Faculty Research Award IBM Invention Plateau Award Advising and Grants: He has advised numerous PhD students and postdocs, including Pietro Bressana (Intel Corporation) and Theo Jepsen (Stanford Postdoc). His grants support projects in networked systems, distributed computing, and sustainable infrastructure. Labs/Teams: Active in Yale’s Systems Research group, collaborating on projects like NetChain (sub-RTT coordination) and P4-based systems (e.g., P4xos for consensus). Engages with industry through partnerships on microservices optimization and energy-efficient networking.

Andreas J. Kasslerمشاهده پروفایل

استاد

• Software Defined Networking
• Programmable Dataplanes
• Network Virtualization
• +۷ مورد دیگر

Andreas J. Kassler is a Full Professor of Computer Science at Karlstad University, Sweden, where he has been since 2005. He co-chairs the Distributed Systems and Communication (DISCO) group and focuses on networking, cloud computing, and wireless networks. His research includes software-defined networking, future internet architectures, and network optimization. He has authored/co-authored over 130 peer-reviewed publications, holds 6 patents, and serves on editorial boards of journals like Journal of Internet Engineering . Education : Ph.D. in Computer Science, Universität Ulm (2002) Docent (Habilitation), Karlstad University (2007) M.Sc. in Mathematics/Computer Science, Universität Augsburg (1995) Research Interests : Software Defined Networking (SDN) Programmable Dataplanes Wireless Mesh Networks Time-Sensitive Networking (TSN) Edge Computing Machine Learning for Network Optimization Recent Directions : His work spans TSN scheduling, hybrid P4 solutions for 5G, and explainable AI in energy communities. He explores network resilience, latency optimization, and multi-objective control in microgrids. Service Contributions : Track co-chair for VTC 2015 General chair for Wired/Wireless Internet Communications (WWIC) 2013 Editor-in-Chief of IARIA Journal on Advances in Internet Technology Labs/Teams : Leads DISCO group at Karlstad University. Collaborates with global teams on projects like mmWave backhaul networks and SDN-enabled industrial control systems.

• Program Verification
• Proof Engineering
• Formal Methods
• +۴ مورد دیگر

Karl Palmskog is a Lecturer at KTH Royal Institute of Technology in the Division of Theoretical Computer Science and the STEP research group. His work focuses on program verification and proof engineering, with particular emphasis on developing techniques and tools based on proof assistants for constructing functionally correct and secure software systems. Palmskog received his Ph.D. in Computer Science in 2014 from KTH, advised by Mads Dam, and his M.Sc. in Computer Science and Engineering from KTH in 2007. Prior to his current position, he was a postdoc at The University of Texas at Austin and University of Illinois at Urbana-Champaign. His research interests span programming languages, software engineering, and formal verification, with a particular focus on developing techniques and tools based on proof assistants. He is an avid user of the Coq proof assistant for both proving and programming, often complemented by OCaml, and also utilizes HOL4 and other ML family dialects. His work bridges theoretical foundations with practical applications, particularly in the domains of blockchain systems, distributed systems, and automotive software verification. Analysis of his recent publications reveals a strong focus on Coq-based verification, with significant contributions to proof engineering tools and methodologies. His work includes developing tools for regression proving, change impact analysis, mutation testing for Coq projects, and lemma name suggestion using deep learning. There's also a growing trend toward applying formal methods to real-world systems like blockchain protocols and automotive software. Palmskog has been involved in several research projects, including Coq-community Proof Engineering and Distributed Components. His past projects include Trustfull (SSF), Model-based Event Driven Scalable Programming for the Mobile Cloud (NSF), Highly Adaptable and Trustworthy Software (EU FP7), and 4WARD Future Internet (EU FP7). As an educator, Palmskog has served as examiner, course responsible, teacher, and assistant for various courses including Algorithms, Data Structures and Complexity; Degree Projects; Game Theory; Parallel and Distributed Computing; and Programming Paradigms. His work on Chip, a Coq formalization of change impact analysis, demonstrates his commitment to creating practical, certified tools that bridge formal methods with software engineering practice.

• Cybersecurity
• Cyber Analytics
• Digital Forensics
• +۴ مورد دیگر

Nicole L. Beebe is a Professor at the Alvarez College of Business, The University of Texas at San Antonio , specializing in cybersecurity, cyber analytics, and digital forensics. With over two decades of experience spanning academia, government, and industry, she has contributed extensively to research on insider threats, IoT security, and threat hunting. Ph.D. in Business Administration (Information Technology), UTSA MS in Criminal Justice, Georgia State University BS in Electrical Engineering, Michigan Technological University Her research explores cybersecurity challenges in emerging technologies, including quantum computing, IoT, and large language models. She has pioneered studies on cyberbullying dynamics, forensic automation, and AI-driven threat detection. Recent publications focus on adversarial image obfuscation , VR for security operations , IoT forensic methodologies , and deepfake detection frameworks , reflecting interdisciplinary work at the intersection of security, AI, and digital evidence. 2022 Best Paper Award, Journal of Network & Computer Applications Senior Member, IEEE and ACM Senior Fellow, Information Systems Security Association As an Associate Editor for Computers & Security , she shapes the field through peer review. Her $14M+ in funding from NSF, DHS, and DoD underscores her impact on advancing cybersecurity research and education.

• Networked Systems
• Computer Networking
• Communications Engineering
• +۴ مورد دیگر

Professor Mark Handley is a Professor of Networked Systems in the Department of Computer Science at University College London. His research focuses on network architecture, protocols, and systems with a particular emphasis on low-latency networking, datacenter networks, and network security. Education: Doctor of Philosophy, University College London (1997) Bachelor of Science (Honours), University College London (1988) Professor Handley's research spans multiple areas of computer networking with a focus on practical, deployable solutions. His work addresses fundamental challenges in network architecture, including low-latency routing, congestion control, network security, and datacenter networking. He has made significant contributions to Multipath TCP, congestion control algorithms, and network security protocols. His research often bridges theoretical foundations with practical implementation, ensuring real-world applicability of his innovations. His recent publications demonstrate a continued focus on cutting-edge networking challenges, particularly in low-latency routing, datacenter networks, and network security. The trend shows increasing attention to space-based networking, in-switch processing, and novel approaches to congestion control. His work consistently addresses the fundamental tension between theoretical network design and practical deployment constraints. Scientific Awards: IEEE Internet Award (2012) Usenix NSDI Best Paper Award (2011) ACM SIGCOMM Test of Time Award (2011) Roger Needham Award (2007) Professor Handley has served on numerous program committees including ACM SIGCOMM and Usenix NSDI. His work has influenced both academic research and industry standards, with contributions to IETF RFCs including Multipath TCP and TCP encryption. He has mentored numerous students and researchers who have gone on to make significant contributions in the networking field. His research group at UCL focuses on next-generation network architectures, with particular expertise in low-latency routing, datacenter networks, and network security. The group maintains strong collaborations with industry partners to ensure practical relevance of their research.

• Computer Networking
• Software-Defined Networking (SDN)
• Distributed Systems
• +۳ مورد دیگر

Mario Baldi is a researcher affiliated with the Polytechnic University of Turin, Italy , with significant contributions to computer networking , distributed systems , and software-defined networking . Key research themes: network function virtualization , programmable dataplanes , time-driven scheduling , and traffic analysis . Recent work focuses on RDMA-enabled compute offloading (2023) and DNN inference in network data planes (2023). Longstanding expertise in multicast routing , voice/data packet efficiency , and XML-based protocol parsing (2000–2006). Collaboration network includes Yoram Ofek , Fulvio Risso , and Han Hee Song , with 99+ publications spanning 1994–2023.

Kinan Dak Albabمشاهده پروفایل

استادیار

• Data Privacy
• Systems Security
• Secure Computation
• +۷ مورد دیگر

Kinan Dak Albab is an Assistant Professor at the Faculty of Computing and Data Sciences (CDS) at Boston University, where he joined in summer 2024. His research spans systems, cryptography, and programming languages, focusing on building practical tools for data privacy and compliance-by-construction. He has developed influential systems such as Sesame, K9db, and DP-PIR, which have been published in top venues like SOSP, OSDI, and USENIX Security. PhD in Computer Science, Brown University MS in Computer Science, Boston University (2020) BS in Computer Science, American University of Beirut (2015) Kinan's research centers on data privacy , secure computation , and systems security . He designs tools that allow developers to build applications that are privacy-compliant by construction. His work leverages systems design, cryptographic protocols, and language-level enforcement to reduce developer burden while ensuring strong privacy guarantees. He is particularly interested in GDPR compliance, private information retrieval, and usability of secure systems. His publications span high-impact areas including end-to-end privacy enforcement (Sesame), database systems with built-in privacy (K9db), and efficient private information retrieval (DP-PIR). These works combine systems performance with strong theoretical foundations, enabling real-world deployment in domains like wage gap analysis and public policy. Presidential Award for Excellence in Teaching, Brown University (2025) Teaching Excellence Award, Boston University (2020) Vivli and Microsoft datatheon Outstanding Graduate Submission (2019) Hariri Institute Graduate Fellow (2017–2020) Mark Sawaya Excellence Award, AUB (2015) 1st Place, ACM Lebanese Collegiate Programming Contest (2015) Kinan has advised and collaborated on real-world secure computation deployments, including a project with the Boston Women's Workforce Council and the Greater Boston Chamber of Commerce to measure wage gaps across over 100 companies. His work contributed to the formation of the startup nthparty and has been cited in the White House’s National Strategy on Privacy-Preserving Data Sharing, the UN Handbook on Privacy-Preserving Computation, and the European Commission’s report on Technological Enablers for Privacy. He is the lead developer of the JIFF framework for secure multi-party computation on the web and has created tools like Carousels for resource estimation in secure programs. He leads the ETOS group and is affiliated with multiparty.org , an initiative focused on advancing privacy-preserving technologies through open-source tools and real-world applications.

Yeşim AYDIN SONمشاهده پروفایل

استادیار

• Bioinformatics
• Translational Bioinformatics
• Personalized Medicine
• +۵ مورد دیگر

Assist. Prof. Dr. Yeşim AYDIN SON is a faculty member at Middle East Technical University (METU) Informatics Institute, Health Informatics Department, with a focus on translational bioinformatics and personalized medicine. She leads the METU Bioinformatics Graduate Program and has developed innovative software tools like METU-SNP and pi-SNP for genomic research. Education: MD from Hacettepe University Medical School, PhD in Genome Sciences & Technology from University of Tennessee, Knoxville Key Roles: Chair of Health Informatics Department, former Bioinformatics Program Coordinator Research Collaborations: University of Barcelona, European Institutes Her research integrates genomics and environmental data to advance clinical applications under P4 Medicine (Preventive, Predictive, Personalized, Participatory). She emphasizes translating bioinformatics findings into clinical decision support systems. She has received recognition for her work, including awards at the iGEM competition and funding through METU BAP, TUBITAK 1001, and Teknogirişim programs. Her team transformed the METU-SNP desktop application into a web-based platform and co-developed the M4B software for synthetic biology design. Scientific contributions include: Development of METU-SNP/pi-SNP for SNP-disease association analysis Leadership in FP7 project on chronic disease prediction via probabilistic methods Co-instruction of METU-BIN Software Team at iGEM

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Formal Verification
• +۳ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and a Visiting Researcher at Jane Street . During the 2023-24 academic year, he served as a Visiting Professor at EPFL in the Data Center Systems Laboratory. His research bridges Programming Languages and Networking , focusing on formal verification, data plane programming, and language design for networked systems. His recent work includes developing symbolic automata for network verification (e.g., Active Learning of Symbolic NetKAT Automata , StacKAT ), creating efficient verifiers like KATch , and advancing type safety in data plane programming (e.g., SafeP4 ). These efforts span formal methods, algorithm optimization, and practical networked systems. Notable scientific awards include: NSF CAREER Award Sloan Research Fellowship ACM SIGCOMM Rising Star Award ACM SIGPLAN Robin Milner Award He actively contributes to PLDI, POPL, OOPSLA, and ICFP, serving as author, editor, and committee member. His GitHub repositories include tools for academic website templates and programming language research codebases.

Daniel Scottمشاهده پروفایل

مدرس

• Molecular Inorganic Chemistry
• Photochemistry
• Photocatalysis
• +۷ مورد دیگر

Daniel Scott is a Lecturer in the Department of Chemistry at the University of Bath , where he leads the Scott Research Group. He is affiliated with the Institute of Sustainability and Climate Change, reflecting the environmental impact of his work. His research is supported by major funding bodies including the Engineering and Physical Sciences Research Council (EPSRC) and The Leverhulme Trust. Position: Lecturer, Department of Chemistry Institution: University of Bath Research Group: Scott Research Group Funding: EPSRC, Leverhulme Trust Daniel Scott's research is centered on molecular inorganic chemistry , with a strong emphasis on photochemistry , photocatalysis , and main group chemistry . His group explores novel reactivity patterns, particularly those mimicking transition metal behavior using earth-abundant p-block elements like phosphorus. Key research themes include the isolation of reactive radical intermediates, small molecule activation (e.g., N 2 , CO 2 ), and the development of sustainable chemical transformations using light-driven processes. The recent publications highlight a consistent trend in phosphorus chemistry and photoredox processes . Articles focus on functionalizing elemental phosphorus, studying radical intermediates in photoredox cycles, and developing low-waste synthetic methods. These works demonstrate a strong interdisciplinary approach combining synthesis, mechanistic studies, and sustainable chemistry principles. Daniel Scott is actively involved in securing research funding and mentoring early-career researchers. He is currently accepting doctoral students and hosts postdoctoral fellows through schemes such as the Leverhulme Trust and Feodor Lynen Fellowship. His group collaborates with other research teams, including the Wolf Group at the University of Bath, and supports international PhD applicants through various scholarship programs. The Scott Research Group operates in state-of-the-art laboratories and maintains a strong commitment to equality, diversity, and inclusion, welcoming researchers from all backgrounds. The group is active on social media platforms such as Bluesky and X, disseminating research findings and recruitment opportunities.