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

• Abstract Interpretation
• Formal Methods
• Software Verification
• +۵ مورد دیگر

Patrick Cousot is a Silver Professor of Computer Science at New York University (NYU), affiliated with the Department of Computer Science in the College of Arts and Science. His research focuses on abstract interpretation, formal semantics, program verification, and static analysis. Cousot holds a Doctor ès Sciences in Mathematics (1978) and a D.Eng. in Computer Science (1974), both from University Joseph Fourier in Grenoble, France. His work emphasizes foundational contributions to abstract interpretation theory and its applications in verifying safety-critical software, including avionics and aerospace systems. Notable projects include the development of the Astrée static analyzer, which proves the absence of runtime errors in safety-critical code. Research interests span formal verification, concurrency models, and static analysis techniques for weak memory consistency. Cousot's publications (2019–2025) explore advanced topics like responsibility analysis, hyperlogics, and dynamic interval analysis. His recent work addresses challenges in verifying concurrent and hybrid systems, leveraging abstract interpretation for scalable solutions. The Astrée tool remains a cornerstone of his applied research, demonstrating real-world impact in safety-critical domains. His theoretical contributions include formal frameworks for static analysis, bi-inductive semantics, and logical abstract domains. He has also contributed to the design of verification tools for weak consistency models in parallel computing. Despite no listed academic awards, his foundational work has profoundly influenced formal methods and static analysis communities worldwide. Labs/Teams: Cousot leads NYU's static analysis research efforts, collaborating on the Astrée project and exploring next-generation verification tools. His work intersects with aerospace and automotive industries to ensure software safety through rigorous formal methods.

• Compiler Design
• Programming Languages
• Computer Systems
• +۳ مورد دیگر

Benjamin F. Goldberg is an Associate Professor in the Computer Science Department at New York University (NYU), affiliated with the College of Arts and Science. His research focuses on compiler design, programming languages, and their verification, with notable contributions to compiler optimizations and validation frameworks like TVOC. He holds a Ph.D. in Computer Science from Yale University (1988), an M.S./M.Phil. from Yale (1984), and a B.A. in Mathematical Sciences from Williams College (1982). Education: Ph.D., Computer Science, Yale University, 1988 M.S./M.Phil., Computer Science, Yale University, 1984 B.A., Mathematical Sciences, Williams College, 1982 His research interests include compiler verification, compiler optimizations, and functional programming. He has developed the Trimaran compiler research infrastructure for instruction-level parallel architectures and pioneered work in translation validation (TVOC framework). Recent projects involve data-driven stroke rehabilitation using AI and wearable sensors, as well as climate modeling collaborations with the M2LInES initiative. Grants and Collaborations: NIH Grant R01 LM013316 (Stroke Rehabilitation) NSF Grant IIS 2404476 (Data-Driven Medicine) Climate Modeling: Part of the M2LInES international project Labs/Teams: Collaborates with the Mobilis Lab at NYU School of Medicine and the NYU Courant Institute. Active in interdisciplinary projects merging AI, healthcare, and environmental science.

• Distributed Systems
• Network Function Virtualization
• Systems Correctness
• +۴ مورد دیگر

Aurojit Panda is an Assistant Professor of Computer Science at New York University's Faculty of Arts and Science. His research focuses on lightweight mechanisms for system correctness, network function virtualization, and distributed systems. He holds a Ph.D. from UC Berkeley and a B.S. from Brown University. Education: Ph.D., Computer Science, UC Berkeley (2017) B.S., Math-Computer Science, Brown University (2008) Research Interests: Network Function Virtualization (NFV) Distributed Systems Correctness Machine Learning Tooling and Optimization Operating Systems and SmartNIC Offloading Recent work includes designing distributed shared logs for datacenters, analyzing straggler effects in large model training, and developing tools like NNSmith for deep learning compiler testing. Teaching includes courses on distributed systems, operating systems, and big data/machine learning. He is actively involved in research teams such as NetSys Lab and contributes to open-source projects like NetBricks and BESS.

Raymond Huمشاهده پروفایل

مدرس

• Programming Languages
• Distributed Systems
• Concurrency and Communication
• +۴ مورد دیگر

Dr. Raymond Hu is a Lecturer in Computer Science at Queen Mary University of London's School of Electronic Engineering and Computer Science (EECS). He holds a BA from the University of Cambridge and an MSc/PhD from Imperial College London. His research focuses on programming languages, distributed systems, type systems, and session types, with applications in concurrent and fault-tolerant systems. He collaborates with industry partners like Google, Red Hat, and the Ocean Observatories Initiative. Dr. Hu is a member of the Theory Group and the Centre for Fundamental Computer Science within EECS, and actively contributes to academic conferences and workshops. Education: BA, University of Cambridge MSc, Imperial College London PhD, Imperial College London Research Interests: Dr. Hu's work spans programming language design, distributed systems, and formal methods. Key areas include session types for safe communication protocols, type systems for concurrency, and fault tolerance in distributed environments. His recent projects involve rate-based session types for IoT devices and generics in the Go programming language. Grants & Collaborations: He collaborates with industry leaders such as Google (on Go generics) and Cognizant, and has secured grants supporting projects like session-based protocols for embedded systems. He also organizes academic events like TIME 2025 and co-chairs workshops such as PLACES '24. Labs & Teams: Member of the Theory Group and Centre for Fundamental Computer Science, actively involved in protocol design and verification initiatives.

