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

Matthew Louis Maurielloمشاهده پروفایل

استادیار

• Human-Computer Interaction
• Ubiquitous Computing
• Sustainability
• +۷ مورد دیگر

Matthew Louis Mauriello is an Assistant Professor in the Department of Computer and Information Sciences at the University of Delaware , where he directs the Sensify Lab . He holds a PhD in Computer Science from the University of Maryland (2018) and completed postdoctoral work at Stanford University (School of Medicine, 2020; School of Public Policy & Environmental Engineering Department, 2019). Research interests span Human-Computer Interaction (HCI), Ubiquitous Computing, and User-Centered Design with applications in: Sustainability Human-Building Interaction Wearable Technology Personal Informatics Educational Game Design Mental Health Interventions Recent publications highlight trends in stress monitoring (skin-like biosensors, workplace wellbeing), energy auditing (thermography systems), and educational technology (block-based programming tools for teachers). His work appears in ACM CHI, ACM Human-Computer Interaction, and Building and Environment. Scientific awards include: Best Paper Honorable Mention, CHI 2016 Best Paper Honorable Mention, CHI 2015 Best of WebSci'18 Teaching at University of Delaware encompasses courses like Educational Game Design Operating Systems Advanced Web Technologies Computing for Social Good with a focus on project-based learning and systems thinking.

Blase Urمشاهده پروفایل

دانشیار

• Computer Security
• Privacy
• Human-Computer Interaction (HCI)
• +۴ مورد دیگر

Blase Ur is an Associate Professor of Computer Science at the University of Chicago, leading the UChicago SUPERgroup (Security, Usability, & Privacy Education & Research group). His research focuses on data-driven methods to improve online security, privacy, and usability of complex systems. He holds a PhD from Carnegie Mellon University and an AB from Harvard University. Education: PhD in Societal Computing, Carnegie Mellon University (2016) AB in Computer Science, Harvard University Research Interests: Blase's work spans computer security, privacy, HCI, and ethical AI. He develops tools like password meters, privacy transparency systems, and IoT security solutions. His SUPERgroup emphasizes interdisciplinary collaboration, with projects addressing data-driven decision-making and usability challenges in AI and IoT. Articles Trends: Recent work includes studies on ad transparency systems, user perceptions of privacy in AI, and barriers to passwordless authentication. Research often combines empirical user studies with technical implementations to bridge gaps between security mechanisms and user needs. Awards: NSF CAREER Award (2021) Quantrell Award for Teaching (2021) SIGCHI Outstanding Dissertation Award (2018) Advising & Grants: Advisor to PhD students like Kevin Bryson. Secured grants from NSF, Mozilla, and Meta. Active in outreach to broaden CS participation, including K-12 programs. Labs & Teams: Co-director of the SUPERgroup and affiliated with the Systems Group and CERES Center for Unstoppable Computing at UChicago.

Tim Althoffمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Human-Centered Computing
• Data Science
• +۵ مورد دیگر

Tim Althoff is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering, University of Washington, specializing in Artificial Intelligence and Human-Centered Computing. His research focuses on behavioral data science, combining Data Science Natural Language Processing Social Computing Human-Centered AI Ethics & Fairness to extract insights about health and well-being. Recent publications highlight advancements in: Mental health support through AI Wearable sensor health monitoring Online community analysis Reproducibility in data science Public health interventions with notable papers in ACL, Nature Machine Intelligence, and NeurIPS. Scientific recognition includes: ACL 2023 Outstanding Paper Award WWW 2021 Best Paper Award Double ICWSM 2021 Best Paper Awards SIGKDD Dissertation Award 2019 Fulbright Scholarship German National Merit Foundation Actively mentoring postdoctoral researchers and seeking PhD students in areas like neural representation learning, NLP applications to psychology, and mobile health technologies through his Behavioral Data Science Group .

• Human-Computer Interaction
• Data Visualization
• Software Adaptability
• +۴ مورد دیگر

