جستجوی استاد راهنمای دانشگاهی

Brandon M. Luciaمشاهده پروفایل

استاد

• Computer Architecture
• Computer Systems
• Programming Languages
• +۷ مورد دیگر

Brandon M. Lucia is the Kavčić-Moura Professor of Electrical and Computer Engineering at Carnegie Mellon University and CEO/co-founder of Efficient Computer Company. He leads the Abstract research group and focuses his work on the intersection of computer architecture, systems, and programming languages. Education: Ph.D. in Computer Science and Engineering, University of Washington (2013) — advised by Luis Ceze Research Focus: Brandon's research is broadly centered on intermittent computing , edge computing , and energy-efficient architectures . Two major thrusts define his current work: Intermittent Computing: Making battery-free, energy-harvesting devices programmable and reliable despite frequent power failures. Applications include medical implants, space systems, and large-scale sensing. Orbital Edge Computing: Designing nanosatellite constellations that perform on-orbit data processing, enabling low-latency, high-resolution sensing in space-constrained environments. Scientific Awards: NSF CAREER Award (2017) IEEE TCCA Young Computer Architect Award (2019) Sloan Foundation Fellowship (2021) ASPLOS 2020 Best Paper Award OOPSLA 2015 Distinguished Paper & Artifact Awards IEEE Micro Top Picks (2016, 2018 Honorable Mention) Advising & Grants: Brandon actively advises a strong cohort of Ph.D. students including Zhuo Cheng, Bradley Denby, Souradip Ghosh, Harsh Desai, Kiwan Maeng, Emily Ruppel, and others. His group is funded by the NSF (CAREER and SHF grants), the Sloan Foundation, and industry partnerships. Labs & Teams: He directs the Abstract research group at CMU ECE, which hosts interdisciplinary projects spanning hardware design, compiler construction, and system software for ultra-low-power and space-borne computing platforms.

• Database Management Systems
• Self-Driving Database Architectures
• Transaction Processing Systems
• +۴ مورد دیگر

Andy Pavlo is an Associate Professor with Indefinite Tenure in the Computer Science Department at Carnegie Mellon University's School of Computer Science. He is an active member of the CMU Database Group and the Parallel Data Laboratory, where he leads research in database management systems with a focus on self-driving architectures, transaction processing, and large-scale analytics. His work bridges academic research and industry applications through projects like NoisePage, OtterTune (which he co-founded and served as CEO before it ceased operations), and Peloton. Dr. Pavlo's research interests span database management systems with particular emphasis on autonomous database architectures that can self-tune and optimize without human intervention. His work explores transaction processing systems that can handle high-throughput workloads while maintaining consistency, and large-scale data analytics techniques that efficiently process massive datasets. He has made significant contributions to query optimization, database extensibility, and automatic database tuning using machine learning techniques. His recent work on database extensibility revealed critical issues in PostgreSQL's extension ecosystem, showing that approximately 16% of extensions are incompatible with at least one other extension due to API violations and memory errors. His research output demonstrates a consistent focus on practical database systems challenges, with recent publications examining database extensibility, user-defined function optimization, and the cyclical nature of database research. The articles show a strong trend toward making database systems more autonomous, with increasing integration of machine learning techniques for automatic tuning and optimization. His work often combines deep theoretical analysis with practical implementation in open-source systems. Dijkstra Award 2024 for contributions to database systems research Dr. Pavlo actively mentors graduate students, with current advisees including Wan Shen Lim, William Zhang, and Sam Arch (co-advised with Todd Mowry). His former students have gone on to successful careers in both industry and academia. He has secured significant research funding through CMU's affiliate program with major database companies including ClickHouse, DataStax, dbt, Firebolt, MotherDuck, RelationalAI, SingleStore, Spiral, PingCAP/TiDB, Yellowbrick, and Yugabyte. His research is supported by these industry partnerships and likely includes NSF funding given his active participation in the database research community. At CMU, Dr. Pavlo leads the Database Group and organizes several seminar series including "SQL or Death," "Database Building Blocks," and "ML⇄DB Technical Talks." These seminars bring together researchers and practitioners to discuss cutting-edge developments in database systems. He also runs a summer research internship program that has attracted students for multiple consecutive years, indicating a strong research group with ongoing projects and funding.

