Find Academic Supervisors

• French as a Foreign Language (FLE)
• French for Specific Purposes (FOS)
• French for Professional Purposes (FLP)
• +8 more

Cécile Medina is a Lecturer at the University of Franche-Comté, affiliated with the Centre de Langues et d'Appui (CLA). Her work integrates teaching, research, and expert consultancy in language didactics, particularly in French for Specific and Professional Purposes (FOS/FLP). She is actively involved in pedagogical engineering and action research projects aimed at improving language training in vocational and academic settings. PhD in Language Sciences – Didactics, FLE, FOS (University of Western Brittany, 2023) ORCID: 0000-0002-0065-3066 CNU Section: 7° (Didactics of Languages) Her research focuses on language use in professional environments such as construction, healthcare (medical, dental, pharmacy), tourism, and hospitality. She investigates the linguistic and communicative challenges in these fields and develops didactic tools for training. A key interest is the intersection of language and learning in academic disciplines, particularly mathematics (LMU project). She employs action research and applied linguistics methodologies, working closely with practitioners to co-construct training solutions. Her recent publications explore communicative insecurity in language teaching, dental French training, and the role of language in professional integration. These works reflect a strong commitment to practical, context-sensitive didactics that bridge theory and classroom application. Themes across her research include language socialization, professional discourse, and the transferability of language teaching frameworks across domains. Scientific Awards: None listed Cécile Medina advises on pedagogical design and curriculum development, notably in projects supporting vocational training (CFA, LP), refugee integration, and healthcare language programs. She has secured funding through a CIFRE convention, linking academic research with industry needs. Her expertise includes training engineering, quality auditing for FLE programs (France Education International), and the development of digital didactic resources. She leads and participates in several research-action projects: ETHOR (language and intercultural training in tourism/hospitality), LMU (language and mathematics in higher education), and APFLE (language learning in vocational training). These initiatives aim to produce practical tools for educators and foster collaboration between academic and professional stakeholders.

Adam ChlipalaView profile

Professor

• Programming Languages
• Formal Methods
• Computer Systems
• +12 more

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.

Eric GrosseView profile

Assistant Professor

• Operations Management
• Digital Transformation
• Human Factors in Logistics
• +12 more

Eric Grosse is a Junior Professor for Business Administration, especially Digital Transformation in Operations Management, at Saarland University, Faculty of Humanities and Social Sciences. His research focuses on integrating human factors—such as ergonomics, fatigue, learning, and behavior—into decision models for logistics and production systems. He leads several interdisciplinary research projects including Human-Centric Production and Logistics, Models for an Active Aging Workforce, and Behavioral Order Picking. University: Saarland University School: Faculty of Humanities and Social Sciences Department: Junior Professorship for Business Administration, especially Digital Transformation in Operations Management Academic Rank: Assistant Professor Email: eric.grosse@uni-saarland.de His research interests include Operations Management, Digital Transformation, Human Factors in Logistics, Ergonomics in Warehousing, Behavioral Operations, and Sustainable Logistics. His work emphasizes human-centered design in warehousing and production, aiming to balance economic efficiency with worker well-being. He develops optimization models that simultaneously minimize costs and physical strain, and explores how learning, incentives, and fatigue affect order picking performance. The analysis of his recent publications reveals a consistent focus on integrating ergonomic and economic objectives in manual materials handling and order picking. Key themes include storage assignment optimization, workforce scheduling with ergonomic constraints, human-robot collaboration, and the impact of worker behavior and fatigue on system performance. His methodologies often combine mathematical modeling, simulation, and empirical validation through case studies and experiments. Eric Grosse actively collaborates with researchers from institutions such as TU Darmstadt and has published in top-tier journals like the International Journal of Production Research, Computers & Industrial Engineering, and International Journal of Operations & Production Management. His work supports warehouse managers in improving working conditions while maintaining operational efficiency. Human-Centric Production and Logistics System Design Models and Methods for an Active Aging Workforce Behavioral Order Picking Green Warehousing Supply Chain Resilience Warehousing 4.0/5.0 Digital Transformation Coaching He advises and co-supervises research with a team of collaborators and has contributed to the development of assessment tools like the Warehouse Error Prevention (WEP) tool. His research is funded by the German Federal Ministry for Economic Affairs and Energy, indicating active grant involvement. Though no formal students are listed, his co-authored papers suggest mentorship of junior researchers. He has no listed scientific awards in the provided text.

