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

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

استاد

• Sociolinguistics
• Heritage Languages
• Spanish Language
• +۷ مورد دیگر

Andrew Lynch serves as Professor and Associate Dean for Program Development in the Department of Modern Languages & Literatures within the College of Arts and Sciences at the University of Miami. His academic leadership extends beyond teaching responsibilities to include significant administrative contributions to program development across the institution. Lynch's research interests center on sociolinguistics with particular focus on Spanish language dynamics in Miami, heritage language socialization, bilingualism, and language ideology. His work examines how language functions within specific social contexts, especially in workplace environments where Spanish heritage speakers navigate linguistic demands. He investigates the complex interplay between language, identity, and social structures in postmodern urban settings, with special attention to the Cuban diaspora experience in South Florida. His publication record reveals consistent scholarly engagement with heritage language education, Spanish language variation, and the sociolinguistic landscape of global cities. Lynch's research demonstrates how language practices in Miami reflect broader patterns of linguistic adaptation and resistance within diasporic communities. His work often addresses the tension between linguistic heritage and social integration, examining how language ideologies shape educational practices and community identity. Lynch's scholarly contributions span multiple formats, including single-authored books, co-authored publications, handbook chapters, and journal articles in both English and Spanish. His work frequently appears in high-impact sociolinguistics and language education journals, reflecting his interdisciplinary approach that bridges theoretical linguistics with practical educational implications.

Dawn Songمشاهده پروفایل

استاد

• Artificial Intelligence
• Cybersecurity
• Machine Learning
• +۷ مورد دیگر

Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley, affiliated with multiple research centers including the Berkeley Artificial Intelligence Research Lab (BAIR) and the Berkeley Center for Responsible, Decentralized Intelligence (RDI). She holds leadership roles in AI safety, cybersecurity, and blockchain research. Her work bridges machine learning, security, and distributed systems, with notable contributions to formal verification, privacy-preserving technologies, and AI governance. Education: Ph.D. (2002) and M.S. (1999) in Computer Science from UC Berkeley and Carnegie Mellon University, respectively. She previously served as an Assistant Professor at Carnegie Mellon University before joining UC Berkeley in 2007. Research Interests: Dawn's work focuses on AI safety, cybersecurity, and the ethical implications of frontier AI. She explores topics such as large language model vulnerabilities, zero-knowledge proofs, blockchain security, and policy frameworks for AI governance. Her research combines theoretical rigor with practical applications, addressing challenges in secure systems, adversarial machine learning, and privacy-preserving computation. Publications: Her recent work includes groundbreaking studies on LLM memorization, smart contract decompilation, and AI agent cybersecurity evaluation. She also leads initiatives like the Singapore Consensus and California Report on AI safety priorities, emphasizing global collaboration in risk mitigation. Notable Awards: MacArthur Fellowship (2010), ACM Fellow (2019), IEEE Fellow (2019) Advising & Grants: She advises projects on AI policy and cybersecurity, securing grants from NSF, DARPA, and industry collaborations. Her lab develops tools like CyberGym for evaluating AI agents and zkPyTorch for secure machine learning. Labs & Teams: Her research groups at UC Berkeley focus on cutting-edge projects in AI safety, blockchain, and cybersecurity, collaborating with industry leaders and policymakers to advance both technical and ethical standards.

Thomas Hofmannمشاهده پروفایل

استاد

• Machine Learning
• Deep Learning
• Natural Language Understanding
• +۳ مورد دیگر

