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

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

استاد

• Quantum Computing
• Algorithms and Theory
• Quantum Error Correction
• +۳ مورد دیگر

Daniel Gottesman is the Brin Family Endowed Professor in Theoretical Computer Science at the University of Maryland, affiliated with the Department of Computer Science, Institute for Advanced Computer Studies (UMIACS), and the Joint Center for Quantum Information and Computer Science (QuICS). He holds a Ph.D. in Physics from Caltech (1997) and has held positions at institutions like the Perimeter Institute and Quantum Benchmark. His research focuses on quantum computing, quantum error correction, and fault-tolerant systems, with contributions to stabilizer codes and quantum teleportation-based gates. Education: Bachelor's in Physics, Harvard University (1992) Ph.D. in Physics, California Institute of Technology (1997) Research Interests: Quantum error correction and fault-tolerant architectures Quantum cryptography and secure communication protocols Quantum complexity theory and algorithm design Applications of stabilizer codes and topological quantum computing Scientific Awards: Fellow of the American Physical Society CIFAR Senior Fellow in Quantum Information Science Three U.S. Patents (e.g., quantum key distribution systems) Advising & Grants: Supervised over 30 students/postdocs and served on numerous thesis committees. Active in securing funding for quantum research through endowed professorships and industry partnerships (e.g., Quantum Benchmark). Labs/Teams: Member of QuICS and UMIACS, collaborating on quantum hardware-software integration and error correction challenges.

Supratik Chakrabortyمشاهده پروفایل

استاد

• Formal Methods
• Formal Verification
• Automated Synthesis
• +۷ مورد دیگر

Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.

• Computer Architecture
• Machine Learning
• FPGA Acceleration
• +۴ مورد دیگر

Hadi Esmaeilzadeh is an Associate Professor at the University of California, San Diego in the Department of Computer Science and Engineering . He previously served as an Assistant Professor at Georgia Tech (2013-2017) and holds the Halicioğlu Chair in Computer Architecture . As founder/director of the Alternative Computing Technologies (ACT) Laboratory and associate director of UCSD's Center for Machine Integrated Computing and Security (MICS) , his research drives cross-stack solutions for next-generation computer systems. Early tenure recipient at UCSD Coined the term "dark silicon" in computer architecture Developed Tabla/DnnWeaver open-source frameworks Research Interests span: Approximate Computing Neural Acceleration FPGA/ASIC Hardware Design Machine Learning Systems Dark Silicon Challenges Security/Privacy in Accelerated Systems Scientific Recognition : 4 CACM Research Highlights 4 IEEE Micro Top Picks Distinguished Paper Award (HPCA 2016) Inducted to ISCA Hall of Fame (2018) Teaching : Developed courses on accelerator design (CSE 240D) and alternative computing (CS 8803 ACT) Advocates for hands-on FPGA-based learning in Processor Design with FPGAs courses

Antonio Gonzálezمشاهده پروفایل

استاد

• Computer Architecture
• Microarchitecture
• Compilers
• +۷ مورد دیگر

Antonio González is a full Professor at the Barcelona School of Informatics (FIB), Universitat Politècnica de Catalunya (UPC), where he is affiliated with the Department of Computer Architecture. He leads the Microarchitecture and Compilers (ARCO) research group, focusing on robust and energy-efficient computing systems, including general-purpose processors, GPUs, and cognitive computing architectures. His research spans computer architecture, microarchitecture, compilers, GPU design, and deep learning acceleration, with a strong emphasis on energy efficiency and memory optimization. His work integrates hardware and compiler techniques to enhance performance in modern computing systems. The recent publications highlight a strong trend in energy-efficient DNN acceleration, GPU microarchitecture, memory systems, and near-data processing. His team explores novel quantization methods, adaptive caching, and architectural extensions for vision and AI workloads, published in top-tier venues such as MICRO, ISCA, and IEEE/ACM journals. ACM Fellow (2020) ICREA Academia Award (2014, 2019, 2024) UPC Duran Farell Award (2008) HiPEAC 2024 Paper Award (twice) González has supervised several PhD students and leads competitive R&D+i projects, including those funded by ICREA and the European Research Council. His research group collaborates extensively within UPC and with international institutions. He is actively involved in advancing computer architecture through innovation in simulation, hardware design, and AI acceleration. He is a member of IEEE and ACM, and his work continues to influence both academic and industrial developments in high-performance and energy-efficient computing.

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

دانشیار

• Early Modern British Literature
• Dutch-English Cultural Relations
• Literary Analysis
• +۳ مورد دیگر