Daniel KuhnView profile

Professor

• Data-driven Optimization
• Stochastic Programming
• Robust Optimization
• +3 more

Daniel Kuhn is a Full Professor at the Swiss Federal Institute of Technology Lausanne (EPFL), where he holds the Chair of Risk Analytics and Optimization in the College of Management of Technology. His research focuses on developing computational methods for data-driven decision-making under uncertainty, with applications in engineered systems, machine learning, and finance. Previously, he held positions at Imperial College London and Stanford University. Education includes: PhD in Economics, University of St. Gallen MSc in Theoretical Physics, ETH Zurich Research interests span data-driven optimization , stochastic programming , and robust decision-making frameworks . His work develops computationally tractable methods for uncertainty quantification in complex systems, bridging operations research with statistical learning. Current investigations focus on distributionally robust optimization using Wasserstein metrics and applications in energy markets and fair machine learning. Publication analysis reveals three primary trends: 1) Fundamental advances in distributionally robust optimization theory, 2) Machine learning applications with uncertainty guarantees, and 3) Energy system optimization under regulatory constraints. His methodological work consistently emphasizes computational tractability and practical applicability. As lab director of the Risk Analytics and Optimization group, he leads research on: Stochastic control systems Data-driven decision frameworks Robust machine learning Current PhD students include researchers working on federated learning fairness, optimal power flow, and reinforcement learning theory. Past graduates have made significant contributions to Wasserstein distributionally robust optimization and vehicle-to-grid frequency regulation.

Wilson TruccoloView profile

Associate Professor

• collective neural dynamics
• computational neuroscience
• Epilepsy
• +5 more

Wilson Truccolo is the Pablo J. Salame Goldman Sachs Associate Professor of Computational Neuroscience at Brown University's Carney Institute for Brain Science. His research focuses on understanding how human brain function emerges from collective neural dynamics and how neurological disorders like epilepsy result when these dynamics become pathological. He studies neural activity at multiple scales, from single neurons to large-scale brain networks. Truccolo's research interests center on collective neural dynamics, computational neuroscience, epilepsy, neuroengineering, statistical neuroscience, and theoretical neuroscience. His work integrates advanced computational methods with experimental neuroscience to model and understand brain function and dysfunction. He particularly investigates how neural networks generate normal brain activity and how this activity becomes pathological during epileptic seizures. His recent publications demonstrate a strong focus on seizure dynamics, neural network modeling, and brain-computer interfaces. His research shows consistent emphasis on understanding the computational principles underlying neural activity, with applications to both fundamental neuroscience and clinical problems like epilepsy. His work frequently involves collaboration with clinical researchers to translate computational findings into potential therapeutic approaches. Truccolo has received significant research funding, including an NIH NINDS R01 grant as Principal Investigator. His research has been published in high-impact journals including Nature Scientific Reports, PLoS Computational Biology, The Lancet Neurology, and Nature Communications. He teaches NEUR 2110 - Statistical Neuroscience at Brown University, reflecting his expertise in quantitative approaches to understanding brain function. His research program involves developing sophisticated computational models to analyze neural data across multiple spatial and temporal scales.

Warren A. Hunt, Jr.View profile

Professor

• Formal Methods
• Computer Architecture
• Low-Power Computing
• +7 more