Prof. Dr. Thomas Hofmann is a Full Professor and Head of the Department of Computer Science at ETH Zurich since 2014. He also leads the Institute for Machine Learning. His research focuses on machine learning, deep learning, natural language understanding, and text understanding. Hofmann holds a Ph.D. from the University of Bonn (1997) and has held academic positions at Brown University (1999–2004) and TU Darmstadt. He transitioned to industry as Director of Engineering at Google (2006–2014), leading the Zurich R&D center, before returning to academia. He co-founded Recommind (2000) and 1plusX (Swiss marketing tech company), currently serving as Chief Scientist and board member at 1plusX. Education: Ph.D. in Computer Science, University of Bonn (1997) Postdoctoral Work: MIT (CBCL/AI Lab), UC Berkeley (EECS/ICSI) His research explores advanced machine learning techniques, including diffusion models, generative adversarial networks, and optimization dynamics. Hofmann’s entrepreneurial ventures reflect his focus on applying AI to real-world challenges, such as e-discovery and marketing technology. His work spans theoretical contributions (e.g., neural network training dynamics, continual learning) and applied innovations (e.g., image editing, portrait generation). Hofmann actively bridges academia and industry, influencing both research and commercial AI applications.

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

دانشیار

• Efficient Machine Learning
• Cross-Layer Innovations
• Green AI
• +۷ مورد دیگر

Yingyan (Celine) Lin is an Associate Professor in the School of Computer Science at Georgia Institute of Technology, leading the Efficient and Intelligent Computing (EIC) Lab. Her work focuses on cross-layer innovations in machine learning systems, from algorithms to chip design, aiming to advance green AI and ubiquitous machine learning. She holds a Ph.D. in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign (2017). Research interests include efficient machine learning, neural rendering (e.g., NeRF), hardware-software co-design for AI acceleration, and graph neural networks. Her lab has pioneered projects like RTML and 3DML, funded by NSF, NIH, DARPA, and industry partners (Qualcomm, Intel, Meta). Awards: NSF CAREER Award (2021), ACM SIGDA Outstanding Young Faculty (2022), Meta Faculty Research Award (2022) Grants: Multi-university projects funded by NSF, NIH, DARPA, SRC, ONR, and industry Recognition: First-place wins at DAC 2022 and TinyML Design Contest 2022, IEEE Micro Top Pick 2023 Her research bridges algorithmic innovation with hardware implementation, emphasizing energy efficiency and real-time performance for applications in AR/VR, computer vision, and neuro-symbolic AI systems.

• Machine Learning
• Natural Language Processing
• Artificial Intelligence
• +۳ مورد دیگر

Prof. Luke Zettlemoyer is an Adjunct Professor of Computer Science and Engineering at the University of Washington, with affiliations to the Department of Linguistics. He focuses on machine learning, natural language processing, and multimodal systems, contributing to advancements in large language models, ethical AI, and scalable architectures. His research addresses challenges in model alignment, generalization, and cross-domain integration. Key research interests include multimodal reward models, efficient tokenization strategies, and model optimization techniques. He has explored topics such as neural trajectories for robot learning, content-adaptive image processing, and ethical mitigation of verbatim data reproduction. His publications span 2023–2025, emphasizing practical applications of AI in robotics, vision-language systems, and scalable retrieval-based models. While no formal awards are listed, his work reflects significant contributions to foundational AI research.

Greg Durrettمشاهده پروفایل

دانشیار

• Natural Language Processing
• Machine Learning
• Artificial Intelligence
• +۷ مورد دیگر

Greg Durrett is an Associate Professor in the Department of Computer Science at University of Texas at Austin, leading the TAUR Lab (Text Analysis, Understanding, and Reasoning ). His research focuses on advancing Large Language Models (LLMs) for knowledge-intensive tasks in medical information processing scientific discovery legal reasoning . He received his B.S. in Computer Science and Mathematics from MIT (2010) and Ph.D. in Computer Science from UC Berkeley (2016). His work develops techniques to train LLMs with new capabilities augment models for reliability assess model outputs improve reasoning frameworks . His 15 most recent publications (2021-2025) span knowledge propagation in LLMs chain-of-thought reasoning code generation benchmarks multi-modal reasoning fact verification discourse analysis . Scientific honors include NSF CAREER Award (2024) NSF grants (2018, 2024) Bloomberg Data Science Grant (2017) Facebook Fellowship (2014) Best Paper Finalist (EMNLP 2013) . Teaching: CS388: Natural Language Processing (graduate) CS371N: NLP (undergraduate) High school NLP module .