Andrew J Fleck is an Associate Professor in the English and Comparative Literature Department at San José State University, affiliated with the College of Humanities and the Arts. He has been teaching since 2001, specializing in Early Modern British Literature with a focus on Dutch-English cultural relations between 1588-1688. Fleck holds a PhD from Claremont Graduate University (2000). His research explores how Dutch figures influenced English literary and cultural imagination, including studies on John Donne, Thomas Nashe, and early modern drama. He has published widely in journals like Studies in Philology and Journal of British Studies , with a particular emphasis on textual analysis, historical narratives, and cross-cultural exchanges. Fleck’s work spans from examining the role of Dutch language performances in early modern theater to analyzing the representation of national identity in texts like The Shoemaker’s Holiday . His recent publications (2013) include studies on John Donne’s engagement with astronomical themes and global adaptations of Macbeth . He maintains an active presence in academic encyclopedias, contributing entries on Milton’s Dutch connections and Renaissance authors. His scholarship bridges literary analysis with historical context, often highlighting how literature reflects political, religious, and cultural tensions of the period. Fleck’s teaching and research reflect a commitment to interdisciplinary approaches, integrating historical, linguistic, and cultural methodologies.

Fiona Leeمشاهده پروفایل

استاد

• Organizational Behavior
• Social Psychology
• Cultural Psychology
• +۳ مورد دیگر

Fiona Lee is the Arthur F. Thurnau Professor of Psychology at the University of Michigan, with affiliations in Organizational Studies and the Advisory Committee. She holds a Ph.D. from Harvard University. Her research focuses on three core areas: Identity Integration (how individuals navigate multiple identities), Power Dynamics (effects of power on behavior), and Cultural Differences (impact of cultural contexts on organizations and individuals). She teaches courses on Organizational Psychology and Research Methods in Personality/Social Contexts. Lee’s work bridges social psychology and organizational behavior, emphasizing multicultural experiences and adaptation. Her recent studies explore refugee well-being, racial discrimination coping strategies, and the role of family in resettlement processes. Notably, she investigates how cultural identity integration influences creativity, decision-making, and social tolerance. Her publications span cross-cultural communication, biculturalism, and institutional barriers faced by minorities. Lee’s research often combines qualitative and quantitative methods to address real-world challenges in workplace dynamics and global mobility.

• Secure Decentralized Systems
• Blockchain Technology
• Systems Security
• +۳ مورد دیگر

Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.

Jonathan M. Bakerمشاهده پروفایل

استادیار

• Quantum Computing
• Quantum Computer Architecture
• Quantum Error Correction
• +۴ مورد دیگر

Jonathan M. Baker is an Assistant Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin, holding the Advanced Micro Devices Chair in Computer Engineering. His research centers on quantum computer architecture with emphasis on practical quantum error correction implementation across the quantum computing stack. His educational background includes a Ph.D. in Computer Science from the University of Chicago (advised by Fred Chong) and dual B.S. degrees in Mathematics and Chemistry and Computer Science from the University of Notre Dame. Baker's research spans quantum compilation, logic synthesis, multi-radix architectures, and error mitigation for both near-term and fault-tolerant quantum systems. His work addresses critical challenges in quantum hardware-software co-design, with particular focus on optimizing quantum circuits for real-world hardware constraints and noise characteristics. Current projects emphasize qudit-based computing, neutral atom architectures, and efficient error correction implementations. His publication record shows strong focus on quantum architecture innovations, with recent work exploring qudit advantages, modular chiplet designs, and dynamic noise adaptation. Key trends include hardware-aware compilation techniques, communication optimization across quantum systems, and practical approaches to fault tolerance. Best Paper Award Runner Up, MICRO 2020 IEEE Micro Top Pick, 2020 (Virtualized Logical Qubits) IEEE Micro Top Pick, 2020 (Extending Frontier with Qutrits) IEEE Micro Top Pick, 2021 (Emerging Technologies) Best Poster Award, MICRO 2018 Baker actively mentors graduate students in quantum computing architecture research and serves on conference review committees including MICRO and ASPLOS. His teaching includes specialized quantum systems courses at UT Austin and online EdX modules covering quantum computation fundamentals and architecture. He collaborates with the Duke Quantum Center and maintains strong industry connections through the AMD Chair position, focusing on bridging academic research with practical quantum computing implementations.

Jason Eisnerمشاهده پروفایل

استاد

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

