Find Academic Supervisors

Daniel BarowyView profile

Associate Professor

• Programming Languages
• End-user Programming
• Spreadsheets
• +4 more

Daniel Barowy is an Associate Professor in the Department of Computer Science at Williams College. His academic journey includes a Ph.D. in Computer Science from the University of Massachusetts Amherst (2017), an M.S. in Computer Science from UMass Amherst (2013), a B.S. in Computer Science from Boston University (2010), and a B.A. in Legal Studies and Philosophy from UMass Amherst (2002). Education: Ph.D. Computer Science, University of Massachusetts Amherst, 2017 M.S. Computer Science, University of Massachusetts Amherst, 2013 B.S. Computer Science, Boston University, 2010 B.A. Legal Studies and Philosophy, University of Massachusetts Amherst, 2002 Daniel Barowy's research focuses on programming languages, particularly in the domain of end-user programming and human-computer interaction. His work centers on improving spreadsheet programs' reliability and enhancing human-in-the-loop algorithms. He explores how programming language technology can be applied to emerging domains such as crowdsourcing and data analysis. His research often blends traditional programming language techniques like program analysis with statistical methods to create tools that make programming more accessible and robust for non-experts. His publication record shows a consistent focus on improving spreadsheet reliability (ExceLint, CheckCell, FlashRelate) and integrating human computation with programming languages (AutoMan, VoxPL). His work spans multiple prestigious venues including PLDI, OOPSLA, CHI, and USENIX ATC, demonstrating both theoretical rigor and practical impact. The most recent work (Riker) focuses on build systems, showing an expansion of his research interests while maintaining the core theme of improving software reliability. Scientific Awards: Best Paper Award at USENIX ATC 2022 for "Riker: Always-Correct and Fast Incremental Builds from Simple Specifications" PLDI 2015 Distinguished Artifact Award for "FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples" Research Highlight in Communications of the ACM for AutoMan Verified artifact badges for CheckCell, ExceLint, and FlashRelate Barowy actively mentors students, as evidenced by his detailed process for providing letters of recommendation. His teaching portfolio includes core computer science courses like Principles of Programming Languages (CSCI 334) and Introduction to Computer Security (CSCI 331). He has developed educational tools like SWELL for introductory programming education. His research is supported by grants from the National Science Foundation (CCF-1144520, CCF-0953754) and DARPA (N10AP2026), with additional support from Microsoft Research. Barowy leads research projects that often result in open-source software tools including ExceLint (an Excel plugin for finding formula errors), AutoMan/VoxPL (a DSL for crowdsourcing), and several related tools for spreadsheet analysis and crowdsourcing integration. His work bridges theoretical programming language concepts with practical applications that directly benefit end-users.

Shikha SinghView profile

Assistant Professor

• Algorithmic Game Theory
• Algorithms & Data Structures
• Theoretical Computer Science
• +3 more

Shikha Singh is an Assistant Professor of Computer Science at Williams College. She holds a PhD from Stony Brook University (2018) and an Integrated BSc & MSc from IIT Kharagpur (2013). Her research focuses on algorithmic game theory, algorithms with predictions, and data structure optimization. She has received tenure at Williams College and was recognized for her work on adaptive filters at ESA 2021 and NeurIPS 2023. Education: PhD, Stony Brook University (2018); Integrated MSc & BSc, IIT Kharagpur (2013) Research Interests: Algorithmic game theory, adaptive and I/O-efficient algorithms, data structures with predictions. She explores how incentives influence algorithm outcomes and designs efficient algorithms for big data challenges. Key Contributions: Her work on online list labeling with predictions (NeurIPS 2023) and incremental shortest path algorithms (ICALP 2025) highlights her focus on predictive algorithms. Collaborations include visits to Carnegie Mellon University and Dagstuhl seminars. Awards: COCOA 2017 Best Paper Runner-Up, NeurIPS 2023 Spotlight Advising: Advised David Lee on adaptive filters (ESA 2021). Active in program committees for Euro-Par, TAMC, and ALENEX. Labs/Teams: Collaborates with Benjamin Moseley on scheduling and data structure research. Part of Williams College’s vibrant CS department.

• Artificial Intelligence
• Theoretical Computer Science
• Automated Reasoning
• +3 more

