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

Eddie Kohlerمشاهده پروفایل

استاد

• Computer Science
• Systems
• Networks
• +۵ مورد دیگر

Eddie Kohler is the Microsoft Professor of Computer Science at Harvard University's Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS), where he also serves as Director of Undergraduate Studies in Computer Science. His research focuses on high-performance systems, networks, and databases with an emphasis on concurrency control, data privacy, and scalable software design for multicore processors. He has contributed to foundational work in transactional systems, web application backends (e.g., Noria), and privacy-preserving technologies (e.g., Edna). His research spans theoretical frameworks like the Scalable Commutativity Rule and practical implementations such as the Alto lightweight virtualization system. Kohler's work often bridges theory and practice, addressing challenges in distributed systems, sensor networks, and regulatory compliance (e.g., GDPR). Notable contributions include innovations in in-memory database concurrency, optimistic transaction processing, and network congestion control protocols (e.g., TFRC-SP). His projects frequently emphasize system correctness through formal verification and empirical evaluation. His articles reflect a trajectory from foundational concurrency research to applied systems engineering, with recent focus on privacy in web applications and optimizing modern multicore architectures. No specific grants or advisees are listed in the provided information. Kohler leads research initiatives in scalable systems and maintains active collaboration with industry through his academic leadership roles.

Umut Acarمشاهده پروفایل

دانشیار

• Programming Languages
• Parallel Computing
• Algorithms and Complexity
• +۳ مورد دیگر

Umut Acar is an Associate Professor in the Computer Science Department at Carnegie Mellon University. His research focuses on programming languages, parallel computing, and algorithms, with an emphasis on raising the level of abstraction for software development while ensuring efficiency. He leads efforts in dynamic and incremental computation, parallelism optimization, and quantum computing systems. His work spans theoretical foundations and practical implementations, including systems like Atlas for quantum circuit simulation and Atomique for neutral atom quantum compilers. He advises students on advanced topics such as quantum algorithms and parallel programming models. Notable awards include Best Paper and Distinguished Paper recognitions at top conferences like SC and ISCA. Education: PhD in Computer Science (University of Chicago, 2005) Key Projects: Development of self-adjusting computation frameworks, parallel algorithms for dynamic data, and quantum compiler optimization tools. Grants: Collaborative research grants from NSF for parallelism and quantum computing initiatives. Dr. Acar’s contributions bridge theory and practice, enabling scalable software systems for modern hardware architectures and emerging technologies like quantum computing.

Seth Goldsteinمشاهده پروفایل

دانشیار

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

Seth Goldstein is an Associate Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. His research focuses on ensembles (massively scalable systems), distributed systems, reconfigurable computing, and programmable matter (Claytronics). He leads projects like BoLT (a decentralized lending platform) and Phoenix (computing without traditional processors). He has advised numerous graduate students and teaches courses including Compiler Design, Computer Architecture, and Cloud Computing. Research Interests : Goldstein explores systems with massive interacting components, such as molecular-scale devices, modular robotics, and economic systems. His work spans compilers (e.g., register allocation optimizations), time synchronization protocols for embedded systems, and algorithms for self-reconfiguring robots. Recent projects include BlockGraph (a secure distributed ledger) and peer code review methodologies. Key Contributions : Goldstein's work on Claytronics pioneered programmable matter, enabling shape-shifting materials. His BoLT platform addresses lending market inefficiencies using blockchain principles. He has also developed algorithms for modular robot coordination and energy-efficient self-reconfiguration. Labs/Teams : Goldstein directs research in the CMU Robotics Institute and collaborates with interdisciplinary teams on projects like the PipeRench and Phoenix architectures. His lab explores intersections between nanotechnology, distributed systems, and societal applications like new monetary systems.

Alan Scheller-Wolfمشاهده پروفایل

استاد

• Stochastic Processes
• Operations Management
• Energy and Sustainability
• +۵ مورد دیگر