Jason Eisner is a Professor in the Department of Computer Science at Johns Hopkins University's Whiting School of Engineering, with a secondary joint appointment in Cognitive Science. He is affiliated with the Center for Language and Speech Processing (CLSP), the Human Language Technology Center of Excellence, and leads JHU's cross-departmental machine learning group. His research focuses on developing probabilistic modeling, inference, and learning techniques for linguistic structure. Eisner has authored over 100 papers in computational linguistics, particularly in parsing, grammar induction, machine translation, computational phonology, computational morphology, and weighted finite-state methods. He is the lead designer of Dyna, a declarative programming language for AI research that allows concise programs backed by efficiency tricks. Eisner's work centers on novel methods in NLP and machine learning, with emphasis on probabilistic modeling and inference in complex, structured settings. His research program combines computer science with statistics and linguistics to create statistical models that capture linguistic structure and develop efficient algorithms for applying these models to data with minimal supervision or through large pre-trained models. As an ACL Fellow, Eisner has made significant contributions to the field. His recent work (2023-2025) shows a strong focus on large language models, semantic parsing, controlled text generation, model interpretability, and privacy-preserving techniques, continuing his long-standing interest in the intersection of probabilistic modeling and linguistic structure. ACL Fellow He teaches courses including Natural Language Processing (601.465/665), Machine Learning: Linguistic and Sequence Modeling (601.765), Declarative Methods (601.325/425/625), and Selected Topics in Natural Language Processing (601.865). His advising focuses on research students through the Argo research group, with emphasis on fundamental research questions in NLP rather than immediate applied engineering.

Catherine O'Sullivanمشاهده پروفایل

استاد

• Particulate Soil Mechanics
• Discrete Element Modelling (DEM)
• Geotechnical Engineering
• +۷ مورد دیگر

Prof. Catherine O'Sullivan is a Professor of Particulate Soil Mechanics at Imperial College London's Department of Civil and Environmental Engineering, part of the Faculty of Engineering. She leads the Geotechnics Section and serves as Editor-in-Chief of the ASCE Journal of Geotechnical and Geoenvironmental Engineering. Her research focuses on particulate soil mechanics, employing Discrete Element Modelling (DEM) and micro-CT imaging to study sand behavior, reservoir sandstones, and internal erosion. Notable recognitions include the 2016 Shamsher Prakash Research Award and the 2021 President’s Teaching Innovation Award. Education : PhD in Civil Engineering, University of California, Berkeley (2002) MEngSc in Civil Engineering, University College Cork (Ireland) BEng (Civil Engineering), University College Cork (Ireland) Research Interests : Prof. O'Sullivan's work integrates computational and experimental methods to explore granular material behavior. Key areas include DEM validation, μCT analysis, and pore network modeling. Her group collaborates across disciplines, involving physicists and mechanical engineers alongside civil engineers. Awards & Recognition : 2015 Geotechnique Lecture Student Choice Supervision Award (nominated twice) 2023 Alert Geomechanics Special Lecture Advising & Grants : She supports PhD and postdoctoral researchers through Imperial scholarships and fellowships. Her students often explore particulate soil behavior, with many securing prestigious awards. Labs & Teams : Leads the Geotechnics Section at Imperial, fostering interdisciplinary research in geomechanics and computational modeling.

Tulika Mitraمشاهده پروفایل

استاد

• Hardware-Software Co-design
• Real-Time Embedded Systems
• Energy-Efficient Computing
• +۷ مورد دیگر

Professor Tulika Mitra is the Dean of the School of Computing and Vice Provost (Special Projects) at the National University of Singapore (NUS). She holds the Provost’s Chair Professor in the Department of Computer Science and has been instrumental in shaping academic policies and strategic initiatives at NUS since joining in 2001. PhD in Computer Science, Stony Brook University (2000) M.E. in Computer Science, Indian Institute of Science (1997) B.E. in Computer Science, Jadavpur University (1995) Her research focuses on hardware-software co-design for energy-efficient computing systems, particularly in real-time embedded systems, heterogeneous architectures, and AI accelerators. She leads major research programs such as the NRF Competitive Research Programme on Low-Power Edge Accelerators and the MOE Tier-3 Programme on Green AI , collaborating with industry leaders like ARM, AMD, and Meta. Her recent publications highlight innovations in CGRA optimization , sparse attention mechanisms , photonic-digital hybrid architectures , and low-power ML inference . These works often integrate compiler techniques, architectural design, and real-time constraints for edge computing applications. Scientific Awards : ESWEEK Test-of-Time Award (2022), ACM SIGDA Distinguished Service Award, IEEE CEDA Outstanding Service Recognition Award, Teaching Excellence Award (2006), and multiple best paper recognitions. Education Leadership : Spearheaded the Computer Engineering (CEG) Programme at NUS, a joint initiative between Engineering and Computing. As a mentor , she has supervised over 25 PhD students , many now in prominent academic or industrial roles. Her research group eCO Lab focuses on embedded computing challenges, while her grant collaborations include projects on 5G base stations, reconfigurable architectures, and IoT-optimized SoCs.

Beverly J. Silverمشاهده پروفایل

استاد

• Historical Capitalism
• Global Inequality
• Labor Movements
• +۴ مورد دیگر