James R. Eagan is an Associate Professor in the Computer Science and Networks Department (Infres) at Télécom Paris , part of the Institut Polytechnique de Paris. He is also a Visiting Professor at the University of Colorado, Boulder for the 2024–25 academic year. His research focuses on making computers more expressive tools for human interaction, emphasizing malleable software, collaborative dynamic media, and multi-surface environments. His work spans Human-Computer Interaction , Data Visualization , and User Interface Programming . A key theme involves adapting software for user-driven customization, exemplified by projects like Webstrates (shareable dynamic media) and SchemeLens (semantic zoom for technical diagrams). He also explores uncertainty in data analytics and gesture-based interfaces for experts. Recent publications from 2020–2024 address Explainable AI (XAI) , Financial Crime Detection , and Interactive Data Analysis . His tools Tarantula and SchemeLens have received acclaim, including the 2015 ACM SIGSOFT Impact Award and Best Paper at UIST 2015. Scientific accolades include: Prix de l’Impact 2015 d’ACM SIGSOFT Best Paper Award at UIST 2015 Honorable Mention at CHI 2017 He teaches courses in Mobile Application Development , Human-Computer Interaction , and Data Visualization . His lab, DIVA (Design, Interaction, Visualization & Applications), operates within the Information Processing and Communication Laboratory (LTCI). He actively recruits PhD candidates and postdocs for research in these domains.

Lin Tanمشاهده پروفایل

استاد

• Software-AI synergy
• Software dependability
• Software engineering
• +۷ مورد دیگر

Lin Tan is a Professor of Computer Science at Purdue University , holding the Mary J. Elmore New Frontiers Professorship . She joined Purdue in 2019 after serving as a Canada Research Chair and associate professor at the University of Waterloo. She is an ACM Distinguished Member and IEEE Senior Member . Education: PhD in Computer Science, University of Illinois Urbana-Champaign BS in Computer Science and Technology, Zhejiang University Research Interests: Professor Tan’s research lies at the intersection of software engineering , artificial intelligence , and security . Her work focuses on software-AI synergy , software dependability , defect detection & repair , and software text analytics . She leverages machine learning and natural language processing to enhance software reliability, and conversely uses software techniques to improve the dependability of AI systems. Her recent projects include building binary foundation models (Nova), evaluating large language models for code generation and repair, and developing interactive debugging tools that reduce debugging time by one-third. She also explores robot task planning with LLMs and automated front-end development . Awards & Honors: Best Paper Award Finalist, ICRA 2025 ELATES Fellow, 2024-2025 ACM SIGSAC Distinguished Paper Award, CCS 2024 J.P.Morgan AI Faculty Research Awards (2020, 2021, 2022) ACM SIGSOFT Distinguished Paper Awards (ASE 2020, MSR 2018, FSE 2016) Canada Research Chair (2017) Ontario Early Researcher Award (2015) NSERC Discovery Accelerator Supplements Award (2015) Google Faculty Research Awards (2010, 2014) IEEE Micro Top Picks (2006) Advising & Funding: Professor Tan currently advises eight PhD students and has graduated 20+ PhD and Master’s students now thriving in academia (York University, Concordia University, University of Alberta) and industry (Microsoft, Meta, Amazon, Google). Her group is generously supported by NSF , Meta/Facebook Research Awards , J.P.Morgan AI Faculty Awards , and NSF REU programs. Labs & Teams: She leads the Software Reliability & AI Lab at Purdue, recruiting postdocs, PhD, MS, and undergraduate researchers year-round. Lab interests span binary recovery , LLM-based program repair , testing deep-learning libraries , and data-free model extraction .

Stefania Dumbravaمشاهده پروفایل

دانشیار

• Formal methods for databases
• Graph databases
• Property graphs
• +۷ مورد دیگر

Stefania Dumbrava is an Associate Professor of Computer Science at ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) and a permanent member of the ACMES team in the SAMOVAR laboratory at Télécom SudParis, Institut Polytechnique de Paris. She is also actively involved in the Property Graph Schema Working Group and the European Research Network on Formal Proofs (EuroProofNet). Education PhD in Computer Science, Université Paris-Sud (2016) MSc in Computer Science, Jacobs University Bremen (2012) BSc in Mathematics, Jacobs University Bremen (2010) Research Interests Dumbrava's research lies at the intersection of formal methods and data management . She designs and verifies algorithms and systems for graph databases , with emphasis on property graphs , schema discovery , query optimization , and distributed graph processing . Recently, her work focuses on certifying large-scale distributed graph systems under the ANR JCJC VERDI project (2025–2029). Awards & Honors SIGMOD Best Paper Award 2023 – “PG-Schema: Schemas for Property Graphs” SIGMOD Research Highlight Award 2023 – “Threshold Queries” VLDB 2022 Best Regular Research Paper Runner-Up – “Threshold Queries in Theory and in the Wild” SIGMOD 2025 Distinguished Reviewer Award ICDE 2025 Best Program Committee Member Award EASST Best Software Science Paper Award, ICGT 2025 Students & Grants Dumbrava has supervised numerous research interns and is actively recruiting PhD students for her ANR VERDI project on verified foundations of large-scale distributed graph systems. She has also served on six PhD thesis committees as examiner since 2021. Labs & Teams She leads the ACMES research group within the SAMOVAR laboratory (Télécom SudParis, Institut Polytechnique de Paris), where her team develops formally verified graph-database engines and tools such as GRASP, VerDILog, and DatalogCert.

