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

Philip S. Yuمشاهده پروفایل

استاد

• Data Mining
• Big Data
• Privacy-Preserving Data Publishing
• +۹ مورد دیگر

Philip S. Yu is a Distinguished Professor in the Department of Computer Science at the University of Illinois at Chicago and holds the Wexler Chair in Information Technology. Previously, he led the Software Tools and Techniques department at IBM Thomas J. Watson Research Center. Education: B.S. in Electrical Engineering, National Taiwan University M.S. and Ph.D. in Electrical Engineering, Stanford University M.B.A., New York University His research spans data mining , big data , social networks , privacy-preserving data publishing , graph/network mining , recommender systems , and deep learning . He has authored over 970 papers with 74,500+ citations and an H-index of 127. Recent work focuses on heterogeneous graph representation, quantum walks in network analysis, and federated unlearning. Scientific Honors: ACM SIGKDD 2016 Innovation Award IEEE Computer Society 2013 Technical Achievement Award IEEE ICDM 2003 Research Contributions Award IEEE Region 1 Award (1999) UIC Research of the Year (2013) IBM Master Inventor with 300+ patents AI 2000 Most Influential Scholar Honorable Mentions (2024-2025) He served as Editor-in-Chief for ACM Transactions on Knowledge Discovery from Data and IEEE Transactions on Knowledge and Data Engineering , and on steering committees for ACM KDD and IEEE Data Mining. His work bridges theoretical advances in graph neural networks , deep learning , and privacy-preserving systems with applications in healthcare, social media, and enterprise analytics.

Xavier Serraمشاهده پروفایل

استاد

• Audio Signal Processing
• Sound and Music Computing
• Music Information Retrieval
• +۵ مورد دیگر

Xavier Serra is a Full Professor at the Department of Engineering at Universitat Pompeu Fabra (UPF), Barcelona. He is the founder and director of the Music Technology Group (MTG), and leads the UPF-BMAT Chair on AI and Music. He also coordinates the Master in Sound and Music Computing and serves as President of the Phonos Foundation. His research focuses on audio signal processing, sound and music computing, and computational musicology, emphasizing open science and open innovation. Education: BSc in Biology, University of Barcelona (1981) Master in Music, Florida State University (1983) PhD in Computer Music, Stanford University (1989) Research Interests: Audio Signal Processing Data-Driven and Knowledge-Driven Methodologies Music Information Retrieval Cultural Music Analysis (e.g., Carnatic/Turkish/Andalusian Music) Music Education Technology Notable Projects: CompMusic (ERC Advanced Grant, 2010-2017): Multicultural computational music analysis Open datasets: Freesound, Saraga, FSD50K Technologies: Reactable, Vocaloid, Essentia API Recent Trends in Articles: Focus on AI-driven audio processing (neural fingerprints, generative models), cross-cultural music analysis, and explainable music difficulty estimation. Awards: ERC Advanced Grant (2010) for CompMusic Project. Labs/Teams: Director of MTG, Phonos Foundation, and UPF-BMAT Chair. Active in open-source projects and international collaborations.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

• Tangible computing
• Human-Computer Interaction (HCI)
• Accessible interfaces
• +۳ مورد دیگر

Andrés Cuervo-Rubio is a Part-time Lecturer at Parsons School of Design, The New School. They are an interdisciplinary artist, programmer, and HCI researcher based in Brooklyn. As a co-founder of Folk Computer, a research consultancy focused on tangible computing hardware/software and programming languages, they explore accessible interfaces and paper-based interaction systems. They advise the W3C Immersive Web Working Group (WebAR/VR/XR APIs) and have spoken at global JavaScript conferences since 2017. Education: BA in Computer Science, Oberlin College (2017) BA in Creative Writing, Oberlin College (2017) Research Interests: Focuses on material-based interaction design, bridging physical/digital systems through accessible technologies. Current work emphasizes tangible computing interfaces and inclusive design practices. Active in developing educational frameworks for dynamic content creation in design curricula. Teaching: Recently taught Core 1: Interaction (PUCD 2035) and Core 2: Interaction Studio (PUCD 2125). Upcoming courses include CD Foundations: Interaction (PSAM 1028) in Fall 2025 and CD Studio: Dynamic Content (PSAM 2090) in Spring 2026. Professional Engagement: Serves as technical advisor for immersive web standards and collaborates with industry on accessible XR solutions. Co-leads workshops on physical computing pedagogy.

Yuvraj Agarwalمشاهده پروفایل

استاد