Alan Scheller-Wolf is the Richard M. Cyert Professor of Operations Management at Carnegie Mellon University's Tepper School of Business. His research focuses on stochastic processes applied to energy sustainability , supply chain management , renewable energy , and healthcare operations , including split liver transplantation and child welfare systems . He is affiliated with the Wilton E. Scott Institute for Energy Innovation. PhD in Operations Research (1996), Columbia University BS in Mathematics and Computational Science (1989), Stanford University His recent work emphasizes data-driven optimization , fairness in resource allocation , and algorithmic approaches for complex systems like server farms and quantum networks . Publications highlight applications in organ procurement , remanufacturing , and public service operations .

Marc Lichtmanمشاهده پروفایل

استادیار مدعو

• Machine Learning
• Data Science
• Systems
• +۴ مورد دیگر

Marc Lichtman is an Adjunct Assistant Professor at the University of Maryland's Department of Computer Science. He concurrently serves as a Principal Software Engineer at Microsoft and contributes to the GNU Radio open-source project. His work bridges academia and industry through research in software-defined radio (SDR), machine learning for wireless communications, and resilient communication systems. Education: Ph.D. in Computer Science, Virginia Tech, 2016 M.S. in Computer Science, Virginia Tech, 2012 B.S. in Computer Science, Virginia Tech, 2011 Research focuses on machine learning integration with SDR frameworks, cybersecurity for wireless systems, and distributed signal processing. Notable contributions include the PySDR textbook and advancements in GNU Radio's architecture. He has taught courses such as Machine Learning for Wireless Communications and Intro to Wireless Communications and SDR . His publications highlight trends in securing 5G/LTE systems against jamming, spoofing, and interference. Work emphasizes antifragile communication protocols and heterogeneous computing frameworks for SDR applications. Contributions span academic journals and industry collaborations. Advising and grants: While no formal student advisees are listed, his educational efforts foster SDR expertise. Current projects involve cloud computing integration with SDR platforms. Labs/Teams: Co-leads the GNU Radio project, advancing open-source SDR tools and frameworks.

Manfred Kudlekمشاهده پروفایل

استاد

• Theoretical Computer Science
• Formal Languages
• Petri Nets
• +۸ مورد دیگر

Prof. Manfred Kudlek was a Professor of Theoretical Computer Science at the University of Hamburg (Department of Computer Science) from 1977 until his retirement in 2005. He held an honorary professorship at the University of Iași, Romania since 2002. His academic career began with studies in physics (Diploma: 1966; PhD: 1970), followed by research and teaching in computer science. He was deeply involved in the European Association for Theoretical Computer Science (EATCS), attending all ICALP conferences and contributing reports to the EATCS Bulletin. A special issue of Fundamenta Informaticae (2014) was dedicated to his memory, highlighting his research legacy in formal languages and concurrency theory. His research focused on foundational topics such as minimal Turing machines, Lindenmayer systems, Petri nets, and multiset automata. He also explored cross-disciplinary areas including numerical systems in indigenous languages and LaTeX encoding for non-Latin scripts. Manfred’s work emphasized international collaboration, particularly with Eastern European researchers, and he actively participated in global academic events until his death in 2012 during the Turing Centenary Conference in Cambridge, England. Survived by his wife and daughter, condolences were accepted via dedicated email and postal addresses managed by the university. Manfred held leadership roles including membership in the Departmental Council, Curriculum Planning Committees, and the Library Committee. His post-retirement activities remained prolific, maintaining teaching and research engagement until his sudden passing. Notable for his passion for travel and conferences, he left a legacy of over 211 scientific publications and 152 conference reports.

Mark Smothermanمشاهده پروفایل

دانشیار

• Computer Architecture
• Computer Systems
• Reliability Modeling
• +۵ مورد دیگر