Loïc Guezouمشاهده پروفایل

پژوهشگر

• Biomedical Engineering
• Computational Mechanics
• Additive Manufacturing
• +۳ مورد دیگر

Loïc Guezou is a Researcher at the Paris-Saclay University's Mechanics Laboratory, focusing on interdisciplinary research spanning biomedical engineering and geopolitical studies. His work integrates computational mechanics with additive manufacturing for patient-specific anatomy modeling, while also addressing emerging cyber-geopolitical challenges. Key Research Areas: Biomedical Engineering: High-fidelity numerical models for 3D printing Computational Mechanics: Application to medical device development Geopolitical Studies: Cybersecurity and digital policy implications Recent conference communications highlight his collaborative approach, working with experts like Andrea Barbarulo, Bing Tie (biomedical projects), and Frédérick Douzet, Julien Nocetti (cyber-geopolitical research). Although no formal awards or student advisement details are currently documented in the available records, his publications reflect a dual focus on technological innovation and socio-political analysis.

Jamie Peckمشاهده پروفایل

استاد

• Economic Geography
• Urban Restructuring
• Political Economy
• +۷ مورد دیگر

Professor Jamie Peck is a University Killam Professor and Professor of Geography at the University of British Columbia, Faculty of Arts, Department of Geography. He holds the prestigious title of Distinguished University Scholar at UBC and maintains significant international academic affiliations including Visiting Professor at Oxford University's School of Geography and the Environment, Honorary Professorial Fellow at the University of Manchester, and Honorary Professor at the University of Nottingham. Peck received his PhD in Geography from the University of Manchester in 1988 following his BA (Hons) in Geography from the same institution. His distinguished academic career spans positions at the University of Manchester (1989-2000), University of Wisconsin-Madison (2000-2008), and his current position at UBC where he has been a central figure in economic geography and interdisciplinary social science. As an institutional political economist, Professor Peck's research critically examines the spatial dimensions of economic processes, with particular attention to how global phenomena like neoliberalization are constituted through local practices. His work bridges economic geography, urban studies, political economy, and social theory, consistently challenging conventional understandings of market processes and statecraft. Recent research focuses on Chinese state capitalism, especially the Greater Bay Area and Hong Kong's evolving political status, alongside methodological innovations in conjunctural analysis as demonstrated in his 2023 book Variegated Economies . His scholarly output reveals a sustained engagement with the variegated nature of capitalist development across different spatial contexts. Recent publications demonstrate a sophisticated methodological approach combining institutional analysis with extended case methods, emphasizing historical context and spatial specificity while challenging universalizing theoretical claims. His work on Chinese political economy represents a significant departure from conventional Western-centric analyses. University Killam Professor (2025) Lauréat Prix International de Géographie Vautrin Lud ("Nobel de Géographie") (2023) Corresponding Fellow of the British Academy Fellow of the Royal Society of Canada Clarivate Highly Cited, Social Sciences (2014-2024) Distinguished University Scholar, UBC (2017-present) Canada Research Chair in Urban & Regional Political Economy (2008-2022) Professor Peck has supervised numerous doctoral students whose dissertations examine diverse topics including global urban solutions industries, US-Mexico border economies, Rio de Janeiro's 'PACification' processes, and China's experimental economic zones. His supervision approach emphasizes theoretically sophisticated empirical work that connects local case studies to broader political economic processes. His Canada Research Chair position supported extensive research on urban and regional political economy, while his current Killam Professorship funds ongoing work on Chinese political economy and conjunctural analysis methodologies. While not formally affiliated with a specific laboratory, Professor Peck is deeply engaged with multiple scholarly networks through his editorial leadership as Managing Editor of EPA: Economy & Space and co-editor of the Economic Transformations book series. His role as Convenor of the Summer Institute in Economic Geography demonstrates his commitment to fostering scholarly exchange and theoretical development in economic geography as a discipline.