James C. Hoeمشاهده پروفایل

استاد

• Computer Architecture
• Reconfigurable Computing
• High-Level Hardware Design and Synthesis
• +۴ مورد دیگر

James C. Hoe is Professor of Electrical and Computer Engineering at Carnegie Mellon University (College of Engineering). He is on sabbatical at MangoBoost and directs research in computer architecture, reconfigurable computing, and high-level hardware design. Education Ph.D., Electrical Engineering and Computer Science, MIT (2000) M.S., Electrical Engineering and Computer Science, MIT (1994) B.S., Electrical Engineering and Computer Science, UC Berkeley (1992) Research Interests Professor Hoe’s work spans computer architecture , reconfigurable computing , FPGA architectures , and high-level hardware synthesis . His group created the CoRAM abstraction for virtualized FPGA computing and leads efforts in power-efficient accelerators, in-network computing, and security-oriented FPGA systems. Scientific Awards IEEE Fellow (2013) Intel Outstanding Researcher Award (2021) Research Funding & Projects Intel / VMware Crossroads 3D-FPGA Academic Research Center – co-leading exploration of FPGA roles in future datacenters. DARPA BRASS program ($2.7 M, 4 years) – ensuring long-lived software systems remain robust to resource changes. Pigasus open-source IDS – world’s fastest FPGA-accelerated intrusion-detection system (100 Gb/s on one server). Labs & Teams He heads activities within the Computer Architecture Lab at Carnegie Mellon (CALCM) , supervising graduate researchers on CoRAM++, SPIRAL autotuning, and FPGA overlays for stream processing.

Justine Sherryمشاهده پروفایل

استادیار

• Computer Networking
• Networked Systems
• Middleboxes
• +۵ مورد دیگر

Justine Sherry is the A. Nico Habermann Associate Professor of Computer Science at Carnegie Mellon University, affiliated with the College of Engineering. She holds a PhD (2016) and MS (2012) from UC Berkeley and a BS/BA (2010) from the University of Washington. Her research focuses on networked systems, including middleboxes, cloud computing, congestion control, and hardware acceleration (e.g., SmartNICs/FPGAs). Notable projects include Pigasus (open-source 100Gbps IDS), APLOMB (cloud-based middlebox scaling), and BlindBox (encrypted traffic scanning). Her academic roles include serving on the SIGCOMM CARES Committee, DARPA ISAT Study Group, and ACM CoNEXT Steering Committee. Awards include the Alfred P. Sloan Fellowship, VMware Systems Award, and IETF Applied Networking Prize. She advises over 15 students and collaborates with industry partners like Intel and VMware. Research highlights include radical shifts in datacenter architectures (SmartNIC compute control), fairness in congestion algorithms (BBR analysis), and database-proxy innovations (Tigger with eBPF). Her teaching emphasizes systems as science labs, integrating experimental design and hypothesis testing into projects. Education: PhD UC Berkeley (2016), MS UC Berkeley (2012), BS/BA University of Washington (2010) Labs/Teams: CyLab, SNAP Research Group, CMU Portugal Collaboration Grants: NSF, Intel, Google Faculty Awards

Raj Rajkumarمشاهده پروفایل

استاد

• Connected and autonomous driving
• Cyber-physical systems
• Embedded and real-time systems
• +۳ مورد دیگر

