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

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.

• Computer Science
• Software Engineering
• Artificial Intelligence
• +۵ مورد دیگر

Dongwoo Kim is a researcher affiliated with Hanyang University, ERICA Campus (Department of Electronics and Communication Engineering) and has previously collaborated with institutions like POSTECH , Chungnam National University , and Microsoft . His work spans interdisciplinary domains in Computer Science and Engineering . Hanyang University, ERICA Campus - Department of Electronics and Communication Engineering POSTECH - Power Analog Electronics & Semiconductor Devices Lab Microsoft Chungnam National University Kim's research focuses on formal verification of automotive control software, deep learning applications in environmental monitoring, 3D modeling for indoor positioning, and machine learning for signal processing. His recent publications highlight advancements in graph neural networks (GNNs), including analyzing oversmoothing and gradient dynamics, as well as developing geometric vision-language models with domain-agnostic encoders. His 15 most recent articles (2023-2025) address topics like: Optimizing hybrid electric vehicle engine performance 3D modeling for indoor localization GNN training stability UAV-based environmental monitoring Algorithm difficulty prediction for programming problems Millimeter-wave antenna design Kim collaborates with researchers in software engineering , signal processing , and environmental science domains. His work intersects formal methods , applied machine learning , and embedded systems research.

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.

Cyrille Arthoمشاهده پروفایل

دانشیار

• Software Engineering
• Formal Methods
• Cybersecurity
• +۵ مورد دیگر

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

• Software Engineering
• Deep Learning
• Human-Computer Interaction
• +۷ مورد دیگر

Prof. Dr. Chunyang Chen is a full professor in the Department of Computer Science at the Technical University of Munich (TUM) in Heilbronn, Germany, and an adjunct professor at Monash University, Australia. He is a core member of the Munich Data Science Institute, board member of Heilbronn Data Science Center, and fellow at Fortiss. His research spans Software Engineering, Deep Learning, and Human-Computer Interaction (HCI), focusing on AI/ML, NLP, and program analysis applications. PhD from Nanyang Technological University (NTU), Singapore His research explores three primary domains: AI-Driven Mobile App Development : Focused on requirement elicitation, UI design, code generation, and GUI testing using LLMs, NLP, and lightweight program analysis. Software Repository Mining : Involves library/API migration, collaborative editing, query reformulation, and thesaurus construction. Deep Learning Security : Examines robustness and security in mobile apps, including on-device model attacks, backdoor attacks, phishing attacks, and defense mechanisms. His recent publications highlight trends in LLM applications for software testing, bug replay, accessibility, and dataset construction. Awards include Best Paper Honorable Mention at CHI 2024, DECRA, ACM SIGSOFT Early Career Award, multiple Distinguished Paper Awards, and the Chinese Government Award for Outstanding Self-financed Students Abroad. PhD students: Shengcheng Yu, Yanqi Su, Mark Huasong Meng, Wenchao Gu, Zhen Tao, Kai Huang, Sidong Feng, Yujin Huang, Jian Gu Master/Bachelor students: Dustin Minh Duc Vu, Jason Siu, Ruiqi Dong, Minh Nguyen, An-Chieh Chang, Chao Wu, Yujin Huang, Ishan Joshi, Xinyan Li Chunyang Chen has supervised numerous students across institutions including TUM, Monash University, Chinese Academy of Sciences, ANU, and others. His teaching portfolio includes courses on Generative AI, software engineering, and programming foundations. He actively contributes to academic service as a guest editor, program committee member, and reviewer for top-tier conferences and journals.

Shiqing Maمشاهده پروفایل

استادیار

• Security and Privacy
• Trustworthy Machine Learning
• Software Engineering
• +۳ مورد دیگر

Shiqing Ma is an Assistant Professor in the Manning College of Information and Computer Sciences at the University of Massachusetts Amherst. Previously, he held a faculty position at Rutgers University from 2019 to 2023. He earned his Ph.D. in Computer Science from Purdue University (2019) and B.E. from Shanghai Jiao Tong University (2013). His research focuses on secure, intelligent, and transparent computing systems, particularly at the intersection of security, AI, and software systems. Key areas include integrating machine learning into software systems, ensuring algorithmic security through program analysis, and developing novel system architectures. Professor Ma's work has been recognized with prestigious awards, including the NSF CAREER Award (2023), and distinguished paper awards at USENIX Security (2017) and NDSS (2016). He actively contributes to the academic community through editorial roles and program committees in security, privacy, and software engineering. His research explores topics like backdoor attacks, AI safety, and bias mitigation in large language models. Recent articles emphasize defense mechanisms against adversarial attacks, watermarking techniques, and automated debugging systems for machine learning pipelines.

