Claire Bowern is Professor of Linguistics at Yale University specializing in historical linguistics, language documentation, and Australian Indigenous languages. Her research employs computational phylogenetics to study language evolution and supports language revitalization through digital archives and fieldwork methodologies. Recent publications address: Phylogenetic signal in lexical evolution across language families Digital infrastructure for endangered language documentation (FLEx software analysis) Decolonizing linguistics pedagogy and research practices Her work consistently integrates linguistic, anthropological, and computational approaches to analyze language diversity and change. She contributes to global databases including Grambank and D-PLACE, examining links between linguistic, cultural, and environmental patterns.
Professor Andrew Davison holds the position of Professor of Robot Vision at Imperial College London's Department of Computing. He leads the Dyson Robotics Laboratory and the Robot Vision Research Group, focusing on advancing SLAM (Simultaneous Localization and Mapping) and Spatial AI. His groundbreaking work includes the MonoSLAM algorithm (2003), enabling real-time 3D vision for robotics and AR/VR. Current research emphasizes scalable, semantic-rich Spatial AI systems, as outlined in his FutureMapping papers (2018–2019). Education: BA in Physics (Oxford, 1994), D.Phil. (Oxford, 1998). Postdoctoral work at AIST, Japan (1998–2000), followed by a lectureship at Imperial (2002–present). Industrial collaborations include SLAMcore, a Spatial AI startup, and Dyson Robotics Lab. Over 18 PhD students supervised, many now leading roles at Meta, NVIDIA, SLAMcore, and academia. Notable contributions include DTAM, KinectFusion, and Event Camera SLAM. Recognized for software tools like SceneLib and contributions to robotics benchmarks (SLAMBench). Active on Twitter (@AjdDavison) for research updates.
Dr James Helal is the Assistant Dean for Sustainability and a Lecturer in Construction Management at the Melbourne School of Design (MSD), University of Melbourne. His research focuses on integrating life cycle assessment and computational tools into the structural design of tall buildings, emphasizing embodied carbon reduction. He is recognized for developing software frameworks that automate environmental impact analysis in early-stage structural design. Dr Helal teaches materials, structures, and life cycle assessment in construction management. His pedagogical excellence has earned prestigious awards, including the Edward Brown Award for Teaching Excellence. He coordinates the construction major in the Bachelor of Design program. His research addresses structural optimization, tall building sustainability, and environmental flows. Key contributions include frameworks for reducing carbon emissions in tall building design and critiques of decorative architectural elements' environmental impact. Awards: Structures Best Research into Practice Prize (Institution of Structural Engineers) Open Award for Excellence in Teaching (Faculty of Architecture, Building and Planning) Edward Brown Award for Teaching Excellence (University of Melbourne) Advising & Grants: Coordinates construction curriculum but no explicit student advisee list is provided in texts. His work aligns with sustainability-focused research grants. Labs/Teams: Engaged with MSD’s Future Cities Practice and Construction Innovation initiatives.
Simon King is a Professor of Speech Processing at the University of Edinburgh , affiliated with the School of Philosophy, Psychology and Language Sciences . He serves as Director of the Centre for Speech Technology Research (CSTR) and teaches courses like Speech Processing and Speech Synthesis , while directing the MSc in Speech and Language Processing . Research Interests His research focuses on: Developing new acoustic models (e.g., Linear Dynamical Models, factorial-HMMs) for speech recognition Advancing unit selection and HMM-based speech synthesis Integrating articulatory measurement data for enhanced modeling Exploring perceptual measures in synthesis criteria Building multilingual speech systems to identify universal speech building blocks Publication Trends Simon's recent work emphasizes deep learning (DNNs, LSTMs) in speech synthesis, multilingual frameworks , and articulatory-acoustic feature integration . His studies often bridge grapheme-based modeling , perceptual error reduction , and noise-robust synthesis . Scientific Awards EPSRC Advanced Research Fellowship (2005-2009) Students & Collaborations He has supervised numerous PhD students including Rasmus Dall, Tom Merritt, and Srikanth Ronanki. Current research fellows like Mirjam Wester and Zhizheng Wu contribute to projects such as Natural Speech Technology (NST) and Simple4All .
Gail E. Kaiser is a Professor of Computer Science and the Director of the Programming Systems Laboratory (PSL) in the Computer Science Department at Columbia University. She has been with Columbia University since 1985, becoming a full Professor in 1998. Prof. Kaiser's research spans software engineering, program analysis, software testing, and software security, with recent focus on addressing challenges in AI/ML systems testing and security. Prof. Kaiser received her PhD in Computer Science from Carnegie Mellon University in 1985 and her ScB in Computer Science and Engineering from MIT in 1979. Her dissertation at CMU was titled "Semantics for Structure Editing Environments" under advisor Nico Habermann, and at MIT she completed "Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations" under advisor Al Vezza. Prof. Kaiser's research interests primarily focus on software engineering following a systems building approach, with recent emphasis on static and dynamic program analysis techniques to improve software reliability and security. Since 2005, she has investigated testing "non-testable" programs, particularly in machine learning, data mining, and scientific computing applications where traditional testing oracles are insufficient. She has developed novel techniques and tools for detecting bugs and verifying repairs in complex systems. Concurrently, she has worked on collaboration environments for computational scientists, creating knowledge sharing and domain-aware environments to support scientific workflows. Prof. Kaiser's recent publications demonstrate a strong focus on the intersection of software engineering and artificial intelligence. Her work addresses critical challenges in testing AI systems, code understanding through deep learning, vulnerability detection, and educational tools for computational thinking. There's a clear evolution from traditional software engineering topics toward AI/ML applications, with particular emphasis on metamorphic testing for non-testable systems, code similarity analysis, and educational applications. Prof. Kaiser has received numerous prestigious awards throughout her career: Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025 Best Research Paper Award at 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024 Distinguished Reviewer Awards for ASE 2024 and FSE 2024 ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", July 2023 Best Student Paper Award at ICCE 2021 Multiple ACM SIGSOFT Distinguished Paper Awards dating back to 2014 Presidential Young Investigator in Software Engineering and Software Systems from NSF (1988-1993) Prof. Kaiser has chaired Columbia's doctoral program since 1997 and served on editorial boards including IEEE Internet Computing and as a founding associate editor of ACM Transactions on Software Engineering and Methodology. Her lab has been continuously funded by major agencies including NSF, NIH, DARPA, ONR, NASA, and numerous companies. Current grants include significant NSF funding for secure containers architecture, learning semantics of code for software assurance, and finding semantic security bugs. As Director of the Programming Systems Laboratory (PSL), Prof. Kaiser leads research in software systems, program analysis, and software testing. The lab has developed numerous tools and techniques for software reliability and security, with recent focus on challenges in AI/ML systems. Her work bridges theoretical foundations with practical applications, often resulting in deployable tools that address real-world software engineering challenges.
Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.
Andy Pavlo is an Associate Professor with Indefinite Tenure in the Computer Science Department at Carnegie Mellon University's School of Computer Science. He is an active member of the CMU Database Group and the Parallel Data Laboratory, where he leads research in database management systems with a focus on self-driving architectures, transaction processing, and large-scale analytics. His work bridges academic research and industry applications through projects like NoisePage, OtterTune (which he co-founded and served as CEO before it ceased operations), and Peloton. Dr. Pavlo's research interests span database management systems with particular emphasis on autonomous database architectures that can self-tune and optimize without human intervention. His work explores transaction processing systems that can handle high-throughput workloads while maintaining consistency, and large-scale data analytics techniques that efficiently process massive datasets. He has made significant contributions to query optimization, database extensibility, and automatic database tuning using machine learning techniques. His recent work on database extensibility revealed critical issues in PostgreSQL's extension ecosystem, showing that approximately 16% of extensions are incompatible with at least one other extension due to API violations and memory errors. His research output demonstrates a consistent focus on practical database systems challenges, with recent publications examining database extensibility, user-defined function optimization, and the cyclical nature of database research. The articles show a strong trend toward making database systems more autonomous, with increasing integration of machine learning techniques for automatic tuning and optimization. His work often combines deep theoretical analysis with practical implementation in open-source systems. Dijkstra Award 2024 for contributions to database systems research Dr. Pavlo actively mentors graduate students, with current advisees including Wan Shen Lim, William Zhang, and Sam Arch (co-advised with Todd Mowry). His former students have gone on to successful careers in both industry and academia. He has secured significant research funding through CMU's affiliate program with major database companies including ClickHouse, DataStax, dbt, Firebolt, MotherDuck, RelationalAI, SingleStore, Spiral, PingCAP/TiDB, Yellowbrick, and Yugabyte. His research is supported by these industry partnerships and likely includes NSF funding given his active participation in the database research community. At CMU, Dr. Pavlo leads the Database Group and organizes several seminar series including "SQL or Death," "Database Building Blocks," and "ML⇄DB Technical Talks." These seminars bring together researchers and practitioners to discuss cutting-edge developments in database systems. He also runs a summer research internship program that has attracted students for multiple consecutive years, indicating a strong research group with ongoing projects and funding.
André DeHon is the Oliver C. Boileau Jr. and Nan Eleze Boileau Professor of Electrical Engineering at the University of Pennsylvania, affiliated with Electrical and Systems Engineering (ESE) and Computer and Information Science (CIS). He chairs the Computer Engineering (CMPE) program and directs the CyberSavvy Security Center. His research focuses on reconfigurable computing, FPGA architectures, computer security, and energy-efficient hardware design. He holds a Ph.D. and M.S. from MIT and a B.S. from MIT's Lincoln School. Research interests include reconfigurable computing, FPGA interconnect, hardware security, and fault-tolerant systems. Notable achievements include the SEVER & PROTECT DARPA award and IEEE/ACM Fellowships. Recent work addresses fast FPGA compilation (HiPR, PLD), security through compartmentalization (μSCOPE, SCALPEL), and partial reconfiguration techniques. Teaching includes courses on hardware security, system-on-chip architecture, and digital audio basics. Over 200 publications span FPGA design, network-on-chip optimization, and molecular-scale computing. His labs (Implementation of Computation Group) explore physical implementation of computations through hardware-software co-design.
Kristofer Pister is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He co-directs the Berkeley Sensor and Actuator Center (BSAC) and the Ubiquitous Swarm Lab. His career spans groundbreaking innovations in Micro/Nano Electro Mechanical Systems (MEMS), Control Systems, and Low-Power Circuits, with a focus on Smart Dust and synthetic insects. Education: Ph.D. and M.S. in EECS from UC Berkeley (1992, 1989); B.A. in Applied Physics from UC San Diego (1986). His research areas include MEMS , Control Systems , Robotics , and Integrated Circuits , with recent work on self-powered micro-sensors, crystal-free radios, and interplanetary swarm networks. Key awards include the ISA Albert F. Sperry Founder Award (2009) , Alexander Schwarzkopf Prize (2006) , and the NSF CAREER Award (1996) . He has authored numerous influential publications in wireless sensor networks and microrobotics. His lab, Ubiquitous Swarm Lab , explores distributed robotics and swarm intelligence. Pister emphasizes open collaboration in research, ethical conduct in academia, and efficient resource utilization for graduate students.
Prof. Knut Drescher is an Associate Professor at the Biozentrum, University of Basel , leading a research group focused on bacterial biofilms , swarming , and microbial multicellularity . Previously, he served as a Professor of Biophysics and Max Planck Research Group Leader at Philipps-Universität Marburg (2015-2021) and conducted postdoctoral research at Princeton University. Research Interests: Physical and biological mechanisms of biofilm formation Cell-cell interactions in microbial communities Antibiotic resistance in biofilms Hydrodynamics of bacterial swarms Evolution of cooperation in multispecies biofilms Development of bioimaging software (BiofilmQ, BacStalk) Scientific Awards: 2023: SNSF Consolidator Grant 2019: Heinz Maier-Leibnitz Prize (DFG), VAAM Research Prize, IUPAP Young Scientist Prize 2016: ERC Starting Grant Advising & Grants: Advises PhD and Master's students in microbiology, biophysics, and bioinformatics Secured major grants from ERC , HFSP , and DFG
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.
Fabio Miranda is an Assistant Professor at the Department of Computer Science, University of Illinois at Chicago (UIC) . His research bridges visualization , machine learning , data management , and computer graphics to enable interactive visual analysis of large-scale urban datasets . He has developed systems like UrbanRama (for VR navigation) and The Urban Toolkit (a grammar-based framework), which have been deployed in academia, industry, and government agencies. Education: Ph.D., Computer Science , New York University (2018) M.S., Computer Science , Pontifical Catholic University of Rio de Janeiro (2011) B.S., Computer Science , Federal University of Minas Gerais (2009) Research Interests center on urban visual analytics , 3D analytics , and machine learning for accessibility . His work addresses challenges like sunlight access , sidewalk quality assessment , and commuting flow modeling , often collaborating with urban planners, climate scientists, and occupational therapists. Scientific Recognition includes awards at IEEE VIS , SIBGRAPI , and SIGMOD . His research is funded by NSF , NIH , DOT , and DPI , with media coverage in The New York Times , The Economist , and Architectural Digest . Teaching includes courses like CS 524: Big Data Visualization and Analytics and CS 424: Visualization and Visual Analytics . He emphasizes web-based systems, dataflow frameworks, and interdisciplinary collaboration, with open positions for PhD , MSc , and undergraduate researchers .
Karl Michael Göschka is an Associate Professor at Vienna University of Technology (TU Wien) in the Department of Distributed Systems (E194-02) within the Faculty of Computer Science. His academic title of Privatdozent indicates he has completed habilitation, the highest academic qualification in the German/Austrian system. He maintains an active research and teaching profile with courses scheduled through 2026S, including Bachelor Thesis supervision, Computer Science Projects, and PhD Seminars. His research spans over two decades with consistent publications from 2004 to 2022. Göschka's primary research interests focus on Dependable Distributed Systems, Web Engineering, and the convergence of voice and data technologies. His work demonstrates particular expertise in middleware, service-oriented architecture, wireless sensor networks, and fault tolerance mechanisms. He has supervised numerous master's and diploma theses since 2006, with his most recent doctoral supervision completed in 2022. Göschka's publication record shows a clear evolution from foundational work in distributed systems and replication (2004-2013) to more recent contributions in wireless sensor networks and dependable computing (2020-2022). His research consistently addresses the challenge of balancing dependability, performance, and security in distributed environments, with notable contributions in temporal decoupling techniques and adaptive systems. GIT-Preis des Österreichischen Vereins für Elektrotechnik (1999) Würdigungspreis des Ministeriums für Wissenschaft und Forschung (1998) GIT-Förderpreis des Österreichischen Vereins für Elektrotechnik (1994) Göschka has led and participated in multiple significant research projects including TRADE (2008-2011) on adaptive performance optimization, COMPASS (2005-2007) for automotive software systems, S-Cube (2008-2012), ALL-TIMES (2007-2010), and DeDiSys (2004-2007) on dependable distributed systems. His research has strong practical applications in automotive systems, online auctions, and critical infrastructure monitoring.
Jennifer L. Clarke is a Professor in the Department of Statistics at the University of Nebraska–Lincoln and Director of the Quantitative Life Science Initiative. She holds leadership roles in enabling big data integration across the University of Nebraska system through collaborative research programs. Her affiliations include the Institute of Agriculture and Natural Resources (IANR) and the College of Agriculture and Natural Resources. Dr. Clarke's research focuses on statistical methodology for high-dimensional data, computational biology, bioinformatics, and bacterial genomics. Her work bridges statistical innovation with applications in oncology, microbiome analysis, and agricultural phenomics. Key areas include predictive modeling, machine learning, and genomic/metagenomic data integration. Her recent publications span cancer biomarker discovery, plant phenotyping methodologies, and microbial community analysis, reflecting her interdisciplinary approach. Articles emphasize translational applications like therapeutic target identification and precision agriculture. Dr. Clarke leads initiatives fostering collaboration between statisticians and domain scientists, including the Quantitative Life Science Initiative and contributions to the Agricultural Genome-to-Phenome Initiative (AG2PI). Her work advances data-driven solutions for healthcare and food security challenges. Notable projects include developing statistical tools for microbiome studies, analyzing root architecture via 3D imaging, and investigating cranberry-derived compounds' cancer-inhibitory mechanisms. Her methodological contributions include hybrid clustering techniques and predictive model validation frameworks.
Conor Ryan is a Professor in the Department of Computer Science & Information Systems at the University of Limerick. He is a Science Foundation Ireland-funded Investigator since 2002 and a member of multiple research centres including Lero – the Irish Software Research Centre and the Limerick Digital Cancer Research Centre. His research focuses on Genetic Programming, Grammatical Evolution, and their applications in domains like healthcare analytics, digital circuit design, and financial modeling. He has authored over 250 publications, with recent work emphasizing automated feature selection in medical diagnostics, neural architecture search, and blockchain ecosystems. Teaching includes courses on Foundations of Computer Science and Computer Games Programming. Research interests span evolutionary computation, machine learning, and interdisciplinary applications. Collaborations involve global institutions, reflecting his work's impact across computer science, engineering, and healthcare. His research has addressed challenges in breast cancer diagnosis via genetic algorithms, cryptocurrency volatility prediction using random forests, and automated generation of digital circuits. Ongoing projects explore interpretability in AI, energy-efficient computing, and sustainable transport systems through predictive analytics. Professional memberships include roles in the Centre for Research Training in Foundations of Data Science and the Data-Driven Computer Engineering Research Centre, underscoring his commitment to interdisciplinary innovation.