Raj Rajkumar is the George Westinghouse Professor of Electrical and Computer Engineering at Carnegie Mellon University (CMU), with a courtesy appointment in the Robotics Institute. He holds leadership roles as Director of the USDOT Mobility21 and Safety21 National University Transportation Centers, and Director of the Metro21: Smart Cities Institute. His work focuses on cyber-physical systems, autonomous driving, and vehicular networking. Education: Ph.D. in Electrical and Computer Engineering from CMU (1989). Research interests include connected/autonomous vehicles, cyber-physical systems, embedded systems, and vehicular networking. Key projects include the General Motors-CMU Collaborative Research Lab and the development of autonomous vehicle protocols like Ballroom Intersection Protocol. Notable awards include the 2016 National Academy of Inventors Fellowship and the 2017 Pittsburgh Business Times Innovation Award. His publications span real-time systems, sensor networks, and automotive cyber-physical frameworks. Rajkumar advises on autonomous vehicle safety, energy efficiency, and societal impacts, with frequent media engagements on self-driving technologies.

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

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

Golan Levinمشاهده پروفایل

استاد

• Interactive Art
• Digital Fabrication
• Information Visualization
• +۴ مورد دیگر

Golan Levin is Professor of Electronic Art at Carnegie Mellon University's School of Art, with courtesy appointments in the School of Design, School of Architecture, School of Computer Science, and Entertainment Technology Center. From 2009 to 2022, he served as Director and Co-Director of CMU's Frank-Ratchye STUDIO for Creative Inquiry, a laboratory dedicated to supporting atypical, anti-disciplinary research at the intersection of arts, science, technology, and culture. Levin's research spans interactive art, digital fabrication, information visualization, and generative design. He explores the critical potential of visualization, generative computation for expressive form, and how abstraction connects to realities beyond language. His practice engages interactive gestural robotics, nonverbal interaction aesthetics, and tactical applications of personal digital fabrication through responsive artifacts and media provocations that highlight human-machine relationships. His publications reveal consistent innovation in real-time audiovisual systems, interactive fabrication interfaces, and pedagogic tools for artists. Key trends include slit-scan video techniques, tangible augmented-reality performance, and noise-based visualizations, demonstrating his commitment to expanding human action vocabulary through digital media while bridging artistic expression with computational systems. Levin's work has received significant recognition: Permanent collection inclusion at Museum of Modern Art (MoMA) Whitney Biennial exhibition "50 Designers Shaping the Future" by Fast Company (2012) Competitive grants from National Endowment for the Arts, National Endowment for the Humanities, Creative Capital, and Rockefeller MAP Fund As an educator, Levin teaches "studio courses in computer science" on interactive art, experimental capture, and generative design, emphasizing computation as a medium for critical inquiry. His research funding from major cultural institutions supports interdisciplinary exploration at the arts-technology nexus. The Frank-Ratchye STUDIO for Creative Inquiry, which he directed for 13 years, remains a vital hub for anti-disciplinary collaboration, continuing his legacy of fostering creative agency through technology-infused artistic practice.

Phillip B. Gibbonsمشاهده پروفایل

استاد

• Parallel Computing
• Distributed Systems
• Databases
• +۴ مورد دیگر

Phillip B. Gibbons is a Professor in both the Computer Science Department and Electrical & Computer Engineering Department at Carnegie Mellon University. He received his Ph.D. in Computer Science from the University of California at Berkeley in 1989 and has held research positions at AT&T Bell Laboratories, Lucent Bell Laboratories, and Intel Research Pittsburgh before joining CMU's faculty. His research spans parallel computing, distributed systems, databases, computer architecture, and machine learning. Gibbons' work bridges theory and systems, with publications in top-tier conferences including SOSP, OSDI, SIGMOD, VLDB, NeurIPS, and many others across computer science and engineering disciplines. His research has been supported by significant funding from NSF, Intel, and other organizations. Gibbons has made substantial contributions to streaming algorithms, parallel computing frameworks, distributed systems security, and large-scale machine learning systems. His work on data stream algorithms with Alon, Matias, and Szegedy has been particularly influential in the field. He has served in numerous leadership roles including Editor-in-Chief of ACM Transactions on Parallel Computing (2012-2018) and on the editorial boards of Journal of the ACM and IEEE Transactions on Cloud Computing. He has also been active on program committees for major conferences in systems, databases, and theory. IEEE Fellow (2014) - For contributions to parallel computing and databases ACM Fellow (2006) - For contributions to parallel computing, databases, and sensor networks Selected for Oral Presentation at NeurIPS '13 (only 20 selected out of 1420 submissions) Co-winner of the best paper award for NSDI '06 Gibbons has advised numerous students and mentored researchers who have gone on to make significant contributions in academia and industry. His research has been supported by major grants including the $15M Intel Science and Technology Center for Cloud Computing (2011-2015) where he served as Co-PI/Co-Director. He currently leads research projects on write-efficient algorithms, big learning systems, and visual cloud systems. His laboratory work focuses on bridging theoretical computer science with practical systems implementation, particularly in the areas of parallel and distributed computing. Current research directions include adapting algorithms for emerging memory technologies and optimizing machine learning systems for large-scale deployment.