Martin Kronegger serves as a Senior Lecturer in the Department of Automation Systems at Vienna University of Technology (TU Wien), where he teaches courses including Fundamentals of Digital Systems, Computer Engineering Projects, and Scientific Projects in Computer Science for the 2025W and 2026S semesters. His academic profile demonstrates active engagement in both teaching and research within the Faculty of Electrical Engineering and Information Technology. Dr. Kronegger's research centers on theoretical foundations of artificial intelligence with emphasis on parameterized complexity, automated planning, and answer set programming. His work bridges theoretical computer science with practical applications in knowledge representation and reasoning, as evidenced by publications in premier venues like Artificial Intelligence journal and AAAI conferences. Key research themes include: Backdoor techniques for planning problems Parameterized complexity analysis of AI problems QBF solving for conformant planning SAT-based verification methods for software models His publication landscape reveals consistent contributions to parameterized complexity theory applied to planning and logic programming from 2011-2019, with significant work on multiparametric analysis of answer set programming and SAT-based approaches to planning problems. The research trajectory shows deepening theoretical contributions while maintaining connections to practical AI applications. Dr. Kronegger has supervised at least one diploma thesis on planning solvers and has participated in major research projects including FAIR (2013–2018), START (2014–2022), and X-TRACT (2014–2018). His project work demonstrates sustained collaboration with research groups at TU Wien focused on computational logic and automated reasoning. Based in the Automation Systems research group (E191-03) at TU Wien's Treitlstraße campus, he maintains active research collaborations through projects like the START program and contributes to the international answer set programming community as evidenced by involvement in the Fourth Answer Set Programming Competition.

Annalena UlschmidView profile

Researcher

• Physically-based Rendering and Simulation
• Statistics / User Studies
• Incremental Path Tracing for Scene Editing
• +4 more

Annalena Ulschmid is a PreDoc Researcher at the Vienna University of Technology , affiliated with the Faculty of Informatics and the Computer Graphics group. She holds an MSc and contributes to research in physically-based rendering , user studies , and real-time graphics algorithms . Research spans incremental path tracing , alternative rendering datastructures , and probabilistic models for participating media . Key projects include ACD (Automated Prioritization for Context-Aware Re-rendering) (2020–2028) and IVILPC (Single-Exemplar Lighting Style Transfer) (2023–2026). She teaches courses like Computer Graphics , Fundamentals of Computer Graphics , and Rendering . Publications focus on real-time rendering , VR accessibility , and lighting style transfer . Her work has been recognized with the Best Student Paper Award at VISIGRAPP 2025 . Notable collaborations include Michael Wimmer and Katharina Krösl . Further details are available via her ORCID profile and GitHub repository .

• Automated Reasoning
• Knowledge Representation and Reasoning
• Computational Logic
• +5 more

Uwe Egly is an Associate Professor at the Department of Knowledge-Based Systems, Faculty of Informatics, Technische Universität Wien (TU Wien). His research focuses on automated reasoning, proof theory, knowledge representation, and computational logic, with a strong emphasis on quantified Boolean formulas (QBFs), argumentation frameworks, and applications of AI in engineering. He leads projects funded by the Austrian Science Fund (FWF) and the Vienna Science and Technology Fund (WWTF), including the Boolean project (2011–2019) and FAME (2011–2014). Egly is known for developing QBF solvers like DepQBF and contributing to SAT-solving techniques. He teaches courses such as Abstract Argumentation , Formal Methods in Computer Science , and Quantum Computing . His research interests span proof complexity, satisfiability checking, and AI-driven algorithms for path planning. He has advised numerous students on theses involving quantum algorithms, QBF solver optimizations, and argumentation frameworks. Egly’s work bridges theoretical computer science with practical applications, including contributions to deformation monitoring systems and circuit synthesis using SAT-based methods. He is involved in international workshops and conferences, such as SAT, FMCAD, and Dagstuhl Seminars, and has edited proceedings for events like SAT 2014 . His collaborations include projects on scenario-based testing of UML diagrams and semantics-aware model versioning. Egly’s interdisciplinary approach integrates logic, artificial intelligence, and computational methods to solve complex theoretical and applied problems.

Andrew WedelView profile

Professor

• Phonology
• Language Evolution
• Computational Linguistics
• +3 more