• Systems
• Embedded Systems
• Security
• +۷ مورد دیگر

Yuvraj Agarwal is a Professor in the School of Computer Science at Carnegie Mellon University , where he leads the SYNERGY Labs . His research focuses on Systems and Networking with emphasis on Embedded Systems , Security , and Energy Efficiency in computing environments. He has been recognized with the NSF Expeditions in Computing Award for Computational Decarbonization research and multiple best paper awards. Education : PhD in Computer Science from University of California, San Diego Research Leadership : Founder/Director of SYNERGY Labs; Executive Director of NSF Expeditions in Variability (2010-2013) Research Trajectory : Recent publications highlight his work on Privacy-preserving smart classroom systems (EduSense, ClassID) IoT security labeling frameworks Audio privacy protection mechanisms Computational decarbonization of infrastructure His research combines hardware-software co-design with societal impact considerations. Scientific Recognition : NSF Expeditions in Computing Award for CoDec (2024) Ubicomp/IMWUT Distinguished Paper Award (2024) CHI Best Paper Honorable Mention (2022) Advising & Collaboration : Mentors students in IoT systems , privacy research , and green computing . Collaborates with institutions including University of Massachusetts Amherst and industry partners like Johnson Controls. Grants include NSF funding for multi-university research initiatives.

Linyi Liمشاهده پروفایل

استادیار

• Deep learning
• Trustworthy machine learning
• Computer security
• +۴ مورد دیگر

Linyi Li is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), leading the Trustworthy Artificial Intelligence (TAI) Lab. His research focuses on certifiably trustworthy deep learning systems, combining machine learning and computer security. He holds a PhD from the University of Illinois Urbana-Champaign (UIUC) and a B.Eng. from Tsinghua University. Affiliations: Simon Fraser University, TAI Lab Education: PhD in Computer Science, UIUC, 2023 B.Eng (Cum Laude), Tsinghua University, 2018 His research interests include deep learning , trustworthy machine learning , large language models , and software engineering . He emphasizes rigorous certification of robustness, fairness, and numerical reliability in AI systems. Recent work includes the InfiBench benchmark for evaluating code LLMs and advancements in neural network verification. Recent Research Trends: His publications span certified robustness, fairness guarantees, and scalable verification techniques for deep learning models. He also explores scientific evaluation of foundation models and adversarial defense mechanisms. Awards: Rising Stars in Data Science AdvML Rising Star Award Wing Kai Cheng Fellowship Finalist: Qualcomm Innovation Fellowship (2022) Winner: VNN-COMP'23 Competition (Team α, β-CROWN) Advising & Grants: As a PI, he oversees the TAI Lab's research. Though no specific grants are listed, his work is funded through competitive awards and university resources. Labs/Teams: Leads the TAI Lab at SFU, focusing on foundational and applied research in trustworthy AI.

Josef Urbanمشاهده پروفایل

پژوهشگر

• Automated Reasoning
• Machine Learning
• Theorem Proving
• +۵ مورد دیگر

Josef Urban is a leading researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) , Czech Technical University in Prague, heading the ERC Consolidator project AI4REASON . Previously, he held positions as a postdoc at Radboud University Nijmegen and assistant professor at Charles University in Prague, where he co-founded the Prague Automated Reasoning Group. Education Ph.D. in Computer Science (2004), Charles University, Prague M.S. in Mathematics (1998), Charles University, Prague B.S. in Economics (1995), Charles University, Prague Research Interests Urban specializes in automated reasoning over large formalized knowledge bases, combining deductive theorem proving and inductive machine learning . His work aims to realize "strong AI" through formalized mathematics, particularly using systems like Mizar and the AI/TP Challenges . He advocates for computer-verifiable mathematics as a foundation for AI progress. Article Trends Urban's publications focus on integrating machine learning with automated theorem proving in systems like ENIGMA and BliStr . Key trends include semantic guidance for ATPs, premise selection in formal libraries, and automated proof compression via concept invention. Scientific Contributions Head of ERC Consolidator project AI4REASON Marie-Curie Fellow at University of Miami Co-founder of Prague Automated Reasoning Group Editor for Formalized Mathematics Advising and Grants Urban has advised numerous PhD and MSc students including Daniel Kuehlwein, Krystof Hoder, and Yutaka Nagashima. He has secured grants like the ERC Consolidator Grant and Marie-Curie Fellowship . Labs and Collaborations Urban leads the AI4REASON team at CIIRC and collaborates with the Foundations Group at Radboud University. He contributes to projects like Mizar TWiki and XML-based API for Mizar , aiming to create a semantic AI ecosystem for formal knowledge.