Richard M. Murrayمشاهده پروفایل

استاد

• Control Theory
• Autonomous Vehicles
• Biological Circuit Design
• +۳ مورد دیگر

Richard M. Murray is the Thomas E. and Doris Everhart Professor of Control and Dynamical Systems and Bioengineering at the California Institute of Technology (Caltech). He holds a B.S. from Caltech (1985), M.S. from UC Berkeley (1988), and Ph.D. from UC Berkeley (1990). He has served in academic roles from Assistant Professor (1991–1997) to his current endowed professorship. He chaired the Engineering and Applied Science division (2000–2005) and Biology and Biological Engineering (2020–2024). His research focuses on feedback control in biological and autonomous systems, synthetic cells, and networked control systems. Collaborators include experts in robotics, synthetic biology, and systems biology. Key awards include the IEEE Control Systems Award and election to the National Academy of Engineering. His educational contributions span courses on control systems, robotics, and bioengineering. Current research projects include the Developer Cell initiative (Sloan Foundation), layered testing for autonomous systems (AFOSR), and microbiome-based environmental solutions (CHARMME, ARO). He advises numerous graduate students and postdocs, with notable alumni in academia and industry. Labs include facilities in Keck and Steele laboratories at Caltech. His work bridges control theory, synthetic biology, and autonomous systems to address societal challenges like environmental monitoring and safe autonomy.

• Algebraic Geometry
• Number Theory
• Representation Theory
• +۳ مورد دیگر

Andreas Bode is a Research Fellow at the University of Wuppertal, where he is part of the group led by Sascha Orlik in the Department of Mathematics. His research focuses on D-modules on rigid analytic spaces, integrating geometric representation theory and nonarchimedean geometry. His research interests span several areas of algebraic geometry and number theory, including the study of p-adic differential operators, nonarchimedean geometry, and representation theory. He explores the interplay between D-modules and rigid analytic spaces, contributing to the understanding of holonomicity, Auslander regularity, and the application of almost mathematics in p-adic contexts. His work bridges geometric and analytic approaches to problems in nonarchimedean settings. Bode's recent publications include advancements in the theory of Auslander regularity for p-adic structures, contributions to the holonomicity of D-cap-modules on rigid analytic spaces, and explorations into locally analytic representations of p-adic groups. His work often intersects with homological algebra and functional analysis, reflecting a deep engagement with both theoretical and methodological challenges in nonarchimedean geometry. He has not been mentioned as having received any scientific awards in the provided texts. Bode's current role as a postdoctoral researcher does not involve formal academic advising of students. No grants are specifically mentioned in the provided information. He is affiliated with the Algebra and Number Theory group at the University of Wuppertal, collaborating with colleagues such as Sascha Orlik and contributing to the broader research community in nonarchimedean geometry.

Kaki Ryanمشاهده پروفایل

استادیار

• Hardware Security
• Symbolic Execution
• Computer Science Education
• +۳ مورد دیگر

Kaki Ryan is a Teaching Assistant Professor at the Department of Computer Science, University of North Carolina at Chapel Hill. She holds a Ph.D. (2025), M.S. (2021), and B.S. (2020) from UNC, with a minor in AAAD. Her research focuses on hardware security, symbolic execution, and computer science education. Education Ph.D., 2025, UNC-Chapel Hill M.S., 2021, UNC-Chapel Hill B.S., 2020, UNC-Chapel Hill (Computer Science and Mathematics) Ryan's research centers on hardware security, particularly using symbolic execution to identify bugs and vulnerabilities in hardware designs. She also emphasizes broadening participation in computing and improving pedagogical strategies in computer science education. Her recent publications (2023-2025) explore symbolic execution techniques for hardware security verification, including query caching, information flow analysis, and path explosion mitigation. These works span conferences like ASPLOS, VTS, FMCAD, and workshops such as HASP. Scientific Awards John M. Glotzer Graduate Teaching Assistant Award (2020-2021) Tanner Award for Excellence in Undergraduate Teaching (2022) As an educator, Ryan has served as Instructor of Record for COMP 435 (Computer Security Concepts) and COMP 311 (Computer Organization) in Fall 2025. She has extensive teaching experience as a Graduate Teaching Assistant, Head Teaching Assistant, and Undergraduate Teaching Assistant for courses like COMP 210, COMP 110, and COMP 435, with a focus on data structures, security concepts, and programming fundamentals.