Mark Smotherman is an Associate Professor in the School of Computing at Clemson University, specializing in computer architecture, reliability modeling, and computer science education. He has held roles such as Associate Director of the School of Computing and Director of Graduate Affairs. He earned his Ph.D. in Computer Science from the University of North Carolina at Chapel Hill and a B.S. in Physics from Middle Tennessee State University. His research focuses on computer architecture history, superscalar processors, reliability analysis, and educational methodologies. Notable contributions include the Hybrid Automated Reliability Predictor (HARP) and work on IBM's ACS project. He has received awards like NASA Langley's Space Act Award (1997) for HARP's impact. Smotherman teaches courses like Operating Systems (CPSC/ECE 3220) and Computer Systems Organization (CPSC 3300), and has advised numerous graduate students. He has contributed to over 100 publications and served on committees for conferences like MICRO and ACSAC. His work bridges historical computing insights with modern systems design.

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

دانشیار

• Computer Architecture
• Reconfigurable Computing
• Embedded Systems Security
• +۳ مورد دیگر

Robert Rinker, Ph.D., is an Associate Professor and Associate Chair in the Department of Computer Science at the University of Idaho, part of the College of Engineering. His office is located in Hedlund Building 202D, and he can be reached at rinker@uidaho.edu. Rinker holds a Ph.D. in Computer Science from Colorado State University, and both Master's and Bachelor's degrees in Electrical Engineering from the University of Idaho. His teaching responsibilities include courses such as Computer Science I (CS 120), Computer Organization and Architecture (CS 150), System Software (CS 270), Advanced Computer Architecture (CS 451/551), and Real-Time Operating Systems (CS 452/552). His research focuses on reconfigurable computing, embedded systems security, computational biology pipelines, and hardware compilation techniques. Specific contributions include work on FPGA-based systems, resilient multi-core architectures, and formal verification methodologies. Rinker’s research trends emphasize the intersection of hardware-software co-design and cybersecurity, with notable contributions to VANET security and computational density optimization in embedded systems. His publications span topics from workflow automation in bioinformatics to compiler-driven FPGA optimization strategies. While no formal awards or grants are listed, his extensive academic service as Associate Chair highlights his leadership in departmental operations. He advises courses but no listed students or active lab teams are mentioned in the provided materials.

• Computer Science Education
• Programming Pedagogy
• Cloud Computing
• +۳ مورد دیگر

Carlton McDonald is a Senior Lecturer in Computing at the College of Science and Engineering. His research focuses on computer science education, programming pedagogy, and cloud computing. He has published extensively on topics like student engagement strategies, challenges in teaching programming, and concurrent processing systems. His work spans decades, with contributions ranging from foundational studies in Prolog programming (1990) to modern educational challenges (2021). Research interests include exploring effective methods for teaching programming, leveraging cloud-based development environments, and analyzing traditional pedagogical approaches. Recent work emphasizes global education partnerships and independent learner development. Earlier contributions include seminal studies in machine learning techniques (1989) and logic programming. No scientific awards or grants are explicitly mentioned. His publications reflect a blend of practical educational research and technical advancements in concurrency and cloud systems. No advising relationships or lab affiliations are documented in the provided materials.

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

مدرس ارشد

• Computer Science
• Game Development
• Programming Optimization
• +۳ مورد دیگر

Andrew Hamilton is a Senior Lecturer and Course Leader for Computer Science for Games at the School of Computing and Digital Technologies, part of the College of Business, Technology and Engineering at Sheffield Hallam University. He specializes in teaching C++ programming, games programming, optimization techniques, and computer architecture. As Admissions Tutor for Computer Science for Games and Computer Games Technology courses, he oversees student recruitment and curriculum development. His teaching modules include Fundamentals of Computer Architecture, Programming 2D Games, Software-Hardware Optimisation Techniques, and Concurrent and Parallel Systems. He contributes to Steel Minions, the university’s student-run game studio, which produces commercial games for platforms like PlayStation. Notable publications include collaborative game projects such as A Night in the Forum (2019) and The Chantry (2018), both available on the PlayStation Store. These works highlight his focus on practical game development, optimization, and cross-disciplinary collaboration.

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

استاد

• Modeling and Simulation
• Parallel Discrete-Event Simulation
• Computer Networks
• +۲ مورد دیگر