• Network Security
• Android Security
• Malware Analysis
• +۶ مورد دیگر

Vijay Laxmi is a Professor in the Department of Computer Science and Engineering at Malaviya National Institute of Technology (MNIT) Jaipur, India. With over a decade of active research publication from 2014-2024, Dr. Laxmi has established themselves as a prominent researcher in network security, Android security systems, and Network-on-Chip architectures. Their work demonstrates consistent collaboration with Manoj Singh Gaur and numerous doctoral students at MNIT Jaipur. Dr. Laxmi's research interests span Network Security, Android Security, Malware Analysis, Network-on-Chip Architectures, Routing Protocols, Side-Channel Attacks, Wireless Networks, and Mobile Security. Their work bridges theoretical security frameworks with practical implementations, particularly in mobile and embedded systems. Recent publications indicate a growing focus on AI-based security approaches including GAN applications for fuzzing and deep learning for image dehazing. The research trajectory shows increasing sophistication in security analysis techniques, evolving from basic malware detection to advanced side-channel attack analysis and sophisticated network security protocols. Recent publications demonstrate expertise in both theoretical frameworks and practical implementations with applications in real-world security challenges. Dr. Laxmi has mentored numerous graduate students including Vineeta Jain, Anugrah Jain, Sonal Yadav, Mohit Singh, and Gaurav Singal, who appear as co-authors across multiple publications. Their collaborative network extends to researchers at international institutions, indicating strong academic connections beyond their home institution.

• Learning Analytics
• Educational Technology
• Virtual Reality Education
• +۵ مورد دیگر

Ulrik Schroeder is a Universitätsprofessor (Full Professor) at RWTH Aachen University, leading the Chair of Learning Technologies within the Faculty of Computer Science. His research focuses on the intersection of educational technology, learning analytics, and immersive technologies with particular emphasis on practical implementations in higher education settings. Professor Schroeder's research spans multiple interconnected domains in educational technology. His primary interests include Learning Analytics implementation (particularly using xAPI standards), Virtual Reality applications for education, Open Educational Resources development and conversion, and gamification approaches for programming education. He has developed several notable tools including convOERter for OER conversion, WebWriter for creating explorable explanations, and various xAPI-based learning analytics infrastructures. His work consistently bridges theoretical frameworks with practical educational applications, often focusing on computer science education contexts. Analysis of his recent publications reveals a strong trend toward integrating Learning Analytics with immersive technologies, particularly Virtual Reality environments. His research demonstrates a systematic approach to educational technology development, with emphasis on scalability, interoperability through standards like xAPI, and practical implementation in real educational settings. The work increasingly focuses on personalized learning paths, quality assurance for educational resources, and privacy-conscious data collection. Co-editor of 21. Fachtagung Bildungstechnologien (DELFI) (2023) Co-editor of Hochschuldidaktik der Informatik HDI 2018 Co-editor of DeLFI 2018 conference proceedings Professor Schroeder has supervised numerous doctoral and postdoctoral researchers who frequently appear as co-authors on his publications, indicating an active research group. His projects often involve interdisciplinary collaborations across computer science, education, and psychology. Current major initiatives include the AIStudyBuddy project for study path analysis and the development of VR classroom simulations for teacher training. His research group, the Learning Technologies Innovation Lab, develops open research tools that support various aspects of educational technology research and implementation.

Jia Zhangمشاهده پروفایل

استاد

• Machine Learning
• Natural Language Processing
• Information Retrieval
• +۱۰ مورد دیگر

Dr. Jia Zhang is the Inaugural Robert H. Dedman Jr. Endowed Department Chair and Professor of Computer Science at Southern Methodist University (SMU Lyle School of Engineering). She holds the Cruse C. and Marjorie F. Calahan Centennial Chair in Engineering and has a courtesy appointment in the Department of Operations Research and Engineering Management. Her research focuses on applying machine learning, natural language processing, and information retrieval to data science infrastructure, particularly scientific workflows, provenance mining, software discovery, knowledge graphs, cloud computing, immune AI, and applications in earth science and healthcare. Education: Ph.D. in Computer Science, University of Illinois at Chicago M.S. in Computer Science, Nanjing University B.S. in Computer Science, Nanjing University Dr. Zhang's work emphasizes data science infrastructure and machine learning for scientific workflows and knowledge graphs. Her recent publications highlight deep learning , graph neural networks , and optimization algorithms in cloud computing, cybersecurity, and environmental applications. Key trends include spatiotemporal modeling , hybrid neural architectures , and AI-driven service ecosystems . Scientific Awards: Best Paper Awards IEEE SCC (2011, 2017) Best Student Paper Awards IEEE ICWS (2014, 2018), IEEE ICCC (2018) Distinguished Paper Award ICSOC (2023) First Outstanding Service Award IEEE Technical Committee on Services Computing (2016) She has secured over $5 million in federal grants (as PI) and $11 million as PI/Co-PI from NSF, NASA, NIH, UTSW, Ericsson, SAP, and Google. Her lab (Caruth Hall 308) actively recruits research assistants. She previously served as a faculty member at Carnegie Mellon University, Northern Illinois University, and Nanjing University, and worked in industry as a software architect.