Andrew Wedel is a Professor of Linguistics at the University of Arizona. His research focuses on phonology, language evolution, and computational models of linguistic patterns. He investigates how phonological systems and lexicons evolve under pressures of communicative efficiency, incremental processing, and probabilistic optimization. Key research themes include: Phonological contrast maintenance and neutralization Lexical structure optimization (e.g., Huffman coding principles) Evolutionary simulation of language change Interaction between speech production/perception and lexicon design His work bridges theoretical linguistics, psycholinguistics, and computational modeling, often using evolutionary algorithms to explain cross-linguistic patterns. Notable contributions include demonstrating how predictability shapes phonological patterns and how word-initial information is prioritized in phonological systems. Education: Ph.D. in Linguistics (2004).

• Manufacturing Engineering
• Sustainable Manufacturing
• Additive Manufacturing
• +4 more

Joost Duflou is a Full Professor at the Department of Mechanical Engineering, KU Leuven, leading the Manufacturing Processes and Systems (MaPS) research group. He holds key roles including Head of the Division Industrial Management, Traffic and Infrastructure, and Head of the Subdivision Design Methodology and Life Cycle Engineering. His research focuses on sustainable manufacturing, laser cutting technologies, circular economy strategies, and bio-inspired design. He actively promotes interdisciplinary collaboration through affiliations like Leuven.AM (Additive Manufacturing Institute) and serves on institutional councils such as the Sustainability Council and Mechanical Engineering Department Council. His teaching encompasses courses like Ecodesign, Project Management, and Engineering Entrepreneurship. Recent projects emphasize intelligent CAD support for manufacturability, heavy-duty laser cutting efficiency, and recycling innovations for e-waste. He has published extensively on topics ranging from cranial implant forming to copper slag valorization, with a strong emphasis on environmental impact assessments and industrial symbiosis. Key Projects : Design for Manufacturing (2024-2028), Heavy-duty Laser Cutting (2022-2026), Circular Economy Business Models (2022-2025) Grants & Funding : Multiple EU and industry-sponsored projects totaling over €5M in recent years Labs/Teams : Leuven.AM Institute, MaPS Research Group

• Big Data
• Data Storage Technology
• Spatial Data Management
• +9 more

Thomas Heinis is a Professor in Computing at Imperial College London. He leads the SCALE Lab and conducts research in DNA data storage and high-performance data analytics. His academic journey includes a Ph.D. and M.Sc. in Computer Science from ETH Zürich, a Postdoctoral fellowship at EPFL’s DIAS Lab, and a Fulbright Scholarship at Purdue University. He specializes in scalable data management techniques for scientific and spatial datasets, novel hardware optimization, and interdisciplinary applications such as medical data analysis. Education: Ph.D. and M.Sc. in Computer Science, Swiss Federal Institute of Technology in Zürich (ETH Zürich) Postdoctoral Fellow, DIAS Lab, EPFL Fulbright Scholarship, Purdue University (2002–2004) Research Interests: Big Data and Distributed Processing Spatial Data Indexing and Visualization High-Performance Computing (HPC) Data Analytics Data Management on Novel Hardware (e.g., neuromorphic systems) Synthetic DNA Storage Technology Interdisciplinary Applications in Medicine and Neuroscience Recent Work Trends: Heinis’s publications emphasize innovative storage solutions like Motif-based DNA encoding, efficient spatial indexing algorithms (e.g., FLAT, SCOUT, TOUCH), and machine learning-driven approaches for healthcare and scientific data analysis. His work bridges computational methods with real-world applications in neuroscience, medicine, and environmental science. Scientific Awards: SystemsX Interdisciplinary Ph.D. Fellowship (2007) Finalist, Venture Leaders Entrepreneurship Competition (2007) Finalist, Purdue Burton D. Morgan Entrepreneurship Competition (2003) Fulbright Scholarship (2002–2004) Advising & Grants: Supervises Ph.D. students in scientific data management, spatial data, and DNA storage. Funding opportunities include Marie-Curie post-doctoral fellowships, CSC Imperial Scholarships, and others. His lab actively collaborates with institutions like the Blue Brain Project and explores scalable tools for data-driven research. Labs & Teams: Leader of the SCALE Lab at Imperial College. Collaborations with the Blue Brain Project (BBP) on neuroscientific data management.

Sara BeeryView profile

Assistant Professor

• Computer Vision
• Artificial Intelligence
• Environmental Science
• +3 more