Warren A. Hunt, Jr. is a Professor in the Department of Computer Sciences at The University of Texas at Austin. His research focuses on formal methods for hardware and software verification, computer architecture, low-power computing, and biological-inspired systems. He leads projects in specifying and validating computer memory models, extending the ACL2-based x86 specification, and exploring rapid single-flux quantum (RSFQ) computing. Research Interests Formal specification and verification of hardware/software systems Computer architecture and low-power design Biological-inspired computing ACL2 theorem prover applications X86 ISA modeling Notable Contributions Verification of complex microprocessor designs Development of formal tools for hardware/software co-verification Leadership in the FMCAD conference (chairman until 2020) Academic Collaborations Work with Centaur Technology on x86 processors Collaborations with industry partners (Intel, AMD, ARM) Keynote talks at international venues (Newton Institute, Royal Society) Publications (2017–2025) span formal verification of multipliers, self-timed circuits, RSFQ systems, and x86 machine-code analysis. His Google Scholar page lists all his work. PhD Students Current: Balasubraman Muthuvelu, Gavin Meil, Carl Kwan Graduates: Jun Sawada (1999), Sol Swords (2010), Shilpi Goel (2016), and others Leadership Chairman of FMCAD steering committee (1996–2020) Editorial roles in multiple FMCAD/CHARME conferences

• Epistemology
• Philosophy of Science
• Knowledge Management
• +5 more

Constantin Stoenescu is a Professor at the University of Bucharest's Faculty of Philosophy, where he serves as Director of the Department of Theoretical Philosophy and holds multiple leadership roles including membership in the Doctoral School Council of the Romanian Academy's Institute of Philosophy. With a doctorate in philosophy from 1999 focusing on epistemology and philosophy of language, he has built a distinguished career spanning over two decades at the University of Bucharest, progressing from University Assistant (1997-2000) to Associate Professor (2007-2014) and finally University Professor since 2014. His educational background includes a Doctor of Philosophy degree (1994-1999) and a Bachelor of Philosophy (1981-1985), both from the University of Bucharest. Stoenescu's research spans epistemology , philosophy of science , knowledge management , and environmental ethics , with particular focus on Mill's phenomenalism, Kuhn's philosophy of science, sustainability ethics, and the intersection of philosophy with contemporary scientific challenges. His extensive publication record demonstrates consistent scholarly output across multiple philosophical subfields, with recent work examining Mill's epistemology, Kuhn's linguistic turn, deliberative democracy in nuclear energy policy, and pandemic-related vulnerabilities in scientific practice. These publications reflect his dual commitment to historical philosophical analysis and contemporary ethical challenges. Stoenescu has coordinated or participated in numerous research projects including European Science Foundation initiatives on intergenerational human rights, EU-funded programs on sustainable development education, and collaborative research networks across Central and Eastern Europe. His leadership extends to editorial roles for journals including Revista de Filosofie Analitică (as Editor-in-Chief) and Public Reason , where he shapes philosophical discourse in Eastern Europe. His institutional affiliations demonstrate deep engagement with both national and international philosophical communities, including membership in the Romanian Committee for the History and Philosophy of Science and Technology (CRIFST) at the Romanian Academy, the Romanian Society for Advanced Research, Nanotechnologies and Quantum Technologies, and various international research networks focused on sustainability and knowledge management.

Peter WalshView profile

Professor

• Embedded Systems
• Design Verification
• Software Engineering
• +3 more

Dr. Peter Walsh is a Professor in the Department of Computing Science at Vancouver Island University. He holds a B.Sc. and M.Sc. from University College Cork (Republic of Ireland) and a Ph.D. from the University of Victoria (Canada). His teaching and research focus on Embedded Systems and Design Verification , particularly using VHDL for hardware description language applications. University College Cork - B.Sc. (Republic of Ireland) University College Cork - M.Sc. (Republic of Ireland) University of Victoria - Ph.D. (Canada) Research Focus Dr. Walsh's research explores the intersection of Software Engineering and Hardware Verification . He investigates how techniques from software testing can be applied to VHDL design verification , emphasizing automated testing tools and specification-driven development . His work on object-oriented software engineering focuses on creating behavioral test benches for class libraries. Selected Publications His publications from 1994-1999 include works on VHDL integration in education, automated behavioral testing , and document-driven software design methodologies. These works connect software testing with hardware verification practices.

• Electrical Machines
• Energy Storage Systems
• Power Electronics
• +3 more