Klaus Stengelمشاهده پروفایل

پژوهشگر

• Distributed Systems
• Operating Systems
• Sensor Networks
• +۳ مورد دیگر

Klaus Stengel is a Researcher at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander University Erlangen-Nuremberg. He focuses on distributed systems, sensor networks, cloud computing, and deterministic multithreading. His work includes stateful mobile modules for sensor networks and resilient in-network processing. Teaching activities from 2010–2015 included exercise sessions for Distributed Systems, Middleware/Cloud Computing, and seminars on operating systems and cloud computing concepts. Supervised thesis topics include deterministic parallel execution in virtual machines and stateful migration in Contiki-based sensor networks. Contact: +49.9131.85.27909 or email . Office: Room 0.041, Martensstr. 1, 91058 Erlangen.

Wonsun Ahnمشاهده پروفایل

دانشیار

• Compilers
• Computer Architecture
• Compiler/Hardware Co-optimization
• +۳ مورد دیگر

Wonsun Ahn is a Teaching Associate Professor in the Department of Computer Science at the University of Pittsburgh's School of Computing and Information. He holds a PhD from the University of Illinois at Urbana-Champaign (2012). His research focuses on compilers, computer architecture, and their co-optimization for parallel machines, GPUs, and quantum computing. He has authored numerous papers on topics like compiler/hardware integration and parallel processing, and has served on over a dozen conference program committees and journal editorial boards. His research interests include compiler design, hardware architecture, and improving programmability for parallel systems. Notable areas of work include deterministic execution, atomic block optimization, and energy-efficient IoT device updates. Dr. Ahn actively contributes to both academic and industrial advancements in high-performance computing and parallel processing. Dr. Ahn has no listed awards but maintains an active presence in the academic community through conference involvement and editorial work. His contact information includes an office at 5423 Sennott Square and an email at wahn@pitt.edu . He oversees no listed student advisees or grants but is affiliated with the Department of Computer Science's research initiatives.

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

استاد

• Quantum Computing
• Computer Architecture
• High-Performance Parallel Systems
• +۳ مورد دیگر

Dr. Greg Byrd is a Professor in the Department of Electrical and Computer Engineering at North Carolina State University and serves as the Executive Director of the IBM Quantum Innovation Center at NC State. He is also Vice Chair of the IEEE-CS Quantum Technical Community (QTC). His research focuses on quantum computing, computer architecture, and high-performance parallel systems, particularly addressing communication overhead reduction in distributed systems. Education: Ph.D. in Electrical Engineering, Stanford University (1998) Master's in Electrical Engineering, Stanford University (1985) Bachelor's in Computer Engineering, Clemson University (1984) His research interests span Quantum Information Science , Superconducting Quantum Computers , and Computer Architecture . He has led initiatives like the IEEE International Conference on Quantum Computing and Engineering and contributed to quantum network testbeds and hybrid quantum-classical systems. His work bridges theoretical advancements with practical implementations, including educational tools for quantum computing. Recent Article Trends: Dr. Byrd's publications emphasize quantum circuit optimization, quantum internet protocols, and wildlife conservation applications of quantum algorithms. He also explores cache coherence mechanisms and lock-free architectures in classical systems. Awards & Honors: 2022 IEEE Computer Society Distinguished Contributor 2016 IEEE Computer Society Golden Core Award 2011–2012 Teaching Excellence Awards (William F. Lane, COE, NC State) He has advised students in quantum and parallel computing domains and contributed to grants such as the $25M NSF Quantum Leap Challenge Institute. His leadership roles in the IEEE and IBM collaborations highlight his impact on both academia and industry.

• Computability
• Concurrency
• Formal Methods
• +۳ مورد دیگر

Dr. Ulrich Berger serves as Reader (Associate Professor) in Computer Science at Swansea University's Faculty of Science and Engineering. His research spans computability theory, concurrent programming, formal methods, and robotics applications. Recent work includes industrial automation integration and human-centered manufacturing systems. Publications demonstrate consistent focus on theoretical foundations (computability, program extraction) and applied industrial research (robotics, IIoT, and augmented reality). His work on concurrent algorithms and computable analysis provides frameworks for practical implementations in manufacturing environments. As an active researcher, he contributes to topics ranging from reinforcement learning for robotic control to stress-reducing UI design, bridging theoretical computer science with industrial challenges.