George H. Chenمشاهده پروفایل

دانشیار

• Trustworthy Machine Learning
• Time-to-Event Prediction
• Survival Analysis
• +۳ مورد دیگر

George H. Chen is an Associate Professor at Carnegie Mellon University , with dual affiliations in the Heinz College of Information Systems and Public Policy and the Machine Learning Department . His research focuses on trustworthy machine learning methods for temporal reasoning , particularly in health applications such as time-to-event prediction (survival analysis) and electronic health records analysis . He has extensive experience in nonparametric methods requiring minimal data assumptions. Educational Background PhD in Electrical Engineering and Computer Science, MIT (2015) SM in Electrical Engineering and Computer Science, MIT (2012) BS in Electrical Engineering and Computer Sciences & Engineering Mathematics and Statistics, UC Berkeley (2010) His work spans survival analysis , deep learning , and time series modeling , with applications in neurological prognostication , medical adherence , and health equity . He has developed self-contained educational resources including a 2024 monograph on deep survival analysis and tutorials at CHIL and SIGMETRICS. His 2025 course 95-865: Unstructured Data Analytics focuses on practical unstructured data analysis techniques. Notable projects include advising the AgriTech startup CoolCrop , which provides cold storage and market forecasts for Indian farmers serving 9,000+ farmers across 7 states. His Google Scholar publications reveal a strong focus on temporal modeling in healthcare, with recent advancements in neural survival analysis and fairness-aware temporal prediction.

• Computer Networks
• Programmable Infrastructures
• Cloud Computing
• +۵ مورد دیگر

Dr. Theophilus A. Benson is a Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, with additional responsibilities at Carnegie Mellon University-Africa. His research group focuses on improving network performance and availability through models, algorithms, and frameworks that manage network state semantics. Key application areas include addressing the digital divide, optimizing microservices/cloud systems, software-defined networks, and CDN designs. Education: Ph.D., University of Wisconsin, Madison (2012) M.S., University of Wisconsin, Madison (2008) B.S., Tufts University (2004) Research Focus: Professor Benson's work spans three core domains: Democratizing Web Performance (measurements and optimizations for developing regions), Systems Abstractions for Programmable Infrastructures (eBPF/P4 frameworks), and Self-Managing Networks (ML-driven configurations). His African Internet Observatory initiative analyzes Africa's internet ecosystem to address digital inequity through assessment probes and statistical methods. Publication Trends: Recent works (2021-2024) demonstrate a strong focus on programmable networks (eBPF/P4 management), web performance in developing regions, and data-driven cloud/CDN optimizations. Earlier foundational work established expertise in SDN fault tolerance, network updates, and video streaming characterization. Awards & Honors: SIGCOMM Test of Time Award NSF CAREER Award NEC Faculty Award Google Faculty Award Facebook Faculty Award (2x) DARPA ISAT Study Group Member Grants & Advising: Secured funding from NSF (CAREER, NeTS), Google, Facebook, and Yahoo. Current advisees include 4 PhD/MS students working on programmable networks and web performance. Actively recruiting post-docs and students for African connectivity and eBPF projects. Leadership: Co-chairs NSDI'25 and ApNet'24 conferences. Leads the NetLab research group developing deployable systems adopted by web-scale companies and open-source communities.

Mathias Payerمشاهده پروفایل

دانشیار

• Software Security
• System Security
• Binary Exploitation
• +۳ مورد دیگر

Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)

Eleanor O'Rourkeمشاهده پروفایل

دانشیار