Monica Lamمشاهده پروفایل

استاد

• Artificial Intelligence
• Privacy-Preserving Technologies
• Compiler Design
• +۴ مورد دیگر

Monica Lam is the Kleiner Perkins, Mayfield, Sequoia Capital Professor in Stanford University's School of Engineering and holds a courtesy professorship in Electrical Engineering. She leads the Stanford Open Virtual Assistant Laboratory and has pioneered work in virtual assistants, privacy protection, and compiler design. Her research includes the Almond virtual assistant, privacy-preserving IoT systems, and the ThingTalk programming language. She co-authored the seminal 'dragon book' on compilers and co-founded Tensilica (now part of Cadence). Education: Bachelor of Science (Honors), Computer Science, University of British Columbia, 1980 Master of Science, Computer Science, Carnegie Mellon University, 1982 Doctor of Philosophy (PhD), Computer Science, Carnegie Mellon University, 1987 Research Interests: Dr. Lam's work focuses on conversational AI with privacy guarantees, compiler optimization for parallel computing, and open-source virtual assistant ecosystems. She is a leader in decentralized systems, having developed frameworks like SociaLite for large-scale graph analysis and Musubi for mobile social networking without centralized platforms. Article Trends: Recent publications emphasize multimodal interactions, multilingual dialogue systems, and LLM-driven applications in areas like question answering, persuasive chatbots, and adaptive assistants. Her work bridges foundational AI research (e.g., semantic parsing) with real-world deployments (e.g., privacy-compliant IoT). Awards & Honors: Member of the National Academy of Engineering ACM Fellow Popular Science's Best of What's New Award (Security, 2019) Advising & Grants: Lam oversees the Open Virtual Assistant Initiative, a collaborative project to build open-source semantic models. Her NSF CNS grant (CNS Core) focuses on federated privacy systems. She has advised over 50 students in AI and systems research, though specific names are not listed in the provided texts. Labs & Teams: Directs the Stanford Open Virtual Assistant Laboratory, collaborates with the Stanford NLP group, and maintains ties to industry through former startup Tensilica's legacy in embedded processors.

Roxana Geambasuمشاهده پروفایل

دانشیار

• Computer Systems
• Distributed Systems
• Security and Privacy
• +۸ مورد دیگر

Roxana Geambasu is an Associate Professor at Columbia University's Department of Computer Science, with affiliations to the Software Systems Lab and the Cybersecurity Committee . She specializes in systems security, differential privacy, and resource management for modern computing environments. PhD: University of Washington (2011) Undergraduate: Polytechnic University of Bucharest, Romania Her research focuses on integrating differential privacy as a first-class computing resource in infrastructure systems, with key contributions in: Privacy Budget Management (PrivateKube, DPack, Turbo) Web & Mobile Privacy (Cookie Monster, Big Bird) Security Abstractions (POSIX, Vanish, XRay) Article trends show a strong emphasis on differential privacy (8/15), resource scheduling (5/15), and privacy-preserving advertising (3/15). Key subfields include budget optimization, browser APIs, and ML pipeline privacy. Scientific awards include: Alfred P. Sloan Fellowship NSF CAREER Award Google Ph.D. Fellowship in Cloud Computing Best Paper Awards at SOSP, EuroSys She advises M.S. and undergraduate students, teaching courses in Distributed Systems and Privacy Curriculum . Her lab develops tools like PixelDP and Sunlight for operationalizing privacy in real-world systems.

Ruben Verborghمشاهده پروفایل

استاد

• Decentralization
• Linked Data
• Querying
• +۷ مورد دیگر