Norman Sadehمشاهده پروفایل

استاد

• cybersecurity
• online privacy
• Human-AI Interaction
• +۱۱ مورد دیگر

Norman Sadeh is a Professor in the School of Computer Science at Carnegie Mellon University (CMU), where he has made significant contributions to cybersecurity, privacy, and AI research. He has co-founded and co-directed several groundbreaking graduate programs at CMU, including the Privacy Engineering Program (2012-present), the Ph.D. Program in Societal Computing (2003-2013), and the MBA track in Technology Strategy and Product Management (2005-2017). Carnegie Mellon University, School of Computer Science Software and Societal Systems Department CyLab Security and Privacy Institute Manufacturing Futures Institute Dr. Sadeh received his Ph.D. in Computer Science at CMU with a major in Artificial Intelligence and a minor in Operations Research. He holds an M.Sc. in computer science from the University of Southern California and a BS/MS degree in electrical engineering and applied physics from the Free University of Brussels (Belgium) as 'Ingénieur Civil Physicien.' Professor Sadeh's research spans cybersecurity, online privacy, Human-AI Interaction, AI governance, mobile computing, the Internet of Things, user-oriented machine learning, and language technologies. He is particularly known for his pioneering work on AI-based privacy enhancing technologies, including privacy assistants, automated privacy compliance tools, and NLP-based privacy solutions. His work has influenced the design of privacy features at major technology companies including Apple, Google, and Facebook/Meta, as well as privacy policies at regulatory agencies like the Federal Trade Commission and the California Office of the Attorney General. Analysis of his recent publications shows a strong focus on practical privacy solutions, particularly in mobile and IoT contexts, with an emphasis on making privacy more usable and understandable for end users. His work bridges technical innovation with policy implications, addressing both the technological and human aspects of privacy protection. 2018 Outstanding Entrepreneur of the Year award from the Pittsburgh Venture Capital Association Test of time award by the AAAI Conference on Web and Social Media (ICWSM) Gartner Group's Magic Quadrant leader in Security Awareness Computer-Based Training for 4 consecutive years Deloitte's Technology Fast 500 recognition for 3 consecutive years Professor Sadeh has advised numerous students, including PhD candidates like Aerin (Shikhun) Zhang, whose dissertation focused on understanding diverse privacy attitudes. His research has been funded through various grants, including NSF SaTC projects, and has resulted in technologies that protect tens of millions of users worldwide. He also founded Wombat Security Technologies, which was acquired by Proofpoint in 2018 and whose technologies are used by over 75% of Fortune 100 companies. Professor Sadeh leads several research initiatives including the Privacy Engineering Program, the Usable Privacy Policy Project, the Personalized Privacy Assistant Project, and CMU's Privacy Infrastructure for the Internet of Things. His Mobile Commerce Lab and E-Supply Chain Management Lab have produced influential research that has been commercialized by major organizations including IBM, Raytheon, Boeing, and the U.S. Army.

Cleotilde Gonzalezمشاهده پروفایل

استاد پژوهش