Massimo Torquatiمشاهده پروفایل

دانشیار

• Parallel Programming
• High-Performance Computing
• Autonomic Computing
• +۴ مورد دیگر

Massimo Torquati is an Associate Professor in the Computer Science Department at the University of Pisa. He holds Italian National Scientific Qualifications (ASN) for Full Professor (2023) and Associate Professor (2018) roles in Computer Science and Engineering. His research focuses on high-level tools for parallel programming, autonomic computing, and high-performance data stream processing. He is a member of key organizations like the CINI HPC-KTT National Laboratory, the European HiPEAC Network, and the Parallel Programming Models Group at Pisa. Research Interests: Parallel programming models, distributed systems, concurrency control, and software frameworks like CAPIO and WindFlow. Recent work includes advancements in distributed-memory FastFlow, adaptive streaming, and middleware for scientific workflows. Awards include the ASN qualifications, reflecting his academic standing. He actively contributes to conferences like Euro-Par and workshops on HPC infrastructure. His work emphasizes practical implementations of parallel patterns and scalable computing solutions.

• Distributed Computing
• Parallel Algorithms
• Concurrent Systems
• +۳ مورد دیگر

Dr. Vitaly Aksenov is Lecturer in Computer Science at City St George's School of Science & Technology. Previously held positions at ITMO University as Assistant Professor and Researcher, with postdoctoral experience at INRIA Paris and IST Austria. Research interests span parallel and distributed systems, concurrent computing, networking, and algorithmic design. Work bridges theoretical computer science with practical applications in large-scale computing infrastructures. Education includes PhD from Paris Diderot University/INRIA Paris, and MSc/BSc from ITMO University. Research background includes fundamental algorithms for distributed systems and network protocols.

Ki Hwan Yumمشاهده پروفایل

مدرس ارشد

• Computer Architecture
• Parallel/Distributed Systems
• Computer Networks
• +۵ مورد دیگر

Ki Hwan Yum is a Senior Lecturer in the Department of Computer Science and Engineering at Texas A&M University, affiliated with the College of Engineering. His research focuses on computer architecture, parallel/distributed systems, and energy-efficient computing. He holds a Ph.D. from The Pennsylvania State University (2002), M.S. from Pohang University of Science and Technology (1994), and B.S. in Mathematics from Seoul National University (1989). His research interests include computer networks, cluster computing, fault-tolerant systems, and wireless sensor networks. Notable contributions include work on QoS-aware clusters, on-chip network design, and power-efficient architectures. He has been recognized with the Best Graduate Research Assistant Award (2002) from Penn State University. Recent publications emphasize innovations in network-on-chip (NoC) architectures, energy-efficient designs, and distributed deep learning systems. His work bridges theoretical models with practical implementations, addressing challenges in scalability, latency, and power consumption in modern computing systems. Awards include the 2002 Best Graduate Research Assistant Award. His research has been published in top-tier journals like IEEE Transactions on Computers and Journal of Parallel and Distributed Systems. He advises no current students, but his work has influenced graduate research in computer architecture and distributed systems.

Jianer Chenمشاهده پروفایل

استاد

• Algorithms and complexity
• Computer graphics
• Bioinformatics
• +۶ مورد دیگر

Jianer Chen is a Professor in the Department of Computer Science and Engineering at Texas A&M University, part of the College of Engineering. He holds multiple academic positions and has contributed significantly to research in algorithms, computer graphics, bioinformatics, and computer networks. Educational Background: Ph.D. Mathematics, Columbia University, 1990 Ph.D. Computer Science, New York University, 1987 M.Phil. Mathematics, Columbia University, 1990 M.A. Mathematics, Columbia University, 1989 M.S. Computer Science, New York University, 1984 B.S. Computer Science, CSUT, P.R. China, 1982 Research Interests: His work focuses on Algorithms and Complexity , advancing computational efficiency and theoretical foundations. He explores Computer Graphics , including geometric modeling and Bézier patch subdivision. In Bioinformatics , he develops algorithms for phylogenetic trees and genetic data analysis. His Computer Networks research addresses data center optimization and sensor network reliability. Publications Trends: Recent work emphasizes parameterized algorithms, kernelization techniques, and their applications to big data, graph theory, and geometric problems. He also contributes to optimization in scheduling and network protocols, reflecting interdisciplinary engagement with both theoretical and applied computer science. Awards & Honors: AFS Distinguished Faculty Achievement Award (university level), 2007 E.D. Brockett Professorship Award, 2005 Janet Fabri Award (Best Ph.D. Dissertation), 1988 Multiple recognitions for teaching and research excellence Advising & Grants: Chen has secured grants such as the NSF Research Initiation Award (1991) and Amoco Faculty Award (1998). Though no advisees are listed, his work spans mentoring doctoral and master’s students in algorithm design and computational theory. His research initiatives often address practical challenges in high-performance computing and network reliability. Labs/Teams: No specific labs or teams are explicitly mentioned in the provided texts. However, his collaborations suggest involvement in interdisciplinary groups focused on bioinformatics, data center networks, and geometric modeling.