Ruben Verborgh is a Professor of Decentralized Web Technology at the Ghent University – imec and a Visiting Fellow at the Oxford Martin School (University of Oxford). He leads the Internet Technology and Data Science Lab (IDLab) and co-founded the Solid platform with Tim Berners-Lee to re-decentralize the Web. His research focuses on Linked Data Fragments , a paradigm for Web-scale query execution, and explores decentralized data governance , user-controlled data ownership , and rule-based Web agents for policy enforcement. He has co-authored two books on Linked Data and contributed to over 250 publications. Recent articles highlight trends in decentralized data ecosystems , including ODRL policy interoperability , event notification systems , and personal data vaults . His work bridges Linked Data , hypermedia APIs , and privacy-preserving technologies . Verborgh collaborates with institutions like MIT, Oxford, and the European Commission, and advises companies through Inrupt . His labs ( IDLab , Solid Ecosystem ) focus on sustainable data-driven societies.

Eetu Mäkeläمشاهده پروفایل

استاد

• Digital Humanities
• Human Sciences–Computing Interaction
• Computational Humanities
• +۳ مورد دیگر

Eetu Mäkelä is a Professor of Digital Humanities at the University of Helsinki, leading the research group at the Helsinki Centre for Digital Humanities. He focuses on computational methods in humanities and social sciences, including datafication and interdisciplinary collaboration. He serves as Technical Director of DARIAH-FI and a Research Programme Director at the Helsinki Institute for Social Sciences and Humanities. Currently, he heads the preparatory group for the Helsinki Liberal Arts and Sciences Bachelor’s Programme. His research emphasizes technological and theoretical foundations of computational research, with notable contributions to linked open data, sociolinguistic analysis, and historical text mining. He has developed widely used tools like Recon, Palladio, and Octavo, which are employed in academic and public sectors. His work has garnered over 20 awards, including best paper and open science recognitions. Key areas of expertise include digital humanities methodologies, data integration, and open science practices. He actively contributes to teaching, designing courses such as 'Methods for Digital Humanities' and demonstrating innovative pedagogical approaches. His recent projects involve analyzing 18th-century philosophical texts and sociolinguistic change using computational methods. Awards: Multiple best paper awards, open data awards, and open science awards. Grants/Advising: Leads research initiatives funded by the Academy of Finland and other bodies. Mentors interdisciplinary research teams but no specific student names listed. He maintains active roles in academic infrastructure, including the DARIAH-FI initiative and the Helsinki Institute’s datafication program. His work bridges technical innovation with humanities scholarship, emphasizing practical, enduring systems for academic and public use.

Christian Rossowمشاهده پروفایل

استاد

• Software Security
• System Security
• Network Security
• +۱۵ مورد دیگر

Christian Rossow is Faculty at CISPA – Helmholtz Center for Information Security in Dortmund, Germany, where he leads the System Security research group. He holds dual academic appointments as a professor in the Computer Science department at Saarland University and as an honorary professor at TU Dortmund University. His research spans systems, software, and network security, with a focus on cyber attacks, defenses, and privacy. Research Interests: His primary research areas include software and system security (e.g., exploitation techniques, compiler-assisted defenses, AI-assisted (in)security), network security (e.g., DDoS mitigation, attack attribution, traffic analysis), and cybercrime (e.g., malware analysis, data-driven studies). He emphasizes foundational research with practical applications. Publication Trends: His recent work (2023–2025) shows a strong focus on microarchitectural attacks (e.g., cache side-channels, prefetcher analysis), browser and web security (e.g., sandbox escapes, CSS fingerprinting), network protocol vulnerabilities (e.g., TCP spoofing, infinite loops), and applied cryptography (e.g., ISA extensions for key management). His research consistently targets top-tier venues like IEEE S&P, USENIX Security, ACM CCS, and NDSS. Distinguished Paper Award at IEEE EuroS&P 2021 Best Student Paper Award at MIT Spam Conference 2010 Advising and Grants: He actively supervises PhD students and postdoctoral researchers, with alumni placed in industry (NVIDIA, Crowdstrike, Continental) and academia. His research is supported by major grants including EU H2020 SISSDEN, BMBF-funded BOB, DFG-funded anonymous communication, and RAMSES. He regularly serves in leadership roles in the community, including PC Chair for RAID 2022/2023 and USENIX WOOT 2018, and Track Chair for ACM CCS 2026. Labs and Teams: He leads the System Security research group at CISPA, a world-leading institution for security and privacy. The group comprises talented full-time researchers and focuses on cutting-edge research with strong individual supervision and worldwide collaborations.