• Decision Science
• Cognitive Psychology
• Human-Computer Interaction
• +۵ مورد دیگر

Cleotilde (Coty) Gonzalez is a Research Professor of Decision Sciences at Carnegie Mellon University, with primary affiliation in the Department of Social and Decision Sciences (SDS). She serves as the Founding Director of the Dynamic Decision Making Laboratory (DDMLab) and Research Co-Director of the NSF National Institute for AI for Societal Decision Making (AI-SDM). Her extensive academic affiliations include the Security and Privacy Institute (CyLab), the Societal Computing program in the Software and Societal Systems Department (S3D), the Human-Computer Interaction Institute (HCII) in the School of Computer Science, and the Center for Behavioral Decision Research (CBDR) and Center for Neural Basis of Cognition (CNBC). Dr. Gonzalez holds a Ph.D. in Management Information Systems and has developed Instance-Based Learning Theory (IBLT), a significant contribution to cognitive science that explains how people make decisions based on past experiences. Her research spans experimental studies and computational modeling of cognitive processes in dynamic decision environments, with applications in cybersecurity, human-machine teaming, and societal decision making. Her recent publications reveal a strong focus on human-AI collaboration, collective intelligence, cybersecurity, and cognitive modeling. The research trends show increasing integration of AI systems with human decision processes, particularly examining how humans and AI can complement each other in complex decision environments. Her work increasingly addresses cybersecurity challenges through behavioral science perspectives, exploring how cognitive models can improve defense mechanisms against social engineering attacks. Lifetime Fellow of the Cognitive Science Society Lifetime Fellow of the Human Factors and Ergonomics Society Member of the Governing Board of the Cognitive Science Society Member at Large of the Policy Council of the System Dynamics Society Committee member of the National Academies Division Committee for the Behavioral and Social Sciences and Education Dr. Gonzalez has mentored over 50 post-doctoral fellows and doctoral students, with many going on to successful careers in academia, government, and industry. Her research has been supported by major collaborative efforts including Collaborative Research Alliances (CRA) and Multi-University Research Initiative grants from the Army Research Laboratories (ARL) and Army Research Office (ARO), as well as projects with the Defense Advanced Research Projects Agency (DARPA). She directs the Dynamic Decision Making Laboratory, which conducts research involving laboratory experiments and cognitive computational models to derive theoretical conclusions about dynamic decision making and develop applications for societal problems.

• Strategic use of IT
• Business-to-business commerce
• Business value of information technology
• +۵ مورد دیگر

Tridas Mukhopadhyay is the Deloitte Consulting Professor of e-Business at Carnegie Mellon University's Tepper School of Business, where he has served on the faculty since 1986. His academic journey at CMU progressed from Instructor of Information Systems (1986-1987) to Assistant Professor (1987-1993), Associate Professor (1993-1997), Professor (1998-present), and Deloitte Consulting Professor of e-Business (2000-present). He also served as Director of the MS in Electronic Commerce program from 1999-2004. Ph.D. in Computer and Information Systems, University of Michigan–Ann Arbor, 1987 M.B.A. in Computer and Information Systems, Indian Institute of Management Calcutta, 1981 B. Tech. in Electrical Engineering, Indian Institute of Technology Kharagpur, 1978 Professor Mukhopadhyay's research spans multiple critical areas in information systems and technology management. His work on strategic IT use examines how organizations derive business value from information technology investments. He has conducted extensive research on business-to-business commerce, particularly focusing on e-procurement systems, web-based marketplaces, and electronic intermediation models. His cybersecurity research investigates the economic aspects of cyber security, including liability mechanisms and patch release strategies. In software engineering, he has studied productivity, quality metrics, and offshore software development contracts. His most recent publications reveal several key trends in his research trajectory. There's a growing focus on digital platform economics, examining advertising models, virtual currency systems in gaming, and sharing economy dynamics. His work increasingly incorporates behavioral aspects, studying how users respond to personalized content and how backers exert control in crowdfunded projects. Methodologically, his research employs sophisticated analytical approaches including hierarchical Bayesian models, structural equation modeling, and natural experiment designs. CART Research Frontier Award, Carnegie Mellon, 2005 Distinguished Ph.D. Alum, Michigan Business School, 2004 Best Paper, International Conference on Information Systems, 2001 Best Paper, MIS Quarterly, 1995 Xerox Research Chair, Tepper School of Business, 1988-1989 Information Systems Society Distinguished Fellow, 2012 Professor Mukhopadhyay has served on numerous editorial boards including Information Systems Research (1994-2003), Management Science (1999-2003), and MIS Quarterly (1997-1999), demonstrating his significant contributions to the field. His consulting work with major organizations including Alcoa, Chrysler, Ford, General Motors, IBM, and governmental agencies like the United States Post Office and Pennsylvania Turnpike has provided practical insights that inform his academic research. He has been actively involved in university governance through committee service including the Business Technology Faculty Search Committee and the CMU Faculty Senate. His research has been supported through various industry partnerships and academic grants, though specific grant details aren't provided in the source material. His teaching focuses on Business Computing and Strategic IT courses, reflecting his expertise in both foundational information systems concepts and strategic applications of technology in business contexts.