Eun Jung Kimمشاهده پروفایل

استاد

• Computer Architecture
• Power Efficient Systems
• Parallel/Distributed Systems
• +۳ مورد دیگر

Eun Jung Kim is a Professor in the Department of Computer Science and Engineering at Texas A&M University, affiliated with the College of Engineering. Her research focuses on computer architecture, power-efficient systems, parallel/distributed systems, cluster computing, performance evaluation, and fault-tolerant computing. Ph.D.: Computer Science and Engineering, Pennsylvania State University (2003) M.S.: Computer Science and Engineering, Pohang University of Science and Technology (1994) B.S.: Computer Science, Korea Advanced Institute of Science and Technology (1992) Her work explores innovative solutions for optimizing hardware and software systems, including energy-efficient interconnects, security enhancements, and adaptive network-on-chip designs. Notable achievements include the NSF Early CAREER Award (2009) and contributions to publications like IEEE Transactions on Parallel and Distributed Systems . Recent research trends include advancements in near-data processing, secure computing abstractions (e.g., WHISTLE), and mitigating hardware vulnerabilities (e.g., cache timing attacks). She also integrates IoT and low-cost cluster systems for environmental research applications.

Stephan A. Zdancewicمشاهده پروفایل

استاد

• Programming Languages
• Computer Security
• Formal Verification
• +۵ مورد دیگر

Stephan A. Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair of the Department of Computer and Information Science at the University of Pennsylvania. His research focuses on programming languages, computer security, and formal verification. He leads projects like Vellvm (verified LLVM) and QWIRE (quantum programming logic), and contributes to initiatives such as the DeepSpec collaboration. Teaching roles include Programming Languages and Techniques I (CIS 120), Compilers (CIS 341), and Computer and Network Security (CIS 551). He has advised numerous PhD and master’s students, many of whom now hold academic or industry positions globally. Zdancewic has received multiple awards, including the Lindback Award for Teaching (2018), a Sloan Fellowship (2009), and Best Paper awards at SOSP (2001) and ICFP (1999). He serves as General Chair for POPL 2025 and is active in the programming languages and security research communities.

Adam Chlipalaمشاهده پروفایل

استاد

• Programming Languages
• Formal Methods
• Computer Systems
• +۱۲ مورد دیگر

Adam Chlipala is the Arthur J. Conner (1888) Professor of Computer Science at the Massachusetts Institute of Technology (MIT), where he is a faculty member in the Department of Electrical Engineering and Computer Science (EECS), the Computer Science and Artificial Intelligence Laboratory (CSAIL), and leads the Programming Languages & Verification Group. He has been a faculty member at MIT since 2011, following a postdoctoral position at Harvard University. PhD in Computer Science, UC Berkeley (2007) BS in Computer Science, Carnegie Mellon University (2003) His research lies at the intersection of programming languages and formal methods, with a strong emphasis on using the Coq proof assistant to build verified compilers, cryptographic systems, and hardware-software stacks. His work spans from high-level language design to gate-level hardware verification, aiming for end-to-end correctness proofs. Recent efforts focus on high-performance parallel computing systems with full formal assurance. The 15 most recent publications highlight a consistent trend in verified compilation, cryptographic security, hardware verification, and tensor/ML program optimization. His work increasingly integrates software and hardware verification, emphasizing modular, extensible frameworks and end-to-end correctness. Key themes include side-channel resistance, automated proof techniques, and practical deployment of formally verified systems. Advisory Board Member, BlueRock Systems (formerly BedRock Systems) Member, DARPA Information Science and Technology (ISAT) Study Group (2018–2022) Advisory Board Member, SiFive Former Advisor, krypt.co (acquired by Akamai) Chlipala has advised numerous PhD and Master’s students and regularly teaches core MIT courses such as 6.009 (Fundamentals of Programming), 6.042 (Mathematics for Computer Science), and 6.822/6.5120 (Formal Reasoning About Programs). He is the author of the widely used textbook Certified Programming with Dependent Types and co-developer of the FRAP (Formal Reasoning About Programs) educational materials. He is also the founder of Nectry, a startup based on Ur/Web and UPO, aiming to democratize enterprise application development through AI-assisted, type-safe programming. His research group develops tools and frameworks for modular verification, verified compilation, and formal analysis of complex digital systems. The work is deeply collaborative, involving students, industry partners, and open-source contributions via GitHub. Projects like Fiat Cryptography have been deployed in major web browsers, demonstrating real-world impact.