James Zouمشاهده پروفایل

دانشیار

• Machine Learning
• Artificial Intelligence in Healthcare
• Biomedical Data Science
• +۳ مورد دیگر

James Zou is an Associate Professor of Biomedical Data Science at Stanford University, with courtesy appointments in Computer Science and Electrical Engineering. His research focuses on advancing machine learning methodologies for healthcare applications, emphasizing reliability, fairness, and statistical rigor. He holds a Ph.D. from Harvard University and has held positions at Microsoft Research, Cambridge University (as a Gates Scholar), and UC Berkeley (Simons Fellow). Zou leads the Stanford Data4Health hub and is a Chan-Zuckerberg Investigator. His work spans AI-driven diagnostics, spatial transcriptomics, and ethical AI frameworks. Key achievements include the EchoNet AI system for echocardiography and foundational contributions to data valuation (e.g., Data Shapley). Awards include the Sloan Fellowship, NSF CAREER Award, and Google/Tencent AI awards. Education: Ph.D., Harvard University (2014); Postdoctoral roles at Microsoft Research, Cambridge, and Berkeley. Research Interests: Machine learning for healthcare, algorithmic fairness, interpretable AI, spatial omics, and translational bioinformatics. His lab develops tools like TextGrad (PyTorch for text agents) and frameworks for evaluating medical AI systems. Recent work addresses LLMs in peer review and clinical decision-making. Grants/Grants: Supported by NSF, Sloan Foundation, Chan-Zuckerberg Initiative, and industry partnerships (Google, Amazon, Adobe). Advises on over 20 doctoral students, many contributing to high-impact papers in Nature , Science , and top conferences (NeurIPS, ICML). Leads collaborations in cardiology, oncology, and veterinary medicine. Labs/Teams: Stanford AI Lab, Stanford Data4Health, and interdisciplinary groups in precision medicine. Active in open-source projects like FrugalML and MetaViz.

• Formal Methods
• Software Engineering
• Software Verification and Validation
• +۷ مورد دیگر

Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.

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.

Andrew Warfieldمشاهده پروفایل

استاد مدعو

• Computer Systems Software
• Virtualization
• Distributed Storage
• +۳ مورد دیگر

Andrew Warfield is an Adjunct Professor in the Department of Computer Science at the University of British Columbia (UBC) and a Senior Principal Engineer at Amazon. His research focuses on computer systems software, including virtualization, distributed storage, security, and high-availability systems. He previously held roles as Associate Professor at UBC, CTO at Coho Data, and Technical Director at Citrix Systems. His work has led to projects like Remus (high-availability replication), Tralfamadore (execution analysis), and secure hypervisor development with Xen. Warfield's education includes a PhD from the University of Cambridge's Computer Laboratory, where he researched I/O device virtualization under Steven Hand. He has held visiting roles at Intel Research Cambridge and internships at AT&T Research and Nortel Networks. Research Grants: Supported by Intel Research, NSERC, Network Appliance, and the Communications Security Establishment. Professional Activities: Technical Advisory Board Member at Teradici, and involvement in program committees for conferences like HotOS, EuroSys, and FAST. His research emphasizes practical systems, aiming to bridge the gap between theoretical computer science and real-world applications. Notable contributions include innovations in storage for virtualized environments, secure hypervisor architectures, and disaster-tolerant systems like SecondSite. Warfield is affiliated with UBC's Department of Computer Science and maintains active collaboration with industry partners. Though currently not actively recruiting students, his prior mentorship has influenced many in systems research.

• Machine Learning
• Artificial Intelligence
• Explainability of AI
• +۳ مورد دیگر

Carlos Guestrin is the Fortinet Founders Professor of Computer Science at Stanford University and serves as Director of the Stanford AI Lab (SAIL) and Senior Fellow at the Institute for Human-Centered AI (HAI). He holds dual roles as Chief Scientist at Visual Layer and Virtue AI. His research focuses on machine learning methods, explainability, fairness, and ethics of AI, alongside systems for scalable AI deployment. Education details are not explicitly provided, but his work spans foundational contributions to machine learning systems (e.g., XGBoost) and explainable AI frameworks like Anchors and LIME. He emphasizes ethical AI through projects like CheckList for model testing and Model Equality Testing for API transparency. His scientific contributions include advancing optimization techniques (AdaScale SGD, TVM compiler) and ethical benchmarks for generative AI. He has been recognized as a Member of the National Academy of Engineering for his transformative impact on AI systems and their societal applications. Guestrin leads interdisciplinary initiatives at SAIL and HAI, fostering collaboration between technical innovation and human-centered design. His work bridges theory and practice, addressing challenges in healthcare (diabetes management systems) and AI security.