Sara Beery is an Assistant Professor at the Massachusetts Institute of Technology (MIT), affiliated with the Department of Electrical Engineering and Computer Science and the Computer Science and Artificial Intelligence Laboratory (CSAIL). Her research focuses on leveraging computer vision for environmental sustainability and conservation challenges. Beery's work spans computational vision, self-supervised learning, and multimodal AI systems. She has contributed to advancements in neural latent dynamics, face recognition bias analysis, and spatio-temporal dataset creation for autonomy. Her recent publications emphasize computer vision applications in conservation, medical imaging, and robotics. Notable topics include synthetic image generation, denoising low-SNR video, and cell segmentation using foundational AI models. Scientific Awards Resnick Graduate Scholar

• Deep Learning
• Computer Vision
• Medical Image Understanding
• +3 more

Adrian Barbu is a Professor in the Department of Statistics at Florida State University. His research focuses on deep learning, computer vision, and medical image understanding, with applications in feature selection, unsupervised learning, and scalable algorithms. He has contributed to advancements in neural networks, probabilistic models, and medical imaging technologies. His work spans theoretical developments in machine learning, including stochastic optimization, clustering methods, and feature selection techniques. Notable contributions include PCA-UNET architectures, compact support neural networks, and methodologies for automated image analysis in healthcare and materials science. Barbu's publications explore cutting-edge topics like semi-supervised few-shot learning, hierarchical classification systems, and the application of Monte Carlo methods in complex data analysis. His research often bridges theory and practice, addressing challenges in big data, real-time processing, and medical diagnostics. While no specific awards are listed, his extensive publication record highlights a prolific career in advancing machine learning and computational methods across interdisciplinary domains.

Tung KieuView profile

Assistant Professor

• Data Science
• Time Series Analysis
• Forecasting
• +4 more

Tung Kieu is a Tenure Track Assistant Professor in the Department of Computer Science at Aalborg University (Denmark), affiliated with The Technical Faculty of IT and Design and the Daisy Center for Data-intensive Systems. His research focuses on data engineering, time series analysis, anomaly detection, and machine learning applications in traffic forecasting and smart systems. Education: Ph.D. in Computer Science (Awarded May 2021). Research interests include time series forecasting, traffic modeling, robust autoencoder architectures for anomaly detection, and spatio-temporal data analysis. His work contributes to UN Sustainable Development Goals related to smart cities and infrastructure. Recent publications explore bias mitigation in text-video retrieval (BiMa), topology-aware traffic forecasting (TEAM), and stochastic routing in uncertain road networks. His frameworks emphasize lightweight algorithms (LightTS), causal relational learning, and continual calibration for quantized models (QCore). Collaborations involve international teams in data management and AI, with notable work on ensemble methods, explainable AI, and transfer learning in smart building systems.

Marcello BalducciniView profile

Associate Professor

• Knowledge Representation & Reasoning
• Ontologies
• Agent Architectures
• +6 more

Marcello Balduccini is the Department Chair and Associate Professor of Decision and System Sciences at Saint Joseph's University's Erivan K. Haub School of Business. His research focuses on knowledge representation & reasoning, ontologies, agent architectures, and cybersecurity applications in cyber-physical systems (IoT) and cognitive robotics. He previously held roles as an Assistant Research Professor at Drexel University and Principal Research Scientist at Kodak Research Labs. Research Interests: Knowledge Representation & Reasoning Cyber-Security and Cyber-Analytics Ontology-Based Systems Natural Language Understanding Constraint Satisfaction Problems Trustworthiness in AI/Robotics Recent work emphasizes explainable AI (XAI) systems for Answer Set Programming (ASP), cybersecurity frameworks, and formal methods for cyber-physical systems. His over 100 publications span conferences like LPNMR and ICLP, addressing topics from actual causation to autonomous UAV mission planning. Dr. Balduccini has organized international conferences and received grants supporting AI research, including travel grants for knowledge representation conferences. His work bridges theoretical advancements with practical applications in smart grids, supply chain management, and SDG-aligned AI systems.

• Computer Science
• Software Verification
• Static Analysis
• +4 more

Pietro Ferrara is an Associate Professor in the Department of Environmental Sciences, Informatics and Statistics at Ca' Foscari University of Venice. His research focuses on applying abstract interpretation-based static analysis to address security vulnerabilities in software systems, particularly in blockchain smart contracts, IoT devices, and distributed systems. He is a member of the Software and System Verification group and has contributed to frameworks like LiSA for multilanguage static analysis. Teaching responsibilities include courses such as Software Architectures, Object-Oriented Programming, and Introduction to Coding and Data Management across undergraduate and graduate programs. His work emphasizes formal verification techniques, cybersecurity, and privacy enforcement in modern software systems. Recent research explores static analysis for detecting concurrency issues in Hyperledger Fabric, vulnerabilities in Go-based smart contracts, and GDPR-compliant privacy analysis. Ferrara collaborates with industry on practical applications of formal methods, including security policy extraction for ROS2 and industrial blockchain software determinism. His research has been published in top venues such as ACM SAC and IEEE Access, with a strong focus on bridging theoretical program analysis with real-world software systems. He maintains an active presence in open-source tools and educational materials for static analysis techniques.