Beverly J. Silver is a Professor in the Department of Sociology at Johns Hopkins University and Director of the Arrighi Center for Global Studies. She holds a PhD in Sociology from SUNY Binghamton. Her research focuses on historical capitalism, global inequality, labor movements, and social conflict, employing comparative and world-historical methodologies. She examines how these phenomena interact across time and space, particularly in the context of globalization and geopolitical shifts. Key research interests include the dynamics of labor unrest, the evolution of social protest, and the role of hegemonic power structures in shaping global economic and political systems. Her work emphasizes long-term historical frameworks to identify recurring patterns and novel developments in contemporary globalization processes. Her publications analyze global social protest trends, the limits of US hegemony, and the interplay between economic crises and social conflict. She has contributed significantly to understanding labor movements' trajectories, especially in the automobile industry and emerging economies like China. Recent work explores the acceleration of social history and the implications of crises in global capitalism. Award-winning scholar (no explicit awards listed), her research spans over three decades, with a focus on the sociology of global systems. She advises no listed students and her grants/awards remain unspecified. She leads the Arrighi Center, fostering interdisciplinary global studies research.

• Computer Architecture
• Machine Learning
• Approximate Computing
• +۳ مورد دیگر

Hadi Esmaeilzadeh is an Associate Professor at the University of California, San Diego in the Department of Computer Science and Engineering . He leads the Alternative Computing Technologies (ACT) Laboratory and serves as Associate Director of the Center for Machine Integrated Computing and Security (MICS) . Previously, he was an Assistant Professor at Georgia Institute of Technology. Ph.D., Computer Science and Engineering, University of Washington (2013) Research focuses on computer architecture , machine learning acceleration , and approximate computing His work has produced 15+ publications spanning IEEE Micro Top Picks , CACM Research Highlights , and ISCA . Key projects include: Tabla : Cross-stack ML acceleration framework DnnWeaver : Open-source DNN acceleration platform Major honors include: IEEE TCCA Young Computer Architect Award ISCA Hall of Fame Qualcomm Innovation Fellowship Georgia Tech PURA Award Teaching roles: CSE 141: Introduction to Computer Architecture CSE 240D: Accelerator Design for Deep Learning CSE 240A: Principles of Computer Architecture

Ian Horrocksمشاهده پروفایل

استاد

• Knowledge Representation
• Description Logics
• Automated Reasoning
• +۴ مورد دیگر

Ian Horrocks is a Professor of Computer Science at the University of Oxford and a Fellow of Oriel College. His research focuses on knowledge representation, description logics, automated reasoning, and semantic web technologies. He has held academic positions at the University of Manchester (2003–2007) and served as Chief Scientist at Cerebra Inc. (2001–2006). Horrocks earned his BSc (1st class), MSc, and PhD in Computer Science from the University of Manchester (1981–1997). His work includes foundational contributions to ontology languages (e.g., OWL) and reasoning systems such as HermiT and ELK. He has supervised over twenty doctoral students and postdoctoral researchers. His honors include Fellowships from the Royal Society (2011), ECCAI (2009), and the British Computer Society (2005). He serves as Editor-in-Chief of the Transactions on Graph Data and Knowledge and leads initiatives in semantic web standards and knowledge graph applications. Key Roles: Editor-in-Chief (Journal of Web Semantics), Co-Chair (W3C OWL Working Group) Grants: EPSRC Senior Research Fellowship (2005), numerous international collaborations Labs: Oxford Semantic Technologies, involvement in projects like RDFox and PAGOdA

ONG Soh Khimمشاهده پروفایل

استاد

• Augmented Reality Applications in Manufacturing
• Intelligent Manufacturing Systems
• Sustainable Product Design
• +۴ مورد دیگر

ONG Soh Khim is a Professor in the Department of Mechanical Engineering at the National University of Singapore (NUS) and a member of the NUS Graduate School. She is a Fellow of CIRP (International Academy for Production Engineering), the first Asian and fourth female Fellow globally. Her research focuses on augmented reality (AR) and digital twins in manufacturing, with applications in assistive technology and sustainable design. She has authored/co-edited 6 books, over 300 journal/conference papers, and holds an H-index of 66 (Google Scholar) and 52 (Scopus). She has held leadership roles, including serving as a Nominated Member of the Singapore Parliament (2005–2006) and on multiple NUS governance boards. Her honors include the Singapore Youth Award (2004), M. Eugene Merchant Award (2004), and the 2021 Long Service Medal. She advocates for gender diversity in STEM, leading initiatives like the Girls2Pioneers program. Her current roles include Senior Principal Investigator at NUS Research Institutes in Suzhou and Guangzhou, and Visiting Professorships at Chinese universities.