• Machine Learning Security
• Adversarial Machine Learning
• Model Ownership
• +۳ مورد دیگر

Sebastian Szyller serves as an Assistant Professor in the Department of Computer Science at Aalto University, Finland, where he is a core member of Adjunct Professor N. Asokan's research group. His academic role centers on advancing security frameworks for machine learning systems through rigorous theoretical and empirical research. His research expertise spans machine learning security , adversarial machine learning , and model ownership verification , with particular emphasis on defense mechanisms against model extraction attacks, unintended interactions among security measures, and intellectual property protection for AI models. Key contributions address the tension between model confidentiality and practical deployment requirements in real-world systems. Analysis of his 2019-2024 publications reveals an evolving research trajectory from foundational model extraction defenses (e.g., PRADA, 2019) to sophisticated analyses of defense interactions (SoK, 2024) and ownership resolution frameworks (False Claims, 2024). His work consistently bridges theoretical security principles with practical ML deployment challenges, establishing critical benchmarks for model protection. Dr. Szyller actively contributes to premier security venues including IEEE Symposium on Security and Privacy, USENIX Security Symposium, and AAAI conferences. His collaborations within Asokan's research group demonstrate strong interdisciplinary engagement in securing machine learning ecosystems, with recent work expanding into multimedia security and eCommerce fraud detection applications.

Deen Freelonمشاهده پروفایل

استاد

• Political Communication
• Computational Social Science
• Digital Media
• +۵ مورد دیگر

Deen Freelon is the Allan Randall Freelon Sr. Presidential Professor at the University of Pennsylvania's Annenberg School for Communication, where he leads research in digital politics and computational methods. His work centers on identity dimensions in social media, misinformation ecosystems, and political communication. Previously, he held tenured positions at American University and the University of North Carolina at Chapel Hill. Freelon earned a B.A. with honors from Stanford University (2002), followed by an M.A. (2008) and Ph.D. (2012) from the University of Washington. His endowed chair honors his great-grandfather, Allan Randall Freelon Sr., a Penn alumnus and prominent Philadelphia artist. Freelon's research explores intersections of technology and society with emphases on: Computational analysis of social media discourse Race, gender, and ideological asymmetry in online spaces Misinformation propagation and mitigation strategies Impact of personalized information environments on democracy His publications consistently address how digital platforms reshape political engagement and identity expression. Freelon has secured over $6 million in research funding from organizations including the Knight Foundation, Hewlett Foundation, Spencer Foundation, and US Institute for Peace. As a founding member of UNC Chapel Hill's Center for Information, Technology, and Public Life, he contributes to interdisciplinary efforts examining technology's societal impacts.

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.

• Livestock Systems
• Animal Breeding
• Genetics
• +۳ مورد دیگر

Matteo Bolner is a Post-Doctoral Research Fellow at the University of Bologna's Department of Agricultural and Food Sciences, specializing in livestock genomics and metabolomics. He holds a PhD in Agricultural and Food Sciences (defended March 2025) and an International Master in Bioinformatics from the University of Bologna. His research integrates genomic and metabolomic data to improve livestock sustainability, particularly in pig production systems. Key focuses include identifying metabolic pathways influencing production traits, analyzing pig viromes for disease outbreaks, and leveraging big data for One Health applications. His educational background includes a Biological Sciences degree (2018) and a bioinformatics master's (2021). He interned at CINECA's SCAI department, focusing on HPC software containerization. Current affiliations include membership in the Animal and Food Genomics group, where he explores genomic solutions for breed conservation and sustainable production. Research trends in his articles emphasize multi-omics integration to understand pig metabolism, stress responses, and breed-specific adaptations. He also applies genomics to authenticate food products and enhance conservation strategies for endangered livestock breeds like the Mora Romagnola pig. His work bridges animal science, computational biology, and agricultural sustainability. Notable contributions include developing genomic tools for honey bee population analysis and creating a catalog of mitochondrial insertions in pig genomes. Future directions involve advancing metabolomics-based precision livestock farming and applying big data analytics to livestock One Health challenges.