James D. Herbslebمشاهده پروفایل

استاد

• Software Engineering
• Computer-Supported Cooperative Work (CSCW)
• Socio-Technical Systems
• +۷ مورد دیگر

James D. Herbsleb is a Professor at Carnegie Mellon University in the Software and Societal Systems Department under the School of Computer Science . He served as Department Head from 2019-2024 and holds a PhD in Psychology and an MS in Computer Science. Education PhD in Psychology MS in Computer Science Research interests focus on the intersection of software engineering , computer-supported cooperative work , and socio-technical systems . Key areas include global software teams, open source ecosystems, and the limits of modularity in complex projects. His work explores decision networks , interface translucence , and scientific software sharing through NSF-funded initiatives. Recent publications examine API management in ecosystems like Eclipse and Node.js, coordination theory in distributed teams, and transparency in open source practices. Awards include the ACM Outstanding Research Award (2016) and Alan Newell Award (2014) . Scientific Awards ACM Outstanding Research Award (2016) Alan Newell Award for Research Excellence (2014) Most Influential Paper Award (ICSE 2010) Best Paper Award (Academy of Management 2010) Best Paper Award (CSCW 2006) Students advised include Patrick Wagstrom (COS PhD), Anita Sarma (postdoc), Uri Dekel (SE PhD), and current PhD candidates like Ben Towne. Research is supported by NSF, Sloan Foundation, and industry partners including Google and IBM.

David Garlanمشاهده پروفایل

استاد

• Software Engineering
• Software Architecture
• Self-Adaptive Systems
• +۴ مورد دیگر

David Garlan is a Professor at the Software and Societal Systems Department within the School of Computer Science at Carnegie Mellon University , where he also serves as Associate Dean for Master’s Programs . He received his Ph.D. from Carnegie Mellon in 1987 after working in industry as a software architect. His research focuses on controlling complexity in large software systems through formalized architectural design, self-adaptive systems, and cyber-physical systems. He developed AcmeStudio , a widely used architecture design environment, and pioneered formal representation and analysis of software architecture. Education : Ph.D. in Computer Science (Carnegie Mellon, 1987) Research Interests include: Software Architecture: Formal methods for architectural design, end-user composition, and architectural styles Self-Adaptive Systems: Stochastic planning, model checking, security adaptation, and uncertainty reduction Cyber-Physical Systems: Multi-view design methods, consistency checking, and automotive systems Recent Article Trends address microservice resiliency, hybrid planning (combining formal methods and ML), simulation-augmented robotics, and sustainable machine translation. Themes include stochastic modeling , probabilistic verification , and adaptive decision-making . Scientific Awards : Stevens Award Citation (2005) ACM SIGSOFT Outstanding Research Award (2011) Allen Newell Award for Research Excellence (2016) IEEE TCSE Distinguished Education Award (2017) Nancy Mead Award (2017) Fellow of IEEE and ACM Advising and Grants : He has advised 25+ graduate students and collaborated on projects with Toyota and the Software Engineering Institute. His work includes model-based adaptation, automated planning, and formal verification of adaptive systems. Labs & Teams : Affiliated with the Institute for Software Research and works on tools like AcmeStudio, Rainbow, and IPL for architectural modeling and self-adaptation.