Dr. Nan Zhao serves as Senior Lecturer in Electrical Engineering at Lancaster University's School of Engineering, UK, since 2022. Previously, he held positions as Assistant Professor at University College Dublin (2018-2022) and Sessional Lecturer at McMaster University (2017-2018), where he earned his PhD in Electrical Engineering in 2017. His research spans electrical power engineering with core focus areas including energy storage systems , renewable integration (solar, wind, wave), electric machines , and EV powertrain systems . Current projects involve AI-driven ocean energy arrays and high-performance wave energy conversion systems. His publication record demonstrates deep engagement with power system stability challenges in renewable-dense grids, particularly through virtual synchronous generators and transportable storage solutions. Key editorial activities include contributions to Electronics Letters and IET Renewable Power Generation . His research group actively recruits PhD students and postdocs, with Renqi Guo currently listed as a PhD student. Primary research collaborations occur through the Energy TALOS group. Notable scientific contributions include: Hybrid synchronous condenser-virtual generator systems for microgrid stability (2025) Statistical deadband estimation for transportable energy storage (2025) Novel wave energy conversion grid integration techniques (2024) Dr. Zhao maintains active industry engagement through research on practical grid integration challenges, with recent work addressing frequency response services, curtailment reduction, and cyber-physical grid resilience. His lab focuses on translating theoretical power electronics advances into deployable renewable energy solutions.

• Satellite inspection
• Spacecraft dynamics
• Orbital rendezvous
• +4 more

Dr. David K. Geller is a Researcher at Utah State University's College of Engineering, affiliated with the Space Dynamics Laboratory. His research program spans spacecraft dynamics, orbital mechanics, and UAV applications, with particular expertise in trajectory optimization and satellite operations. Dr. Geller's research focuses on solving complex problems in space operations through advanced mathematical techniques. His work bridges theoretical developments in orbital mechanics with practical applications for satellite inspection, debris removal, and autonomous spacecraft operations. He has pioneered the application of convex optimization for real-time trajectory planning and developed innovative approaches to spacecraft attitude determination using ground-based photometry. His research demonstrates consistent evolution from fundamental orbital dynamics to increasingly applied mission concepts. Analysis of Dr. Geller's publication record reveals a strategic progression from theoretical foundations to mission-critical applications. His recent work emphasizes autonomy in spacecraft operations, with multiple 2017-2021 papers addressing real-time trajectory planning and multi-spacecraft coordination. The recurring themes across his publications include optimization under constraints, safety in proximity operations, and efficient computational methods for space applications. Primary research areas: Satellite inspection, Spacecraft dynamics, Orbital rendezvous Methodological expertise: Convex optimization, Relative orbital mechanics, UAV navigation Application domains: Space debris removal, On-orbit servicing, Environmental monitoring Dr. Geller maintains active collaborations with researchers including Nicholas Ortolano, Aaron Avery, and previously mentored Austin M. Jensen on UAV-based fish tracking research. His work through the Space Dynamics Laboratory contributes to both fundamental aerospace engineering knowledge and practical space mission capabilities.

• Logic
• Algorithms
• Graph Theory
• +3 more

Alexandre Vigny is an Assistant Professor at University Clermont Auvergne in France, focusing on the intersection of logic, algorithms, and graph theory. He has previously held postdoctoral positions at the University of Bremen (2019-2023) and the University of Warsaw (2018-2019), and completed his PhD at University Paris Diderot (2015-2018) under Arnaud Durand and Luc Segoufin. Current role: Junior Professor at University Clermont Auvergne (2023-present) Postdoctoral experience: University of Bremen (2019-2023), University of Warsaw (2018-2019) PhD: University Paris Diderot (2015-2018) His research interests span theoretical computer science, with a focus on first-order logic, graph algorithms, and complexity analysis. Recent work includes advances in algorithmic meta theorems, reconfiguration problems on sparse graphs, and distributed domination algorithms. Publications highlight applications of logic in solving graph-theoretic problems and query enumeration in database theory. Key trends in his 2025 publications include lower bounds analysis for dominating sets in sparse graphs, token sliding reconfiguration on DAGs, and elimination distance metrics. Earlier works (2017-2024) cover dynamic query evaluation, monadic stability, and parameterized distributed complexity frameworks. Teaching roles have included courses in algorithm design, object-oriented programming, database systems, and model theory across Clermont Auvergne, Bremen, and Paris institutions. Co-supervises PhD student Jona Dirks (2024-present) in reconfiguration problems on directed graphs.

