Michael Kremer is a University Professor in Economics at the University of Chicago, holding positions in the Kenneth C. Griffin Department of Economics, the College, and the Harris School of Public Policy. He is the 2019 Nobel Laureate in Economic Sciences for pioneering experimental methods to address global poverty. Kremer earned his Ph.D. from Harvard University in 1992 and has been affiliated with the University of Chicago since 2020. His research focuses on development economics, field experiments, and policies impacting education, health, water, and agriculture in developing countries. He directs the Development Innovation Lab and leads the Development Economics Center at Chicago, emphasizing evidence-based solutions to poverty. Kremer’s work combines rigorous academic inquiry with practical policy applications, bridging theoretical economics and real-world interventions. Awarded the MacArthur Fellowship in 1997 and a Fellow of the American Academy of Arts and Sciences since 2003, Kremer’s contributions have shaped modern development economics. He has collaborated extensively with institutions worldwide, advocating for randomized controlled trials (RCTs) to evaluate social programs. His interdisciplinary approach integrates insights from economics, public policy, and experimental methods, fostering global partnerships to combat poverty effectively.
Andrew Head is an Assistant Professor at the University of Pennsylvania in the Computer and Information Science department. His research focuses on human-computer interaction, programming, and reading, particularly in developing technology for interactive reading and reasoning. He advises PhD students Alyssa Hwang, Hita Kambhamettu, Litao Yan, Jeffrey Tao, and Jessica Shi, and co-leads the Penn Human-Computer Interaction (Penn HCI) group with Danaé Metaxa. His work is published in top venues like ACM CHI, UIST, and ICSE. Research Interests: Andrew's work bridges interactive systems with programming environments, aiming to enhance how scientists and programmers interact with their tools. Key areas include AI-assisted code understanding, math notation accessibility, and medical note interpretation through interactivity. He employs user studies to identify needs and builds interactive systems to address them. Recent Article Trends: His publications emphasize systems-centric HCI approaches, integrating AI into code and document interfaces. Topics span code explanation (e.g., Ivie), property-based testing (e.g., Tyche), math notation augmentation (e.g., FreeForm), and medical informatics (e.g., Explainable Notes). Recent work also explores notebook environments (e.g., Bolt-on, Tyche) and literate programming (e.g., Colaroid). Scientific Awards: Distinguished Paper Award, ICSE 2024 Best Paper Awards at CHI (2024, 2023, 2022, 2019), UIST (2023, 2018), and others. Nominated for Best Paper at CHI 2023 and VL/HCC 2015. Advising & Grants: Andrew advises multiple PhD students and has secured significant grants, including a $1M NSF award for 'Property-based Testing for the People' (2024). His group collaborates with Penn’s MindCORE center and teams like PLClub and PennNLP. Labs & Teams: He co-leads the Penn HCI group, which works closely with other Penn research teams and labs. The group focuses on creating interactive tools that enhance scientific and programming workflows, supported by grants and cross-institutional partnerships.
Prof. Dr. Timothy Roscoe is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on operating systems, networking, and distributed systems. He was inducted as an ACM Fellow in 2014 for contributions to these fields. Previously, he worked at Intel Research Berkeley, UC Berkeley (Adjunct Professor), and Sprint Labs. His work includes foundational contributions to systems like PlanetLab, P2 Declarative Networking, and the Nemesis OS. Roscoe holds a PhD from the University of Cambridge and has led projects in cloud computing, wide-area network measurement, and secure systems design. His current research emphasizes hardware-software co-design, formal verification of systems, and scalable memory architectures. Education: PhD in Computer Science, University of Cambridge (1995) Key Roles: Principal Researcher at Intel Berkeley Lab, Visiting Researcher at National ICT Australia Research Highlights: Contributions to distributed systems (PlanetLab), declarative networking (P2), and secure microkernels (seL4 integration). Current projects address challenges in disaggregated memory systems, coherent interconnects, and trustworthy embedded systems. Awards: ACM Fellow (2014), numerous grants and industry collaborations. Labs/Teams: Systems Group at ETH Zurich, focusing on OS design, hardware architectures, and formal methods.
Sam Staton is a Professor of Computer Science at the University of Oxford and Senior Research Fellow at Jesus College. He holds a Royal Society University Research Fellowship and leads the ERC-funded BLaSt project on probabilistic programming. His research focuses on programming language theory, particularly probabilistic and quantum programming, and category theory. Staton earned his PhD from the University of Cambridge in 2007, with prior roles as a lecturer and researcher at Cambridge, Paris, and Nijmegen. Research Interests: His work explores foundational aspects of programming languages, including semantics, algebraic effects, and applications to quantum computing and statistical modeling. Recent grants include the ARIA Safeguarded AI initiative and an AFOSR award. Education: PhD in Computer Science (2007), BA from Cambridge (2002). Students & Collaborators: Supervises multiple PhD students and postdocs, including those funded through his grants. Notable advisees include Swaraj Dash (now at Heriot-Watt) and Mathieu Huot (postdoc at MIT). Awards & Grants: Royal Society Fellowship, ERC Consolidator Grant (BLaSt), EATCS Best Paper Award, and Facebook Research Award. Labs & Teams: Leads the BLaSt project and collaborates on quantum programming via algebraic effects. Engaged in editorial roles for ACM Transactions on Quantum Computing and program committees for major conferences like POPL and LICS.
Dr. Jia Zhang is the Inaugural Robert H. Dedman Jr. Endowed Department Chair and Professor of Computer Science at Southern Methodist University (SMU Lyle School of Engineering). She holds the Cruse C. and Marjorie F. Calahan Centennial Chair in Engineering and has a courtesy appointment in the Department of Operations Research and Engineering Management. Her research focuses on applying machine learning, natural language processing, and information retrieval to data science infrastructure, particularly scientific workflows, provenance mining, software discovery, knowledge graphs, cloud computing, immune AI, and applications in earth science and healthcare. Education: Ph.D. in Computer Science, University of Illinois at Chicago M.S. in Computer Science, Nanjing University B.S. in Computer Science, Nanjing University Dr. Zhang's work emphasizes data science infrastructure and machine learning for scientific workflows and knowledge graphs. Her recent publications highlight deep learning , graph neural networks , and optimization algorithms in cloud computing, cybersecurity, and environmental applications. Key trends include spatiotemporal modeling , hybrid neural architectures , and AI-driven service ecosystems . Scientific Awards: Best Paper Awards IEEE SCC (2011, 2017) Best Student Paper Awards IEEE ICWS (2014, 2018), IEEE ICCC (2018) Distinguished Paper Award ICSOC (2023) First Outstanding Service Award IEEE Technical Committee on Services Computing (2016) She has secured over $5 million in federal grants (as PI) and $11 million as PI/Co-PI from NSF, NASA, NIH, UTSW, Ericsson, SAP, and Google. Her lab (Caruth Hall 308) actively recruits research assistants. She previously served as a faculty member at Carnegie Mellon University, Northern Illinois University, and Nanjing University, and worked in industry as a software architect.
Jiro Katto is a Professor at Waseda University's School of Fundamental Science and Engineering, where he has been conducting research and teaching since 1999. He received his Ph.D. from the University of Tokyo and has established himself as a leading researcher in multimedia signal processing and computer networks. His academic journey includes positions as Associate Professor (1999-2004), Professor (2004-present), and Director at NEDO (2004-2008), along with research experience at NEC C&C Laboratories (1992-1999) and a Visiting Scholar position at Princeton University (1996-1997). Professor Katto's research interests focus on Multimedia Signal Processing and Computer Networks, with particular expertise in video compression, 5G network performance, and learned image compression techniques. His work bridges theoretical advancements with practical implementations, as evidenced by his extensive publications in top-tier conferences and journals. His research group has made significant contributions to point cloud compression, latency compensation in remote systems, and hardware-accelerated video encoding for UHD streaming. His publication record is impressive, with 276 papers cited 3,323 times in Scopus and 6,169 times in Google Scholar, reflecting his substantial impact in the field. His recent work shows a strong trend toward applying deep learning techniques to traditional signal processing problems, particularly in the areas of image and video compression, where his team has developed novel approaches to improve compression efficiency while reducing computational complexity. Electric Telecommunications Promotion Foundation Telecommunications System Technology Award (2023) Takayanagi Kenjiro Foundation Takayanagi Kenjiro Achievement Award (2020) Institute of Image Information and Television Engineers Fellow (2020) Institute of Electronics, Information and Communication Engineers Fellow (2015) IEICE Communications Society Activity Contribution Award (2006) IEICE Academic Encouragement Award (1995) SPIE VCIP 1991, Best Student Paper Award (1991) Professor Katto has served on numerous prestigious committees including IEEE ComSoC Tech News Editorial Board, IEEE Technical Program Committees for major conferences (Globecom, ICC, ICIP), and editorial boards for several academic journals. His leadership in the academic community extends to chairing conferences like IWAIT 2011 and serving as Editor-in-Chief for journals in his field. His research has practical applications in commercial 5G networks, video streaming services, and remote monitoring systems, demonstrating the real-world impact of his work.
C. S. George Lee is a Professor of Electrical and Computer Engineering at Purdue University's Elmore Family School of Electrical and Computer Engineering, located in West Lafayette. His research focuses on Robotics, Transfer Learning, Neuro-fuzzy Systems, Automatic Controls, and Computer Engineering. He holds a BSEE (1973), MSEE (1974) from Washington State University, and a PhD (1978) from Purdue University. His work integrates computational intelligence with AI, robotics, and education technology, emphasizing human-machine co-learning models and bilingual systems. His contributions span domains like quantum computing, generative AI, and knowledge graph applications. He leads the Art Lab at Purdue and has published extensively on topics ranging from humanoid robotics to cross-cultural educational platforms. His research areas include developing intelligent agents for edutainment, robotic assistants for student learning, and advanced machine learning techniques. Notable trends in his publications involve computational intelligence applied to bilingual language models (e.g., Taiwanese/English co-learning), quantum-based AI systems, and human-centric robotics. He has explored applications in healthcare (e.g., blood donor analysis), autonomous navigation, and game AI (e.g., Go). His work often bridges theoretical advancements with real-world implementations, such as Java software tools for motor activity assessment (JKinect) and AI-driven platforms for skill evaluation. Lee's research emphasizes interdisciplinary collaboration, with contributions to IEEE conferences and cross-institutional projects. His lab develops tools for adaptive e-learning, robotic task performance evaluation, and human pose estimation using neural networks. Despite prolific publishing, no specific grants or awards are explicitly mentioned in the provided text. His work continues to explore the intersection of human intelligence and smart machines through platforms like Metaverse integration and BCI (Brain-Computer Interface) applications.
Marco Pedersoli serves as an Assistant Professor at École de technologie supérieure (ETS) in Montreal since February 2017, where he leads research in computer vision and machine learning. His work focuses on reducing computational costs and annotation requirements for deploying vision algorithms on embedded devices, positioning ETS at the forefront of Montreal's AI ecosystem. His academic journey includes: Ph.D. from Autonomous University of Barcelona (UAB) under Jordi Gonzàlez and Juan José Villanueva Post-doctoral research at INRIA Grenoble with Cordelia Schmid and Jakob Verbeek (2015-2016) Research at KU Leuven with Tinne Tuytelaars (2012-2015) Dr. Pedersoli's research tackles deep learning bottlenecks through weakly-supervised methodologies and computational efficiency innovations . His three core projects address: Reduced Supervision : Developing weakly/semi-supervised learning for images, video, audio and text Exploration Learning : Optimizing data selection in unstructured environments Efficient Computation : Accelerating deep learning training and inference These efforts enable vision algorithms to run on resource-constrained portable devices. Publication trends (2014-2022) reveal consistent focus on weak supervision (60% of works) and computational efficiency (30%), with recent expansion into medical imaging and multimodal emotion recognition. Key venues include CVPR, ICCV, NeurIPS and ECCV. His accolades include: Best Paper Award at ICIAR 2019 NVIDIA Titan X Pascal hardware donation Dr. Pedersoli actively mentors 18 graduate students across PhD and MSc programs, with notable placements at Huawei and Radio Canada. His lab secures competitive tax-free funding for projects with international collaborations, including Element AI and European institutions. Current openings emphasize Python/C++ proficiency and deep learning expertise. He leads a dynamic research group at ETS developing open-source tools for Roi-Pooling, weakly-supervised detection, and 3D object recognition, maintaining active GitHub repositories with community contributions. Recent WACV 2023 acceptances demonstrate ongoing productivity following medical leave.
Audrey Truschke is Professor of South Asian History and Director of Asian Studies at Rutgers University–Newark, within the Department of History, Faculty of Arts and Sciences. She holds a Ph.D. from Columbia University and specializes in the cultural, imperial, and intellectual history of early modern and modern India (c. 1500–present). Her scholarship bridges deep historical inquiry with urgent contemporary debates, particularly around religious identity, nationalism, and decolonization. Truschke earned her B.A. in Religious Studies from the University of Chicago (2004) and her Ph.D. in Middle Eastern, South Asian, and African Studies from Columbia University (2012). Her academic journey includes prestigious fellowships at Stanford University, the University of Cambridge, and the University of Sorbonne Nouvelle Paris III. Her research centers on South Asian history, with a focus on the Mughal Empire, Indo-Muslim rule, Sanskrit-Persian cultural exchanges, and the historical construction of Hindu identity. She critically examines how premodern histories are mobilized in modern political projects, especially Hindu nationalism (Hindutva). Her work spans cultural, intellectual, and religious history, emphasizing philology, translation, and the politics of historical memory. Truschke’s recent publications reveal a consistent trajectory: analyzing the evolution of religious and ethnic identities, particularly 'Hindu' and 'Han', through longue durée historical lenses. Her articles explore how empires, religions, and languages interacted in South Asia, and how these pasts are weaponized in the present. She frequently engages with themes of hegemony, identity formation, and the dangers of historical falsification, especially in the context of Hindutva ideology and its global manifestations. Scientific Awards and Honors: Karwaan Book Award (2022) National Endowment for the Humanities Public Scholars Fellowship (2021) Rutgers Board of Trustees Research Fellowship for Scholarly Excellence (2020) John F. Richards Prize in South Asian History, American Historical Association (2017) Andrew W. Mellon Postdoctoral Fellowship (2013–2016) Fulbright-Hays Doctoral Dissertation Research Abroad Fellowship (2009–2010) Truschke is an active advisor and mentor, though specific student names are not listed in the provided texts. She has secured significant research funding, including grants from the NEH and Princeton University Press. Her public scholarship includes contributions to the South Asia Scholar Activist Collective , the Hindutva Harassment Field Manual , and the Reporting Guide on Hindu Nationalism . She is currently writing a single-volume history of India for Princeton University Press, forthcoming in 2025. She is affiliated with several research initiatives, including the South Asia Scholar Activist Collective (SASAC), and maintains an active public presence through her personal website, media appearances, and public writings. Her work bridges the academy and public discourse, challenging dominant narratives and promoting historical accuracy in understanding South Asia.
Professor Guy-Vincent Jourdan is affiliated with the School of Electrical Engineering and Computer Science at the University of Ottawa. He holds a Ph.D. from Université de Rennes/INRIA (France, 1995) focusing on distributed systems analysis. Prior to academia, he served as CTO and CEO of Decision Academic Graphics, an Ottawa-based firm. His research interests span software security, cybersecurity (including cybercrime prevention), distributed systems modeling, formal methods, mobile applications, and rich internet applications. Specific technical emphases include phishing detection systems, blockchain fraud analysis, and adversarial machine learning. Professor Jourdan has pioneered tools like D-ForenRIA for reconstructing user interactions in Rich Internet Applications and contributed to cybersecurity frameworks such as HEART for log anomaly detection. His work integrates machine learning techniques with domain-specific challenges in network security and software verification. His publications (2023-2025) reflect advancements in AI-driven vulnerability analysis, blockchain fraud detection, and automated phishing detection systems. Notable projects include SV-TrustEval-C for source code vulnerability analysis and Intellitweet for social media threat detection. While no scientific awards are explicitly listed, his prolific publication record and industry-academia transition highlight sustained contributions to computer science and cybersecurity domains.
Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.
Michael Stonebraker is a renowned computer scientist and Adjunct Professor of Computer Science at MIT's CSAIL. He is a pioneer in database technology, having developed foundational systems like INGRES and POSTGRES at UC Berkeley. His work spans database management, distributed systems, and data integration. He has founded multiple startups to commercialize his research and holds numerous awards, including the ACM Turing Award (2014) and IEEE John von Neumann Medal (2005). He earned his Ph.D. from the University of Michigan and undergraduate degrees from Princeton and Michigan. His research focuses on advancing database systems, operating systems, and big data analytics. Recent work includes contributions to video data management, cloud computing optimization, and data discovery systems. Education: Ph.D., Computer, Information and Control Engineering, University of Michigan (1971) M.S.E., Electrical Engineering, University of Michigan (1966) B.S.E., Electrical Engineering, Princeton University (1965) Research Interests: Database Technology, Distributed Systems, Data Integration, and Big Data Analytics. His work bridges theory and practice, emphasizing scalable architectures and real-world applications. Awards & Recognition: ACM Turing Award (2014) ACM SIGMOD Systems Award (2015) MIT Tech Review TR7 (2016) C&C Prize (2020) Grants & Labs: His research is supported by grants from NSF, DARPA, and industry collaborations. He leads MIT's efforts in database systems and is affiliated with CSAIL labs focused on data management and high-performance computing.
Keir Moulton is an Associate Professor and Graduate Chair in the Department of Linguistics at the University of Toronto. He holds a PhD from the University of Massachusetts, Amherst, and a BA (Honors) from the University of Toronto. His research focuses on the syntax-semantics interface, experimental linguistics, and formal approaches to clause structure and anaphora. He has conducted extensive experimental work on pronoun resolution, ellipsis, and binding theory, with a particular interest in exploring how structural constraints influence language processing. His academic career includes roles as co-editor of NELS 34 and contributions to major linguistics conferences such as SALT and WCCFL. Moulton's recent work examines topics like underspecified pronoun interpretation, Korean VP anaphora, and the cognitive processing of syntactic structures. His methodologies blend formal theoretical analysis with experimental techniques, including eye-tracking studies and acceptability judgments. Key research areas include: experimental syntax-semantics interaction, binding theory, ellipsis resolution, and the typology of clausal complementation. He has published over 50 articles in journals like Language , Linguistic Inquiry , and Journal of Cognitive Science , as well as book chapters and edited volumes. Moulton’s work has been supported by grants from the Social Sciences and Humanities Research Council (SSHRC) of Canada. His teaching focuses on graduate courses in syntax, semantics, and experimental methods.
Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.
Dr. John Wickerson is an Associate Professor in the Circuits and Systems group at the Department of Electrical and Electronic Engineering, Imperial College London. His research focuses on improving the reliability of high-performance computing through formal methods, with contributions to high-level synthesis, memory models, and concurrency verification. He holds leadership roles including Course Director for the Electrical and Information Engineering degree and Deputy Tutor for PhD students. Research Interests: Formal Verification of Hardware/Software Systems High-Level Synthesis (HLS) and FPGA Compilation Weak Memory Models and Concurrency Semantics Fuzz Testing for Hardware Tools Compiler Optimization and Correctness Digit Elision and Arbitrary-Precision Arithmetic Notable Achievements: Best Paper Award at EuroSys 2024 (database isolation validation) Pioneered formal methods for HLS tools (e.g., QuteFuzz, C4) Co-developed the C4 C compiler concurrency checker Published over 60 peer-reviewed papers across top venues (ASPLOS, PLDI, FPGA) Lab/Team: Part of the Circuits and Systems group at Imperial College, collaborating with industry partners like Kaihong Yann and ARM.
