Chita R. Das is a Professor at Pennsylvania State University, known for extensive contributions in computer architecture, machine learning, and high-performance computing. Their research focuses on optimizing hardware-software co-design for edge computing, cloud infrastructure, and energy-efficient systems. Key areas include FPGA acceleration, GPU optimization, and serverless computing frameworks. Das collaborates frequently with institutions like AMD and Intel, addressing challenges in parallel computing and distributed systems. Their work bridges theoretical advancements with practical applications in recommendation systems, bioinformatics, and real-time video processing. Research interests span across hardware acceleration techniques, cloud resource management, and sustainable computing. Notable projects include adaptive training frameworks for intermittent power environments and neural-augmented game streaming for mobile platforms. Das's publications often address performance bottlenecks in modern architectures and propose novel solutions for latency and energy efficiency. Recent articles highlight innovations in serverless computing cost optimization, low-bandwidth VR streaming, and FPGA-based bioinformatics tools. Their contributions are characterized by interdisciplinary approaches combining computer architecture with machine learning and embedded systems.
Neil Olver is an Associate Professor in the Department of Mathematics at the London School of Economics and Political Science (LSE), where he has held his current position since 2021. He is also affiliated with CWI in Amsterdam. His research focuses on combinatorial optimization, network design, algorithmic game theory, and probability, with applications to traffic networks and robust optimization. Olver has organized major events such as the Highlights of Algorithms conference and the Hausdorff Trimester Program on Discrete Optimization. He completed his PhD in Applied Mathematics at McGill University (2010), preceded by an MSc (2006) and BSc (2004) from the University of Cape Town and McGill University. His academic career includes roles at Vrije Universiteit Amsterdam (2013–2021) and MIT (2010–2013). Olver has been awarded grants from NWO (VIDI, TOP, VENI) and the NSF, supporting research on network optimization and robust design. His notable contributions include resolving the VPN Conjecture, advancing strongly polynomial algorithms for generalized flows, and analyzing dynamic traffic equilibria. Students advised include Dr. Dario Frascara and Dr. Madelon de Kemp. Current grants include a VIDI-funded project on 'Usable Algorithms for Network Design.'
Debjit Pal is a Post-Doctoral Associate at the School of Electrical and Computer Engineering, Cornell University, and a member of the Computer Systems Laboratory. His research focuses on machine learning techniques for hardware verification, SoC validation, and FPGA optimization. Education: Ph.D. in Computer Engineering (University of Illinois at Urbana-Champaign, 2019) M.S. in Computer Science (IIT Kharagpur, 2012) B.E. in Electronics Engineering (Jadavpur University, 2008) Research Interests: Machine Learning for Electronic Design Automation (EDA) System-on-Chip (SoC) Verification Edge Intelligence as a Service Compiler Optimizations for Reconfigurable and High-Performance Computing Scientific Awards: IEEE CEDA Student Research Award (2016) Best Paper Nomination (ICCAD 2015, DAC 2018, ASP-DAC 2019) E. J. McCluskey Best Doctoral Thesis Competition Semi-Finalist (2020) Travel Grants for ICCAD/DAC/ASPDAC (2018-2019) Professional Roles: Technical Program Committee Member (DAC, VLSID), Reviewer (IEEE TVLSI, DATE, ICCAD). Collaborates with researchers like Zhiru Zhang and Shobha Vasudevan.
Mani Golparvar Fard is a Professor at the University of Illinois at Urbana-Champaign, holding joint appointments in the Siebel School of Computing and Data Science and the Department of Civil and Environmental Engineering. He also contributes to the Technology Entrepreneur Center. His research focuses on integrating artificial intelligence, computer vision, and data analytics to advance construction management, infrastructure monitoring, and automation. Key areas include BIM integration, reality capture systems, and deep learning-based progress tracking. His work emphasizes automated construction progress monitoring through semantic segmentation, vision-language models, and UAV-based data collection. He has pioneered methods like Scan2BIM-NET for converting point clouds into BIM models and developed frameworks for worker safety analysis using machine learning. Awards: Walter L. Huber Civil Engineering Research Prize (2018) Daniel W. Halpin Award for Scholarship (2016) Advising & Grants: While no specific grant details are provided, his research is supported by collaborations with industry and government initiatives, such as the Japanese national bridge inspection project. He advises a team focused on AI-driven construction solutions and maintains active partnerships with engineering firms. Labs & Teams: Leads research groups in vision-based construction analytics, automated scheduling systems, and BIM integration. His work is disseminated through platforms like the VisualSiteDiary system and the InstaDam open-source platform for structural damage analysis.
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.
Geert Deconinck is a full professor at KU Leuven , leading the Electrical Energy Systems and Applications (ELECTA) research group within the Department of Electrical Engineering (ESAT). He also serves as scientific leader of the EnergyVille research center's algorithms domain, focusing on smart electrical networks and thermal systems. M.Sc. and Ph.D. from KU Leuven Head of ELECTA since 2012 (10 professors, 8 postdocs, 70+ PhDs) Over 8 million EUR research budget in last 5 years 44 completed PhDs and 10 current advisees IEEE Transactions editorial board member His research spans smart grid architectures , distributed control , and cyber-physical security , with recent focus on EV-grid integration , renewable energy democratization , and multi-carrier energy systems . Current projects include: Smart Charging - E-Mobility meets Renewable Energy Early Detection and Defense Systems for Smart Grids Open-source P2P energy sharing platforms Microgrid control strategies for PV-battery systems Awarded IET Fellow and IEEE Senior Member status, his work combines machine learning with power systems engineering through both theoretical modeling and experimental validation . He has contributed over 575 publications with 9800+ Google Scholar citations.
Prof. Liam Murphy is a Full Professor of Computer Science & Informatics at University College Dublin (UCD) and Director of the Performance Engineering Laboratory. He holds a B.E. from UCD, M.Sc. and Ph.D. from UC Berkeley. His research focuses on performance engineering of networks, software systems, and multimedia transmissions. He has published over 150 peer-reviewed papers and is an IEEE member and Fellow of the Irish Computer Society. Education: B.E. in Electrical Engineering, UCD (1985) M.Sc. & Ph.D. in Electrical Engineering & Computer Sciences, UC Berkeley (1988, 1992) Research Interests: Dynamic resource allocation in networks Cloud computing efficiency Software performance engineering Wireless multimedia systems Quality of Service (QoS) optimization Recent work emphasizes energy-efficient cloud workflows, multi-objective data center optimization, and decentralized traffic simulation. Grants & Awards: Fellow of the Irish Computer Society (2007) Conference Paper Awards (2004, 2002, 2001) Principal Investigator in multiple funded projects (e.g., EU-funded traffic simulation, cloud resource allocation) Advising & Labs: Directed 24 Ph.D. and 8 M.Sc. students. Leads the Performance Engineering Laboratory (PEL), focusing on distributed systems, cloud efficiency, and network performance. Collaborates on industry-relevant projects like crovan (UCD/DCU campus company). Teaching: Coordinates courses on computer science fundamentals, distributed systems performance, and software engineering at UCD.
Anna Choromanska is an Associate Professor in the Department of Electrical and Computer Engineering at NYU Tandon School of Engineering, with affiliations to NYU Center for Data Science (CDS), NYU Center for Urban Science and Progress (CUSP), NYU Center for Advanced Technology in Communications (CATT), and the C2SMART Center. Her research focuses on deep learning optimization, generalization, and applications in autonomous driving and large-scale data analysis. She holds an Alfred P. Sloan Fellowship and NSF CAREER Award, and her work impacts industries like NVIDIA and Facebook. She directs the Learning Systems Laboratory (LSL), emphasizing interdisciplinary experimental/theoretical work. Research Interests: Machine Learning fundamentals, DL optimization, continual learning, autonomous vehicle systems, large data analysis. Her lab explores DNN learning dynamics, training architecture design, and scalable algorithms. Professional Impact: Over 50 invited talks, workshop organization for top ML conferences, and contributions to open-source projects like Vowpal Wabbit. Her algorithms are deployed in production systems at Facebook and Baidu. Awards: NSF CAREER Award Alfred P. Sloan Fellowship IBM Global University Program Academic Award (2x) Columbia University Presidential Fellowship Advising & Labs: Leads LSL, supervising interdisciplinary projects in optimization and autonomy. Actively involved in NYU's Modern AI seminar series and industry partnerships through CATT. Personal Interests: Accomplished pianist, salsa dancer, and fashion design enthusiast with notable performances and certifications in dance and music.
T. S. Eugene Ng is a Professor of Computer Science and Electrical & Computer Engineering at Rice University. He holds appointments in both departments and chairs the CS Grad Committee. His research focuses on network architectures, optical networking, and machine learning applications in distributed systems. Education: B.S. in Computer Engineering (with distinction and magna cum laude), University of Washington M.S. and Ph.D. in Computer Science, Carnegie Mellon University Research Interests: Developing robust network infrastructure, optical circuit-switched systems, congestion control, and efficient machine learning frameworks. Current projects include BOLD (Big data and Optical Lightpaths Driven) networking, telemetry systems like Söze, and gradient compression techniques for distributed training. Awards: IEEE Fellow (2023) Alfred P. Sloan Research Fellow (2009) National Science Foundation CAREER Award (2005) IBM Faculty Award (2009) Kavli Fellow Professional Activities: Chair of the 2018 ACM SIGCOMM Distinguished Dissertation Award Committee, Associate Editor for IEEE Transactions on Big Data, and organizer of multiple networking conferences/workshops. Active in program committees for SIGCOMM, NSDI, and CoNEXT. Teaching: Courses include Introduction to Computer Networks, Advanced Computer Networks, and seminars in distributed computing and network systems.
Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.
Alfred O. Hero, III is the John H. Holland Distinguished University Professor of Electrical Engineering and Computer Science and the R. Jamison and Betty Williams Professor of Engineering at the University of Michigan, Ann Arbor. He is currently on leave from the University of Michigan as a Program Director in the CISE Directorate at the National Science Foundation. His primary appointment is in the Department of Electrical Engineering and Computer Science (EECS), with secondary appointments in the Department of Biomedical Engineering and the Department of Statistics. He is also affiliated with the UM Center for Computational Medicine and Bioinformatics (CCMB), the UM Graduate Program in Applied and Interdisciplinary Mathematics (AIM), the UM Applied Physics Program, and the Michigan Institute for Data Science (MIDAS), which he co-founded from 2015-2018. Hero's research focuses on data science, developing theory and algorithms for multimodality data collection, fusion, analysis and visualization that use statistical machine learning and distributed optimization. His work has applications in wearable technologies for personalized health and predictive medicine, spatio-temporal networks in biology, climate, and social discourse, anomaly detection, and data analysis for international security. His recent research interests include high dimensional spatio-temporal data analysis, multimodal data integration, statistical signal processing, and machine learning, with particular emphasis on predictive mathematical models for biological and physical sciences, social networks, network security and forensics, and personalized health and disease. His recent publications demonstrate a strong focus on high-dimensional statistical methods, contrastive learning, neural network optimization, change detection in temporal graphs, and applications in microbiome analysis and epidemic modeling. The research spans theoretical foundations in information theory and statistical learning while addressing practical applications across multiple domains. Scientific Awards: IEEE Signal Processing Society Best Paper Award (1998) Best Original Paper Award from Journal of Flow Cytometry (2008) Best Magazine Paper Award from IEEE Signal Processing Society (2010) SPIE Best Student Paper Award (2011) IEEE ICASSP Best Student Paper Award (2011) IEEE Signal Processing Society Technical Achievement Award (2014) IEEE Signal Processing Society Society Award (2015) IEEE Fourier Award (2020) University of Michigan Distinguished Faculty Achievement Award (2011) Hero has advised over 60 PhD students and 30 postdocs in areas including modeling, computation, and inference for large scale time varying data in the biosciences. He has received significant research funding from the Department of Energy, Army Research Office, Air Force Office of Scientific Research, and National Science Foundation. He has held leadership positions including President of the IEEE Signal Processing Society (2006-2007), Director of Division IX (Signals and Applications) on the IEEE Board of Directors (2009-2011), and Chair of the Committee on Applied and Theoretical Statistics of the US National Academies (2018-2020).
Professor Tulika Mitra is the Dean of the School of Computing and Vice Provost (Special Projects) at the National University of Singapore (NUS). She holds the Provost’s Chair Professor in the Department of Computer Science and has been instrumental in shaping academic policies and strategic initiatives at NUS since joining in 2001. PhD in Computer Science, Stony Brook University (2000) M.E. in Computer Science, Indian Institute of Science (1997) B.E. in Computer Science, Jadavpur University (1995) Her research focuses on hardware-software co-design for energy-efficient computing systems, particularly in real-time embedded systems, heterogeneous architectures, and AI accelerators. She leads major research programs such as the NRF Competitive Research Programme on Low-Power Edge Accelerators and the MOE Tier-3 Programme on Green AI , collaborating with industry leaders like ARM, AMD, and Meta. Her recent publications highlight innovations in CGRA optimization , sparse attention mechanisms , photonic-digital hybrid architectures , and low-power ML inference . These works often integrate compiler techniques, architectural design, and real-time constraints for edge computing applications. Scientific Awards : ESWEEK Test-of-Time Award (2022), ACM SIGDA Distinguished Service Award, IEEE CEDA Outstanding Service Recognition Award, Teaching Excellence Award (2006), and multiple best paper recognitions. Education Leadership : Spearheaded the Computer Engineering (CEG) Programme at NUS, a joint initiative between Engineering and Computing. As a mentor , she has supervised over 25 PhD students , many now in prominent academic or industrial roles. Her research group eCO Lab focuses on embedded computing challenges, while her grant collaborations include projects on 5G base stations, reconfigurable architectures, and IoT-optimized SoCs.
Margaret P. Chapman is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Toronto's Faculty of Applied Science and Engineering. She leads the DATA Lab (Decision Analysis for Trustworthy Autonomy), focusing on risk-averse and stochastic control theory with applications to environmental and human health. Education: B.S. and M.S. in Mechanical Engineering from Stanford University (2012, 2014), Ph.D. in Electrical Engineering and Computer Sciences from UC Berkeley (2020, advised by Claire Tomlin) Her research bridges robust and stochastic optimal control via risk measure theory, emphasizing safety-critical applications in healthcare and sustainable cities. Key challenges include scalable risk-sensitive control methods, integrating physics-based and data-driven models for safety analysis, and promoting technologies that enhance planetary and human well-being. Recent publications focus on risk-averse autonomous systems, CVaR-based safety analysis, and multi-time-scale modeling for cancer treatment. She has advised students in both graduate and undergraduate research roles, including NSERC awardees and thesis participants. Awards: US National Science Foundation Graduate Research Fellowship, Berkeley Fellowship, Terman Engineering Scholastic Award, Leon O. Chua Award She teaches courses like ECE 557 (Linear Control Theory) and ECE 1643 (Risk-Averse Control with Learning). Her invited talks span institutions such as MIT, Princeton, and Georgia Tech, highlighting risk-sensitive analysis and control for trustworthy autonomy.
Virginia Smith is the Leonardo Associate Professor of Machine Learning at Carnegie Mellon University's School of Computer Science, with a courtesy appointment in the Electrical and Computer Engineering Department. She leads research addressing critical challenges in machine learning systems, particularly focusing on safety and efficiency. Her research interests span federated and collaborative learning, efficient training methods, data privacy, and AI safety. Recent work has explored topics such as model unlearning, LLM security, and resource-efficient distributed learning systems. She has made significant contributions to understanding how to make machine learning systems more robust, private, and efficient while maintaining performance. Professor Smith's publication record demonstrates a clear progression toward addressing practical challenges in deploying machine learning systems at scale. Her recent work shows strong emphasis on large language model safety, privacy-preserving techniques, and efficient distributed learning approaches. The research spans theoretical foundations to practical implementations, with numerous papers appearing in top-tier venues including NeurIPS, ICML, ICLR, and MLSys. AFOSR Young Investigator Award Sloan Research Fellowship 2023 Samsung AI Researcher of the Year Best Paper Award at ICML 2025 Exploration in AI Workshop Outstanding Paper Award at MLSys 2023 As an educator, Professor Smith mentors numerous PhD students and postdocs while teaching advanced machine learning courses at CMU. She serves as Program Chair for ICML 2025 and co-organizes a semester program on Federated and Collaborative Learning at the Simons Institute. Her research group maintains strong collaborations with industry partners including Amazon, where she has received research awards.