Warren Hunt Jr.View profile

Professor

• Formal Methods
• Computer Architecture
• Hardware Verification
• +6 more

Warren A. Hunt, Jr. is a Professor at the The University of Texas at Austin in the Department of Computer Sciences . He specializes in formal methods , computer architecture , and computational biology , with a focus on X86 specification in ACL2 , RSFQ computing , and biological-inspired computing . 25+ years in hardware verification First mechanical verification of a microprocessor (1985) Associate Editor, Formal Methods in System Design journal Research Interests include formal specification, program verification, automated theorem-proving, and computational biology tools. His work spans microprocessor design validation , symbolic simulation , and linear/nonlinear arithmetic in ACL2 . Scientific Awards : ACM 2015 Distinguished Engineer Advising : Supervises current PhD students Gavin Meil and Balasubraman Muthuveli . Has advised 12 PhD graduates, including Sol Swords (Intel) and Serita Nelesen (co-advised with Tandy Warnow). Grants & Collaborations : Leads NSF-funded projects like TC: Small (memory analysis) and TWC: Large (internet routing). Collaborates with ARM Corporation , Intel , and Centaur Technology . Labs & Conferences : Active in the ACL2 theorem proving community , served as FMCAD Steering Committee Chair (1996-2020), and co-organized FMCAD 2000 .

Ali EshraghView profile

Senior Lecturer

• Time Series Forecasting
• Stochastic Modeling
• Operations Research
• +6 more

Dr. Ali Eshragh is an Honorary Senior Lecturer at the University of Newcastle's School of Information and Physical Sciences, specializing in statistical modeling and machine learning for big data analysis. His research focuses on developing automated forecasting systems to analyze big time series data and generate accurate future predictions, with applications spanning energy demand forecasting, supply chain optimization, and pandemic modeling. Dr. Eshragh holds a PhD from the University of South Australia and a BSc from Sharif University of Technology in Iran. His research expertise spans Time Series Forecasting (30%), Operations Research (30%), and Stochastic Analysis and Modeling (40%), as reflected in his Fields of Research codes. He has established the ForBiD (Forecasting and Big Data) research group, which has rapidly grown to include members from the University of Newcastle, University of Queensland, Monash University, UC Berkeley, and Yale University. His publication record demonstrates a strong trajectory in applying advanced statistical methods to real-world problems, with recent work focusing on reinforcement learning for combinatorial optimization, efficient algorithms for big time series data analysis, and probabilistic modeling of complex systems like pandemics. His research bridges theoretical advances in randomized numerical linear algebra with practical applications in forecasting. Dr. Eshragh has received the Australian Society for Operations Research 2017 Rising Star Award and has secured over $3.6 million in research funding from various sources including the Australian Research Council, Department of Education, and industry partners like Coca Cola Amatil and Sanitarium. He actively supervises PhD and honors students in areas including reinforcement learning algorithms, big time series data analysis, and Markov decision processes. His industry collaborations with Australian food and beverage supply chains have directly motivated his academic research, reflecting his commitment to translating theoretical advances into practical solutions.

Heike TrautmannView profile

Professor

• Artificial Intelligence
• Machine Learning
• Data Science
• +7 more