Claire Le Gouesمشاهده پروفایل

دانشیار

• Software Engineering
• Programming Languages
• Program Analysis
• +۹ مورد دیگر

Claire Le Goues is an Associate Professor in the School of Computer Science at Carnegie Mellon University , affiliated with the Software and Societal Systems Department (formerly Institute for Software Research). She holds a Ph.D. and M.S. in Computer Science from the University of Virginia and a B.A. in Computer Science from Harvard College. Her research focuses on software engineering with emphasis on program analysis , transformation , and search-based repair . She leads the squaresLab group and co-directs the REUSE@CMU summer program. Her work spans automated program improvement (stochastic/formal approaches), software assurance, quality metrics, and systems from open source to robotics. Recent scientific awards include the ACM FSE 2025 Test of Time Award Honorable Mention and the Presidential Early Career Award for Scientists and Engineers (PECASE) . She mentors students in software engineering and actively collaborates on projects like SearchRepair and GenProg , supporting empirical benchmarks such as ManyBugs and IntroClass . She teaches software engineering and program analysis at undergraduate, master’s, and doctoral levels, addressing challenges in scaling modern systems. Her lab focuses on software repair , code transformation , and AI-driven testing .

Bradley Schmerlمشاهده پروفایل

پژوهشگر

• Software Engineering
• Software Architecture
• Self-Adaptive Systems
• +۵ مورد دیگر

Bradley Schmerl serves as a Principal Systems Scientist in the Software and Societal Systems Department (S3D) within Carnegie Mellon University's School of Computer Science. His research advances software engineering practices for modern challenges in distributed heterogeneous systems, self-adaptation, and cyber-physical integration. He leads the ABLE research group and actively mentors students in the Masters in Software Engineering program while teaching core courses like Software Architecture and Software Engineering Practicum. Dr. Schmerl's work addresses critical challenges in composing continuously evolving software systems, including components from untrusted third parties and on-the-fly recomposition for environmental changes. His research develops reusable, analyzable tools for software composition with emphasis on model-based adaptation, uncertainty management, and cross-language integration. Key projects include Rainbow for runtime architecture reflection, Acme for formal architectural foundations, and Cyber-physical Systems research linking software models with physical dynamics. Analysis of his 2023-2025 publications reveals intensifying focus on robotics software architecture (particularly ROS-based systems), explainable AI for architectural tradeoff analysis, and configuration management in adaptive systems. Trends show growing integration of machine learning for auto-tuning, empirical studies of misconfigurations, and dimensionality reduction techniques for visualizing design spaces—consistently bridging theoretical rigor with practical tool development for real-world applications. Scientific Awards: No specific awards were documented in the source materials. Dr. Schmerl serves as Practice Area Lead and mentor in CMU's Masters in Software Engineering program, guiding client projects including Rainbow UI for self-adaptive framework interfaces, CoBot UI for telepresence robots, and Educational Telepresence Tasking Language development. His research receives support through ABLE group projects funded by grants targeting software architecture foundations, adaptation mechanisms, and cyber-physical system validation. As a core member of the ABLE research group, he directs investigations into architecture-based self-adaptation with active projects spanning Rainbow (runtime architecture models for dynamic adaptation), Acme (formal architectural styles and tools), and Cyber-physical Systems (software-physical model integration). The group also maintains legacy work in End-User Architecting, Architecture Evolution, and service-oriented platforms for intelligence analysis through SORASCS.