Alessio Lomuscioمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning Verification
• Neural Network Verification
• +۵ مورد دیگر

Alessio Lomuscio is a Professor of Safe Artificial Intelligence at Imperial College London, holding the prestigious Royal Academy of Engineering Chair in Emerging Technologies and recognized as an ACM Distinguished Member. He leads the Safe AI Lab, which focuses on developing methods and tools for the verification of AI systems to ensure their safe and secure deployment in applications of societal importance. His research spans verification and robust learning for neural networks and decision trees, robust machine learning in aviation and finance, monitoring of machine learning systems, assurance for autonomous systems and AI, and verification and validation of neuro-symbolic systems. Lomuscio has made significant contributions to formal verification methods for AI systems, particularly in the context of safety-critical applications. His recent publications demonstrate a strong focus on neural network verification techniques, with applications across multiple domains including finance, aviation, and autonomous systems. His work bridges theoretical advances in formal methods with practical applications in real-world AI systems, addressing critical challenges in AI safety and trustworthiness. Scientific Awards: Royal Academy of Engineering Chair in Emerging Technologies ACM Distinguished Member Lomuscio has served in numerous leadership roles, including as Co-Director (2023-present) and Deputy Director (2019-2023) of the UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence. He has also held positions as Director of Strategy and Planning (2017-2020), Member of Management Committee (2013-2020), and Deputy Head of Department (2016-2017). His editorial service includes roles as Associate Editor for Artificial Intelligence Journal and Editorial Board Member for Journal of Artificial Intelligence Research and Journal of Autonomous Agents and Multi-agent Systems. His research group actively mentors students and researchers, with current openings for PhD and postdoctoral positions focused on AI verification and safety. Lomuscio's work has established him as a leading figure in the field of safe and verifiable AI systems, with significant contributions to both theoretical foundations and practical applications.

• Applied Microeconomics
• Health Economics
• Economics of Non-Communicable Diseases

Aarushi XXX serves as a Research Fellow in the Department of Economics at the University of Bologna, Italy. Her institutional affiliation is formally maintained through the university's central academic structure in Bologna. Her educational background includes: Ph.D. in Economics from the University of Queensland (awarded February 2025) Master in Applied Econometrics from the University of Queensland BSc in Economics & Management from the University of St Andrews (with year abroad at Purdue University) Research focuses intensely on applied microeconomics within health economics, specifically examining economic burdens of non-communicable diseases. Her work quantifies impacts across conditions including infertility, obesity, colorectal cancer, chronic kidney disease, congestive heart failure, and breast cancer. This specialized niche combines econometric modeling with public health policy analysis, demonstrating methodological rigor in assessing disease-related productivity losses and healthcare system strain.

• Competition Law
• EU Law
• Antitrust
• +۹ مورد دیگر

Ryan Stones is a Lecturer at the City Law School , City, University of London, specializing in competition law, behavioral economics, and the intersection of legal philosophy with antitrust enforcement. His work critically examines the application of the formal rule of law to EU competition policy and analyzes historical schools of antitrust thought like the Chicago School and Ordoliberalism.

• Software Verification
• Formal Methods
• Programming Languages
• +۵ مورد دیگر

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.