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

Dunja Mladenicمشاهده پروفایل

پژوهشگر

• Text Mining
• Data Mining
• Machine Learning
• +۴ مورد دیگر

Dunja Mladenic is a researcher at the Jožef Stefan Institute 's Department of Knowledge Technologies in Ljubljana, Slovenia. She has held visiting positions at Carnegie Mellon University 's School of Computer Science in 1996-1997 and 2000-2001, where she worked on text and data mining projects. Coordinator of the European project Sol-Eu-Net (2005) Tutorial chair for ECML/PKDD-2005 and ICML-2003 Key contributor to CMU's Text Learning Group Her research focuses on Text Mining , Data Mining , and Machine Learning , particularly in Web navigation assistance and intelligent agent design. She developed the Text Mining Group 's Personal WebWatcher system that uses machine learning to highlight interesting hyperlinks based on user behavior. Her publication trends show a strong emphasis on text learning and intelligent agent design, with technical reports and conference papers exploring feature selection, classifier comparison (kNN vs Naive Bayes), and document representation techniques for web browsing assistance. She maintains dual email contact through CMU and Jožef Stefan Institute . Her work spans multiple disciplines including biomedical data analysis, discrete event simulation, and encyclopedia typesetting using TeX.

Josh Blochمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Java Development
• +۲ مورد دیگر

Josh Bloch is a Professor at Carnegie Mellon University's School of Computer Science within the Software and Societal Systems Department (S3D). He holds a B.S. in computer science from Columbia University and a Ph.D. in computer science from Carnegie Mellon University. Prior to his current academic role, Bloch held significant industry positions: Senior Systems Designer at Transarc (CMU spinoff) Distinguished Engineer at Sun Microsystems, where he authored the Java Collections library Chief Java Architect at Google His research focuses on Software Engineering, Programming Languages, and Java ecosystem development. Bloch led the design and implementation of foundational Java platform features including the Collections Framework, java.math package, enums, annotations, for-each loop, try-with-resources, and assert statement. He is the author of the seminal book 'Effective Java', recipient of the 2001 Jolt Award. No information regarding student advising, research grants, or laboratory teams is provided in the source material.

• Software Engineering
• Societal Computing
• Privacy Engineering
• +۳ مورد دیگر

Dr. Jürgen Pfeffer is an Adjunct Professor at the Software and Societal Systems Department within the School of Computer Science at Carnegie Mellon University. His work bridges software engineering and societal systems, focusing on areas like privacy engineering and information security. Research Interests: His fields of interest align with the department's technical focus, including software engineering, societal computing, privacy engineering, information security, policy, and computer science. These areas reflect interdisciplinary approaches to technology and its societal impact. Education: The department offers PhD programs in Software Engineering and Societal Computing, as well as Master of Software Engineering and Master of Privacy Engineering programs, though no personal educational qualifications for Dr. Pfeffer are explicitly stated in this text.

Stacie Rohrbachمشاهده پروفایل

استاد

• Design for Learning
• Communication Design
• Information Design
• +۴ مورد دیگر

Stacie Rohrbach is a Professor and Director of Graduate Studies at the School of Design, Carnegie Mellon University , overseeing MDes, MPS, and MA programs. She teaches studio- and seminar-based courses in communication, information, and learning design across undergraduate, master’s, and doctoral levels, and advises thesis projects. Prior to her directorship, she designed the School’s 2014 curriculum and served as Communication Design Chair (2013–2019). Her research focuses on design for learning , translating abstract information into experiential forms to enhance understanding and enjoyment in learning contexts. Her work addresses contemporary challenges such as eating disorders, financial wellbeing, chronic illness management, and environmental mindfulness. She integrates learning theories into design practice and develops interactive assessment tools for performance tracking. Grants from the National Science Foundation , Qatar National Research Foundation, and others support her projects. She teaches Designing Experiences for Learning , sponsored by PNC Bank, Carnegie Museum of Natural History, UPMC Health Plan, and Phipps Conservatory. She has developed courses like Information, Interaction, and Perception and the doctoral course Teaching Design II . Stacie holds a BFA in Graphic Design from Carnegie Mellon University and a Master of Graphic Design from North Carolina State University. She has contributed to national design education initiatives, served on editorial boards for AIGA publications ( Dialectic , Dialog ), and held leadership roles in the AIGA Design Educators Community and Adobe Design Achievement Awards.

Robert Harperمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Cost Semantics
• +۳ مورد دیگر

Robert Harper is a Professor in the Computer Science Department at Carnegie Mellon University, Pittsburgh, PA. His research focuses on the intersection of type theory and programming language design, with emphasis on formal verification, cost semantics, and concurrency models. University: Carnegie Mellon University Department: Computer Science Academic Rank: Professor Email: rwh@cs.cmu.edu Harper's research program integrates cost analysis with behavioral properties in type theory, including Synthetic Tait Computability for logical frameworks and Amortized Analysis via Coalgebraic Methods . He explores foundational issues in Higher-Order Recursion and resource-sensitive programming through Decalf , a directed effectful cost-aware framework. His work combines theoretical rigor with practical implementation in systems like Twelf and Red* . Recent publications demonstrate his contributions to Computational Adequacy , Session-Typed Concurrency , and Compiler Verification . Collaborations with institutions like the Max Planck Institute for Software Systems and researchers such as Stephanie Balzer and Jan Hoffmann extend his impact to concurrent systems and cost-sensitive programming. Scientific Distinctions ACM SIGPLAN Programming Languages Achievement Award (2021) ACM Fellow (2005) Allen Newell Award for Research Excellence (2001) He advises students on projects like Cost Verification in Calf and Parallel Scan Verification , while teaching advanced courses including 15-413: Advanced Topics in Principles of Programming Languages (Spring 2025) and 15-312: Principles of Programming Languages (Fall 2025). Research funded by AFOSR grants including MURI A210038S002.

Dave Andersenمشاهده پروفایل

دانشیار

• Computer Systems
• Distributed Systems
• Networked Environments
• +۱۲ مورد دیگر

Dave Andersen is an Associate Professor at the School of Computer Science, Carnegie Mellon University , with research focusing on memory and power-efficient computing, robust distributed systems, and networked environments. He also serves as CTO of Enriched Ag . Education: Ph.D. and M.S. in Computer Science from MIT (2001, 2004), B.S. in Computer Science and Biology from the University of Utah (1995). Research Trends: Explores systems design in the post-Moore's Law era, emphasizing concurrency, low-latency geo-replicated storage, and RDMA in datacenters. Key projects include MemC3, Eiger, Cuckoo Filter, and FAWN. Teaching: Courses in Advanced OS, Distributed Systems, Low-Power Computing, and Network Security. Professional Service: Program committee roles at SOSP, NSDI, SIGCOMM, and DARPA ISAT advisory group. Personal: Active in running, climbing, and outdoor activities with detailed route guides for Pittsburgh and Boston.