• Human-Computer Interaction
• Artificial Intelligence
• Learning Sciences
• +۳ مورد دیگر

Eleanor O'Rourke is an Associate Professor at Northwestern University with joint appointments in the Department of Computer Science and the Learning Sciences, part of the McCormick School of Engineering. She co-directs the Delta Lab, focusing on interdisciplinary research in Human-Computer Interaction, Artificial Intelligence, and Learning Sciences. Her work examines how learning environments can foster motivation and effective practices in computer science education, supported by grants from NSF and Google. Educated at the University of Washington (PhD, MS in Computer Science & Engineering) and Colby College (BS in Computer Science and Spanish), her research employs mixed methods, including design-based research and grounded theory, to study student motivation, affective responses during programming, and AI-driven interventions. Notable contributions include tools like Ply and Isopleth , which support novice web developers, and studies on student self-assessment biases and growth mindset incentives. Her work has been recognized with multiple Best Paper Awards at ACM conferences, including ICER 2024 and SIGCSE 2022. She teaches courses such as Transformative AI and the Learning Sciences and Design of Learning Environments , and advises a diverse cohort of PhD students and undergraduates. The Delta Lab’s collaborative approach emphasizes innovation in educational technology and human-centered design.

Paul Wardمشاهده پروفایل

دانشیار

• Distributed Systems
• Computer Networks
• Autonomic Computing
• +۳ مورد دیگر

Paul Ward is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo and a faculty fellow at the IBM Centre for Advanced Studies. He holds a PhD (2002) and MASc (1993) from Waterloo and a BScE (1998) from the University of New Brunswick. His research focuses on distributed systems management, dependable systems, autonomic computing, wireless networks, and IoT. Key areas include fault detection in web services, service-oriented networking, and optimization of wireless mesh networks. Ward's publications span computer networks, cognitive science, and sports analytics, reflecting interdisciplinary applications of computational methods. He holds two patents in mobile web services and fault resolution.

Guy-Vincent Jourdanمشاهده پروفایل

استاد

• Software Security
• Cybersecurity
• Distributed Systems
• +۶ مورد دیگر

Professor Guy-Vincent Jourdan is affiliated with the School of Electrical Engineering and Computer Science at the University of Ottawa. He holds a Ph.D. from Université de Rennes/INRIA (France, 1995) focusing on distributed systems analysis. Prior to academia, he served as CTO and CEO of Decision Academic Graphics, an Ottawa-based firm. His research interests span software security, cybersecurity (including cybercrime prevention), distributed systems modeling, formal methods, mobile applications, and rich internet applications. Specific technical emphases include phishing detection systems, blockchain fraud analysis, and adversarial machine learning. Professor Jourdan has pioneered tools like D-ForenRIA for reconstructing user interactions in Rich Internet Applications and contributed to cybersecurity frameworks such as HEART for log anomaly detection. His work integrates machine learning techniques with domain-specific challenges in network security and software verification. His publications (2023-2025) reflect advancements in AI-driven vulnerability analysis, blockchain fraud detection, and automated phishing detection systems. Notable projects include SV-TrustEval-C for source code vulnerability analysis and Intellitweet for social media threat detection. While no scientific awards are explicitly listed, his prolific publication record and industry-academia transition highlight sustained contributions to computer science and cybersecurity domains.

Muhammad Ali Gulzarمشاهده پروفایل

استادیار

• Fault Localization
• Big Data systems
• Data Intensive scalable computing
• +۵ مورد دیگر