Professor Heike Trautmann is a distinguished academic at Paderborn University, where she serves as Professor of Machine Learning and Optimisation in the Department of Computer Science within the Faculty of Computer Science, Electrical Engineering and Mathematics. Since April 1, 2025, she also holds the position of Vice President for International Relations at the university. Her academic career spans prestigious institutions including the University of Münster, where she was Professor of Data Science: Statistics and Optimization from 2013 to 2023, and the University of Twente, where she serves as Guest Professor of Data Science until February 2026. Dr. Trautmann's educational background includes: University Studies in Statistics (Diploma), TU Dortmund, Germany (1997-2000) University Studies in Economic Mathematics (First Diploma), TU Dortmund, Germany (1996-1998) PhD student at Graduate School of Production Engineering and Logistics, TU Dortmund University (2002-2004) Habilitation in Statistics, TU Dortmund University, Germany (April 15, 2013) Professor Trautmann's research program centers on cutting-edge topics in artificial intelligence and optimization. Her primary research interests include (Trustworthy) Artificial Intelligence, Machine Learning, Data Science, Automated Algorithm Selection and Configuration, Exploratory Landscape Analysis, (Multiobjective) Evolutionary Optimisation, and Data Stream Mining. She leads the Machine Learning and Optimisation research group at Paderborn University, which develops innovative approaches for understanding and improving optimization algorithms through landscape analysis and automated configuration techniques. Her work bridges theoretical foundations with practical applications, particularly in the domains of trustworthy AI and algorithm selection. Her extensive publication record reveals a clear trajectory toward increasingly sophisticated integration of deep learning with traditional optimization techniques. Recent work demonstrates a strong focus on multi-objective optimization problems, exploratory landscape analysis using deep learning methods, and the development of automated algorithm configuration systems. A notable trend is the application of transformer architectures to landscape analysis, as seen in her Deep-ELA work, which represents a significant innovation in the field. Her research consistently addresses the challenge of characterizing complex optimization problems to enable better algorithm selection and configuration. Professor Trautmann has received notable recognition for her scholarly contributions, including: GECCO Best Paper Award for "Deep reinforcement learning for instance-specific algorithm configuration" As an academic leader, Professor Trautmann has secured significant research funding for projects including "Towards Robustness of Disinformation Campaign Detection Algorithms in Open Online Media in the Context of Trustworthy AI" and "Automated rail transport as a backbone for sustainable, networked mobility in rural areas." She actively mentors students through her teaching of advanced courses in machine learning, optimization, and data science. Her industry connections, stemming from her previous work as an Analytics Consultant at Roland Berger Strategy Consulting, enable her to bridge academic research with practical applications. Professor Trautmann leads the Machine Learning and Optimisation research group at Paderborn University, which collaborates extensively with international partners. She is a key supporter of the Confederation of Laboratories for Artificial Intelligence Research in Europe (CLAIRE) and a member of the European Research Center for Information Systems (ERCIS). Her group maintains strong connections with research centers across Europe, particularly through her involvement with the Transregional Collaborative Research Centre 318.

• Compiler Optimizations for Emerging Architectures
• Programming Language Design and Implementation
• Verification of Compiler Optimizations
• +3 more

Benjamin Goldberg is an Associate Professor in the Computer Science Department at New York University, where he conducts research at the intersection of compiler design, programming languages, and formal methods. His work emphasizes building reliable and efficient compiler optimizations for modern architectures through rigorous validation frameworks. Education Ph.D. in Computer Science, Yale University B.A. in Mathematical Sciences, Williams College (1982) Research Interests Goldberg's primary research spans compiler optimizations for instruction-level parallel architectures, verification of compiler transformations to guarantee correctness, and storage management techniques including advanced garbage collection. He pioneered the Trimaran Compiler Research Infrastructure for experimental compiler development and leads the Compiler Validation Project (ACSys group) focused on translation validation. His work integrates theoretical foundations with practical compiler implementation, addressing critical challenges in speculative optimization and memory management for distributed systems. Publication Trends Analysis of his 15 most recent publications reveals a dominant focus on compiler validation (7 papers, 2002-2010), particularly loop optimization and software pipelining verification. Earlier work (1988-1997) centers on garbage collection (5 papers) and functional programming (4 papers). This progression demonstrates a strategic shift from memory management foundations to formal methods for compiler trustworthiness, with consistent contributions to parallel computing infrastructure throughout his career. Research Groups Goldberg is a core member of NYU's ACSys research group , developing the TVOC framework for validating compiler optimizations. He co-created the Trimaran project , an open infrastructure for compiler research targeting instruction-level parallel architectures, which has become a standard platform for compiler experimentation in academia and industry.