Sean GrimesView profile

Academic

• Swarm Intelligence
• Biologically Inspired AI
• Multi-Agent Systems
• +7 more

Sean Grimes is an Assistant Teaching Professor in the Department of Computer Science at Drexel University's College of Computing & Informatics. He has been actively involved in teaching and research since 2015, earning his PhD in 2023 and transitioning into a full-time faculty role in 2022. Education: PhD in Computer Science, Drexel University, College of Computing & Informatics (2016–2023) MS in Computer Science, Drexel University, College of Computing & Informatics (2015–2018) BS in Neuroscience, Ursinus College (2008–2012) His research focuses on biologically inspired artificial intelligence, particularly swarm intelligence, multi-agent systems, and prediction mechanisms grounded in wisdom-of-crowds theory. He integrates principles from neuroscience and AI to develop modular, distributed systems capable of collective decision-making. His work emphasizes transparency, adaptability, and privacy in machine learning models. The recent publications highlight a consistent trend in developing agent-based systems for classification and prediction, with applications ranging from sports betting to medical diagnostics. These systems leverage swarm intelligence and biological metaphors to improve accuracy, reduce training time, and allow for incremental feature integration without retraining. The research demonstrates strong interdisciplinary potential, bridging computer science, biology, and cognitive science. While no formal scientific awards are listed, his peer-reviewed publications in journals such as Future Internet , Applied Sciences , and conference proceedings like IEEE BIBM reflect scholarly recognition and impact. Grimes has been deeply involved in mentoring and teaching, serving as a Teaching Assistant, Senior Teaching Assistant, and now Assistant Teaching Professor. He has developed course materials, led lectures, and supported student learning across multiple computer science courses. His entrepreneurial experience includes co-founding Ecodren Research and Irregex, where he applied AI to real-world problems in feedback systems and data analysis. He has not received external grant funding explicitly mentioned in the text. His research was conducted within the Geometric Biomedical Computing Group at Drexel University, where he collaborated on biologically inspired AI projects. His work on WoC-Bots and Ortus represents ongoing efforts to build intelligent systems modeled on biological principles.

Vincent NgView profile

Assistant Professor

• Industrial/Organizational Psychology
• Character Assessment and Development
• Well-being
• +7 more

Vincent Ng is an Assistant Professor in the Department of Psychology at the University of Houston, within the College of Liberal Arts and Social Sciences. His research centers on industrial-organizational psychology, with a focus on character, well-being, and leadership development. He employs advanced methodologies, including machine learning and big data analytics, to study moral attributes and personality in organizational contexts. Dr. Ng earned his educational degrees as follows: B.A. in Psychology, Vassar College M.S. in Industrial/Organizational Psychology, Salem State University M.S. and Ph.D. in Industrial/Organizational Psychology, Purdue University His research interests span several interrelated domains: Character assessment and development, particularly how moral attributes are measured and how they evolve The relationship between character cultivation and well-being Leadership development and the role of moral characteristics in effective leadership Methodological challenges in measuring socially desirable traits, with a focus on innovative approaches like forced-choice formats and automated assessment He is also actively involved in advancing measurement techniques, including Likert scale development and ideal point modeling. His recent publications reflect a strong trend toward integrating psychological theory with data science. His work explores character measurement (e.g., CIVIC, forced-choice formats), the application of machine learning in personnel selection, behavioral measures of humility, and automated personality assessment via video interviews. These studies combine rigorous psychometrics with cutting-edge computational methods, positioning his research at the intersection of psychology, organizational behavior, and artificial intelligence. Scientific recognition includes: Houston Bar Foundation award for an outstanding legal article (2008) Dr. Ng mentors students and is accepting new advisees for Fall 2025. He collaborates extensively, particularly with Louis Tay and others in organizational and positive psychology. While specific grant details are not listed, his active publication record and methodological focus suggest involvement in funded research. He is a key contributor to Louis Tay's Lab, focusing on character, well-being, and data science applications in psychology.