Muhammad Ali Gulzar is an Assistant Professor in the Computer Science Department at Virginia Tech and an Amazon Scholar at Amazon Web Services. His research focuses on improving developer productivity through automated debugging and testing for applications in emerging domains, including data-intensive software such as dataflow programs, ML/AI applications, and computational notebooks. Education Ph.D. in Computer Science from University of California, Los Angeles (Google Ph.D. Fellow 2017-2020) Research Interests Gulzar's research spans three primary areas: (1) automated tracking-code localization techniques in web applications, (2) re-engineering testing and debugging for data-intensive applications, and (3) advancing current testing and debugging practices in Federated Learning Applications. His work addresses the challenges of debugging in complex systems where traditional approaches fail due to the scale and distributed nature of modern applications. His research has significant implications for improving software quality, developer productivity, and accessibility in web applications. Research Trends Recent publications demonstrate a strong focus on debugging and testing challenges in emerging application domains. His work bridges traditional software engineering with machine learning, data-intensive systems, and web technologies. Notably, he has made significant contributions to Federated Learning debugging (FedDebug), accessibility challenges in ad-driven web applications, and semantic caching for Large Language Models. His approach often combines novel algorithmic insights with practical implementations that address real-world challenges in software development and maintenance. Scientific Awards Google Ph.D. Fellow (2017-2020) $1.1 million NSF award for Federated Learning research ACM CCS 2024 Distinguished Artifact Award Advising and Grants Gulzar leads a productive research group with multiple students contributing to publications in top-tier venues. His NSF-funded research on Federated Learning demonstrates his ability to secure competitive funding for innovative projects. His advising style appears to emphasize practical impact alongside theoretical contributions, with students often taking lead roles in publications. Current research directions include debugging techniques for Large Language Models, accessibility challenges in modern web applications, and novel testing approaches for distributed data processing systems.

• Software Testing
• Mutation Testing
• Model-Based Testing
• +۷ مورد دیگر

Jeff Offutt is a Professor and Chair of the Department of Computer Science at the University at Albany, College of Nanotechnology, Software, & Engineering. Previously, he was a Full Professor with Tenure in Software Engineering at George Mason University since 2005. He received his PhD in Information & Computer Science from the Georgia Institute of Technology in 1988. His research spans software testing, mutation testing, model-based testing, automatic test data generation, web application testing, and software engineering education. He has led significant projects such as the NSF-funded integration of CS into K-5 classrooms and the Google-funded SPARC project for scalable CS1/CS2 instruction. The 15 most recent articles reflect a continued focus on mutation testing cost reduction, model-based testing oracles, educational innovations, and security aspects of web applications. Trends include empirical validation, industrial applicability, and bridging theory with practice in software testing and engineering education. John Toups Presidential Medal for Excellence in Teaching (2020) George Mason University’s Alumni Association Faculty Member of the Year (2020) Outstanding Faculty Award from the State Council of Higher Education for Virginia (2019) Best Paper Award at ICST 2021 10-Year Most Influential Paper Award at MODELS 2020 George Mason University Teaching Excellence Award (2013) ACM Notable Article Award (2013) Jeff Offutt has mentored numerous graduate students including Upsorn Praphamontripong, Nan Li, and Yu-Seung Ma, and has led major grant-funded projects such as the SPARC educational model and NSF initiatives on K-5 CS integration. His textbook Introduction to Software Testing (with Paul Ammann) is widely adopted globally. He led the MS in Software Engineering program at GMU and developed several new courses in software testing, web engineering, and usability. He pioneered innovative teaching methods using web technologies and asynchronous learning models. He also co-founded the IEEE International Conference on Software Testing, Verification and Validation (ICST) and served as Editor-in-Chief of Software Testing, Verification and Reliability from 2007 to 2019.

Loris D'Antoniمشاهده پروفایل

دانشیار

• Programming Languages
• Software Verification
• Program Synthesis
• +۴ مورد دیگر

Loris D'Antoni is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego (UCSD) . He is also a Visiting Academic at Amazon Web Services (AWS) . His research focuses on helping people write trustworthy software through techniques in program synthesis, formal verification, and machine learning robustness. Bachelor and Master in Computer Science from University of Torino (2008, 2010) PhD in Computer Science from University of Pennsylvania (2015) His research integrates programming languages , automata theory , and formal methods to ensure software reliability. Recent work explores semantics-guided synthesis and specification-aligned LLMs , with applications in network security, machine learning fairness, and automated code repair. Key trends in his publications include program synthesis , formal verification , and trustworthy AI systems . He has contributed to tools like AutomataTutor and SemGuS , a framework for customizable synthesis problems using constrained Horn clauses. Phillip R. Certain-Gary D. Sandefur Distinguished Faculty Award NSF CAREER Award Microsoft Research Faculty Fellowship Google and Facebook Faculty Awards Best Paper Award at ICDCN 2023 Distinguished Paper Award at SBES 2021 D'Antoni actively contributes to academic community service as a committee member in PLDI , OOPSLA , POPL , and CAV . He leads the Programming Systems Group at UCSD and collaborates with SemGuS research team on synthesis frameworks.