Dr. Jason Liu is Eminent Scholar Chaired Professor and Interim Director at Florida International University's Knight Foundation School of Computing and Information Sciences. His research focuses on high-performance modeling/simulation of computer systems/networks, with emphasis on parallel discrete-event simulation techniques. Funded by NSF, DOE, DOD, DHS, and NIH, he has developed innovations in network emulation and performance prediction. Liu holds a BS from Beijing University of Technology (1993), MS from College of William and Mary (2000), and PhD from Dartmouth College (2003). Professional experience includes positions at Dartmouth ISTS, University of Illinois Urbana-Champaign, and visiting appointments at Tsinghua University, LANL, and UPMC/LINCS. Honors include NSF CAREER Award (2006) and ACM Distinguished Scientist (2014). He serves on editorial boards of ACM TOMACS, SIMULATION, and IEEE Networking Letters, and leads organization of SIGSIM-PADS conferences. Recent publications address cache management, federated learning, and virtual network functions.

Dung Huynhمشاهده پروفایل

استاد

• Computational Complexity
• Automata Theory
• Formal Languages
• +۲ مورد دیگر

Dung Huynh is a Professor of Computer Science at the University of Texas at Dallas with expertise in computational complexity, automata theory, and formal languages. His research examines fundamental problems in theoretical computer science including concurrency theory, communication protocols, and parallel computation. Education: PhD, University of Saarlandes MS, University of Saarlandes BS, University of Mumbai Administrative Roles: Served as Head of Computer Science Department (1997-2009) and currently as Associate Dean in the Erik Jonsson School of Engineering and Computer Science.

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

دانشیار

• Neural Networks
• Cognitive Modeling
• Computational Neuroscience
• +۲ مورد دیگر

Thomas Wennekers is an Honorary Associate Professor at the University of Plymouth's School of Engineering, Computing and Mathematics. His research focuses on developing biologically constrained neural network models to understand cognitive functions such as language processing, memory formation, and sensory integration. He specializes in hierarchical temporal memory systems and spiking neural networks. Wennekers investigates neural mechanisms underlying semantic processing, cognitive impairments like dementia, and cross-modal plasticity in sensory systems. His work combines computational neuroscience with robotics to create bio-inspired cognitive systems, examining how neural constraints shape learning and perception. His publications explore neurobiological models of language, visual processing, and memory, with applications in neuromorphic computing and cognitive robotics. Recent work simulates neural reorganization in blind individuals and models cognitive disorders using brain-constrained architectures.

Jeremy T. Finemanمشاهده پروفایل

استاد

• Parallel Algorithms
• Cache-Oblivious Algorithms
• Distributed Computing
• +۲ مورد دیگر

Jeremy T. Fineman is Professor and Wagner Chair in Computer Science at Georgetown University. He holds a Ph.D. from MIT and previously held positions at Carnegie Mellon University. His research develops efficient algorithms for parallel and distributed systems. Fineman's work spans cache-oblivious persistence, asymmetric read/write cost optimization, and contention resolution in dynamic networks. He has pioneered new approaches to topological sorting and reachability problems in large-scale systems. Honors include an IEEE Fellowship and best paper awards. He currently directs graduate studies and leads research on memory-optimized computing architectures.

Doriana Medićمشاهده پروفایل

استادیار

• Formal Methods
• Concurrent Computing
• Distributed Computing
• +۳ مورد دیگر

Doriana Medić is an Assistant Professor at the University of Turin's Department of Computer Science, affiliated with the Alpha Research Group for Parallel Computing. Her work bridges formal methods, reversible computing, and distributed systems. Projects: Space Center of Excellence (EC HE, Horizon-EuroHPC-JU), European Pilot (EC H2020 RIA), EUPEX (EC H2020 RIA). Her research explores formal models for concurrent and distributed systems, with recent focus on federated learning, workflow modeling, and HPC applications in astrophysics and machine learning. Publications highlight RISC-V architectures, fault tolerance mechanisms, and hybrid workflows. Selected publications span 2019-2025, emphasizing reversible computing, HPC, and workflow modeling. Key tags include semantics , icsc , streamflow , and riscv . She contributes to the Alpha Research Group at the University of Turin, advancing parallel computing solutions.