Wenchao Li is an Assistant Professor in the Department of Electrical and Computer Engineering at Boston University, directing the Dependable Computing Laboratory. He holds a B.S., M.S., and Ph.D. in Electrical Engineering and Computer Sciences, along with a B.A. in Economics from UC Berkeley. His research focuses on dependable computing, applying formal verification, machine learning, and control theory to cyber-physical systems, electronic design automation, and AI safety. Key research interests include neural network verification, safe reinforcement learning, autonomous systems security, and resilient control strategies for connected vehicles. His work emphasizes provable safety guarantees and defense against adversarial attacks in critical infrastructure systems. Notable awards include the ACM Outstanding Ph.D. Dissertation Award and the Leon O. Chua Award. His lab investigates topics such as neural network repair, secure multi-robot coordination, and formal methods for autonomous systems. He advises students like Jiameng Fan and collaborates on projects funded by grants in AI safety and cyber-physical systems. Labs/Teams: Dependable Computing Laboratory Grants: Focus on formal verification, AI safety, and autonomous systems resilience
Dr. Tim Oates is a Professor in the Department of Computer Science and Electrical Engineering at the University of Maryland, Baltimore County . His research spans machine learning, artificial intelligence, and brain-machine interfaces, with a focus on weakly supervised methods, human-in-the-loop reinforcement learning, and grounded policy development for robotics. Ph.D., Computer Science, University of Massachusetts, Amherst, 2000 M.S., Computer Science, University of Massachusetts, Amherst, 1997 B.S., Computer Science and Electrical Engineering, 1989 Current research threads include: Developing non-invasive brain injury severity assessment via medical time series Modeling human brain development through computational frameworks Designing algorithms for autonomous robotic learning Recent publications highlight AI security mechanisms (backdoor detection via tensor decomposition, matrix factorization) Medical applications (3D artery reconstruction, skin lesion diagnosis, EEG denoising) Neuro-symbolic integration (holographic representations, language-guided reinforcement learning) Mathematical reasoning (schema-based problem solving, subitizing algorithms) Contact: oates@cs.umbc.edu | Office: 336 Information Technology and Engineering (ITE) Building
Johannes Brandstetter is an Associate Professor at the Institute for Machine Learning at Johannes Kepler University Linz (JKU) where he leads the "AI for data-driven simulations" research group. He is also Co-founder and Chief Scientist at Emmi AI, bridging academic research with industrial applications in AI-driven physics simulation. Brandstetter earned his PhD after working at CERN's CMS experiment on Higgs boson physics. In 2018, he transitioned to machine learning, joining Sepp Hochreiter's research group in Linz. From 2021-2023, he worked at the Amsterdam Machine Learning Lab under Max Welling and Microsoft Research, developing expertise in Geometric Deep Learning and neural surrogates for partial differential equations. He returned to JKU in October 2023 to establish his own research group. His research spans Machine Learning, Deep Learning, and Physics-Informed Machine Learning with focus areas including Neural PDE solvers, Computational Fluid Dynamics, and Climate Modeling. Brandstetter believes AI is poised to revolutionize industrial-scale simulations, potentially saving thousands of compute hours across engineering domains. His work integrates computer vision, numerical simulation, and engineering components to advance data-driven approaches. Recent publications reveal a strong trend toward foundation models for scientific applications, particularly in atmospheric modeling (Aurora), geometric deep learning, and neural surrogates for complex physical systems. His interdisciplinary work spans computer vision, climate science, computational physics, and engineering, demonstrating the versatility of his research approach. Principal Investigator for "AlKa-DL: Alpine karst spring discharge prediction" (FWF-funded, 2024-2027) Principal Investigator for Cluster of Excellence "Bilateral Artificial Intelligence" (FWF-funded, 2024-2029) Co-PI for "Fast, efficient and flexible CFD simulation through generative AI" (FFG-funded, 2025-2026) As an educator and researcher, Brandstetter actively engages with the scientific community through invited talks at major conferences including presentations on "Closing the Gap Between Scientific Foundation Models and Real-World Applications" (March 2025) and "Scientific Machine Learning for Science and Engineering" (February 2025).
Cristiano Politowski is an Assistant Professor in the Department of Computer Science at Ontario Tech University’s Faculty of Science. His research focuses on applying software engineering principles to video game development, with particular emphasis on software testing, artificial intelligence for software engineering (AI4SE), deep reinforcement learning, and empirical software engineering. Education includes a PhD in Computer Science and Software Engineering from Concordia University (2022), supervised by Professors Yann-Gaël Guéhéneuc and Fabio Petrillo. Prior to his current role, he held postdoctoral positions at Université de Montréal and École de Technologie Supérieure in Montréal, Canada. Research interests span game engine architecture analysis, automated testing methodologies for games, and bridging gaps between academic theory and industry practices in software engineering. His work often involves empirical studies on software quality, framework impacts, and event-driven systems. Publications reflect a focus on game development challenges, including studies on API compatibility, subsystem coupling visualization, and AI-driven game balance assessment. He actively contributes to the understanding of software processes in the video game industry through surveys and dataset curation initiatives like PlayMyData.
Paris Avgeriou is a Professor of Software Engineering at the University of Groningen, affiliated with the Faculty of Science and Engineering and the Bernoulli Institute. He leads the Software Engineering and Architecture research group and serves as Editor-in-Chief of the Journal of Systems and Software . His expertise spans technical debt management, software architecture, self-adaptive systems, and embedded systems design. Avgeriou holds an office at Nijenborgh 9, Groningen, and actively advises academic institutions and funding bodies globally. Research Interests: Avgeriou's work focuses on advancing software architecture principles, technical debt lifecycle management, and the integration of AI in software engineering. His research emphasizes practical solutions for improving software quality, maintainability, and system dependability, particularly in embedded and self-adaptive contexts. Recent Contributions: Recent studies include frameworks for benefit-cost-risk decision-making in self-adaptive systems, automated technical debt management using ML, and tools for tracing architecture-related debt. He collaborates internationally, contributing to standards like the Copenhagen Manifesto for human-centered AI in software engineering. Grants & Awards: While no specific awards are listed, his editorial role and frequent conference contributions reflect recognition in the field. He chairs conference tracks and oversees workshops, fostering early-career researchers and artifact evaluation. Labs & Teams: His group is part of the Bernoulli Institute, working on platforms like SDK4ED for embedded systems and tools such as DebtViz for technical debt monitoring. The team explores intersections between systems engineering and software architecture in complex systems-of-systems.
Sharad Mehrotra is a Distinguished Professor at the University of California, Irvine (UCI), leading the Center for Emergency Response Technologies (CERT) and directing the NSF-funded RESCUE project. He previously served at the University of Illinois, Urbana-Champaign, and holds a Ph.D. from the University of Texas at Austin (1993). His research focuses on data management, IoT systems, privacy-preserving technologies, and smart spaces, with contributions to frameworks like TIPPERS and MARS. Education: Ph.D., Computer Science, University of Texas at Austin, 1993 Research Interests: His work bridges database systems, security, and IoT, emphasizing privacy in smart environments. Notable projects include sentient space technologies for disaster response, cryptographic methods for encrypted data queries, and semantic IoT integration. Recent efforts address privacy in multi-owner data systems and resilient community water infrastructure. Awards & Recognition: ACM Fellow (2024) SIGMOD Best Paper (2001), DASFAA Best Paper (2004) NAVWAR Innovation Award (2021) Outstanding Graduate Mentor (2005) Grants & Leadership: As RESCUE PI, he managed $12.5M NSF funding, developing crisis-response software deployed by emergency agencies. Collaborations include the Cal-IT2 institute (UCSD/UCI) and the US Navy’s TIPPERS platform. He co-leads initiatives like the NSF Civic Innovation Challenge for disaster resilience in aging communities. Labs & Teams: Directs UCI’s Information Systems Group and CERT, fostering interdisciplinary research with 60+ members. His teams produce open-source tools (e.g., SEMIoTIC, PrivacySphere) and engage in global partnerships via Fulbright Visiting Scholar programs.
Patrick T. Brandt is a Professor of Political Science, Public Policy, and Political Economy at the University of Texas at Dallas , affiliated with the School of Economic, Political and Policy Sciences . His work integrates advanced statistical methods with political science, focusing on time series analysis, machine learning, and Bayesian modeling to study political dynamics. His research spans international relations , political economy , terrorist targeting , and conflict forecasting . He specializes in developing novel models for event count time series, including the Bayesian Poisson Vector Autoregression and MS-BVAR packages for R. His NSF-funded projects focus on event data generation and real-time conflict forecasting. Recent publications emphasize domain-specific language models (ConfliBERT variants), graph neural networks for conflict prediction, and machine translation challenges in political text analysis. He maintains the OpenEvent Data Repository and develops software like MSBVAR and PESTS for academic use. Scientific Awards : Robert H. Durr Award for Best Methodology Paper, Midwest Political Science Association (2006)
Prof. Dr. Johannes Kinder is a Professor and Chair of Programming Languages and Artificial Intelligence at the Institute of Informatics , Ludwig Maximilian University of Munich. His research focuses on software security through program analysis and machine learning, particularly targeting malware detection , vulnerability analysis , and reverse engineering . He has held faculty positions at Royal Holloway, University of London, and Bundeswehr University Munich. Research Interests include: Securing software systems via program and machine learning techniques Detection of software vulnerabilities and malware Preventing exploitation through binary analysis Applications of formal methods in systems security Recent Publications highlight advancements in binary function embedding , malware detection in npm , and speculative execution attack modeling . His work appears in top venues like USENIX Security and IEEE S&P . Education : Diplom from TU Munich (2005), Doctorate from TU Darmstadt (2010). Professional Roles : General Chair, ACM CCS 2019 Doctoral Symposium Chair, ESSoS 2016 Program Committee member for NDSS 2026, IEEE S&P 2022-2025
Manuel Rigger is an Assistant Professor at the National University of Singapore (NUS), leading the TEST Lab (Trustworthy Engineering of Software Technologies) within the PL/SE group at the School of Computing. His research focuses on improving the reliability of data-centric systems through automated testing frameworks and formal methods. Education : PhD from Johannes Kepler University Linz (supervised by Hanspeter Mössenböck), postdoctoral work at ETH Zurich (Advanced Software Technologies Lab under Zhendong Su). Research Interests : Automated testing of database systems Programming language design and verification Incremental build systems Formal methods for software reliability Key Contributions : Developed tools like SQLancer (for finding bugs in databases) and CERT (performance issue detection). His work has uncovered over 800 bugs in real-world systems. Awards : Recipient of the ERC Consolidator Grant (2025) for groundbreaking research in software security and testing. Service Roles : Organizer of ICFP/SPLASH 2025 Outdoor Activities, committee member for OOPSLA Review, PLDI Artifact Evaluation, and ICSE Program Committee. Also actively involved in organizing workshops (e.g., Fuzzing & Software Security Summer School 2025).
Supriyo Ghosh is a Senior Researcher at Microsoft Research, India. Prior to this role, he held positions at IBM Research AI Lab (2019–2021) and the Institute of Infocomm Research (I2R), A*STAR. He completed his PhD in Information Systems at Singapore Management University (2017) under Prof. Pradeep Varakantham and conducted postdoctoral research at MIT's SMART and LIDS centers (2016–2017). His research focuses on data-driven decision analytics, including algorithmic optimization, reinforcement learning, urban logistics, and network resilience in cyber-physical systems. His work has addressed cloud incident management, proactive decision-making under uncertainty, and applications of large language models (LLMs) in system reliability. Notable contributions include developing automated root-cause analysis frameworks and improving incident response strategies in large-scale cloud environments. He has also explored reinforcement learning applications in healthcare treatment optimization and air traffic control systems. Award-winning research includes the Best Paper Award at ACM SoCC'22 for an empirical study on high-severity cloud service incidents. He actively serves as a PC member for top conferences like AAAI, NeurIPS, and ICML, demonstrating his leadership in advancing AI and optimization fields. His academic background includes a graduate exchange at Carnegie Mellon University (CMU) and collaborations with MIT faculty like Prof. Patrick Jaillet. His work bridges theoretical foundations with real-world applications in transportation, cybersecurity, and enterprise systems.
Dr. Pascal Reuss is a Researcher at the Intelligent Information Systems (IIS) Division within the Institute of Computer Science , University of Hildesheim . His work focuses on Case-Based Reasoning (CBR) systems, Multi-Agent Systems , and Knowledge Management applications. Active in CBR framework development and game-based AI research Teaching Computer Science III (Databases) for winter 2025/26 Participating in university sustainability initiatives like Stadtradeln 2024/25 Reuss contributes to AI education through practical implementations in gaming environments and has developed visualization tools for CBR agent behavior. His research spans multi-agent collaboration , dynamic case bases , and domain-specific language implementations for knowledge maintenance. Notable contributions include: Co-developing the FEATURE-TAK framework for knowledge extraction Designing case factories for distributed CBR systems Implementing finite state machines for tactical game agents Creating CBR-based fitness planning systems His work appears in various CBR and Game Development publications from 2011-2024. The research demonstrates practical applications of CBR in aircraft maintenance diagnostics , training plan generation , and educational technology contexts.
Lionel C. Briand is a Professor of Software Engineering with shared appointments at the University of Luxembourg's SnT Centre for Security, Reliability, and Trust and the School of Electrical Engineering and Computer Science at the University of Ottawa. He holds a Canada Research Chair (Tier 1) in Intelligent Software Dependability and Compliance and serves as Director of Lero, Ireland's national software research center. His academic leadership spans over 25 years of collaborative research with industry partners across automotive, aerospace, energy, financial, and legal domains. Professor Briand's research focuses on software verification and validation, trustworthy AI systems, model-driven engineering, and empirical software engineering methodologies. His work bridges theoretical foundations with industrial applications, particularly in cyber-physical systems where machine learning components interact with safety-critical control systems. He has pioneered techniques for testing AI-enabled systems, GDPR compliance automation, and mutation analysis for space systems. His publication portfolio demonstrates consistent innovation in software testing, with recent emphasis on large language models for test generation, automated compliance checking, and safety analysis of deep neural networks. Key trends include black-box testing methodologies, metamorphic testing for security, and search-based approaches for DNN validation. IEEE Fellow and ACM Fellow IEEE Computer Society Harlan Mills Award (2012) ACM SIGSOFT Outstanding Research Award (2022) IEEE Reliability Society Engineer-of-the-Year Award (2013) ERC Advanced Grant recipient (2016) Fellow of the Academy of Science, Royal Society of Canada (2023) ICSE 2011 Most Influential Paper Award As Director of Lero and holder of a Canada Research Chair, Professor Briand leads major research initiatives including an ERC Advanced Grant on cyber-physical system modeling and testing. His industrial collaborations generate substantial grant funding, particularly in automotive safety validation and regulatory compliance automation. He mentors numerous researchers through his dual appointments and serves on program committees for top software engineering conferences. Professor Briand directs research activities at the SnT Centre's SVV department, focusing on software verification and validation. His team develops practical tools like MASS for space system mutation analysis and COREQQA for compliance requirements understanding, with strong industry adoption in automotive and aerospace sectors.
Dr. Hongsheng Hu is currently a Lecturer in the School of Information and Physical Sciences at the University of Newcastle, Australia, specializing in the Data Science and Statistics focus area. Prior to this position, he served as a Postdoc Research Fellow at CSIRO's Data61 from October 2022 to August 2024. His academic journey includes a Doctor of Philosophy in Computer Systems Engineering from the University of Auckland in New Zealand, establishing his foundation in advanced computing systems. Dr. Hu's research centers on enhancing the trustworthiness of machine learning systems, with particular emphasis on identifying critical privacy vulnerabilities within machine learning models and developing robust defensive strategies. His work spans several key domains including adversarial machine learning (30% focus), statistical data science (30% focus), and data and information privacy (40% focus). He investigates membership inference attacks, machine unlearning techniques, and privacy-preserving mechanisms in federated learning environments. His research addresses fundamental challenges in AI security, exploring how machine learning models can be compromised through sophisticated privacy attacks and developing methods to mitigate these vulnerabilities while maintaining model utility. Analysis of Dr. Hu's publication record reveals a strong research trajectory focused on machine learning security and privacy. His work consistently addresses vulnerabilities in machine learning systems, particularly examining membership inference attacks, machine unlearning mechanisms, and privacy-preserving techniques in federated learning. The research spans top-tier venues including IEEE Security & Privacy, USENIX Security, NDSS, NeurIPS, IJCAI, AAAI, and WWW, demonstrating both technical depth and recognition by the research community. His publications show an evolving focus from foundational privacy attacks to developing more sophisticated unlearning techniques and robust defense mechanisms, with increasing citation counts indicating growing impact in the field. Active Program Committee member for USENIX Security, NDSS, ICLR, IJCAI, WWW, ICDM, ECML, and PKDD Invited reviewer for IEEE Transactions on Information Forensics and Security (TIFS), IEEE Transactions on Dependable and Secure Computing (TDSC), IEEE Transactions on Pattern Analysis and Machine Intelligence (IPAMI), and ACM Computing Surveys (CSUR) Dr. Hu currently serves as Course Coordinator for STAT6020 and STAT2020 Predictive Analytics at the University of Newcastle. As an academic supervisor, he co-supervises one PhD student working on 'Identifying and Mitigating Vulnerability in Recommender Systems' at Macquarie University. His research collaborations span multiple countries, with significant publication counts in Australia (18), China (12), New Zealand (10), and the United States (7), reflecting an active international research network focused on AI security challenges.
Jason Hartline is a Professor of Computer Science at the McCormick School of Engineering, Northwestern University, with a courtesy appointment in Managerial Economics & Decision Sciences. His research bridges computer science and economics, focusing on mechanism design, auction theory, and approximation algorithms. Ph.D. in Computer Science from the University of Washington (2003) Postdoctoral Fellow at Carnegie Mellon University (2003-2004) Researcher at Microsoft Research (2004-2007) His work develops methodologies to analyze and design economic systems using computational theory, particularly in auction mechanisms and non-truthful settings. Key contributions include the textbook Mechanism Design and Approximation and frameworks for Bayesian and prior-independent mechanism design. Recent publications (2018-2023) span topics like non-truthful mechanism learning, multi-dimensional agent modeling, and computational law. Collaborations include researchers from Harvard, Microsoft, and institutions across economics and theoretical computer science. Grants include multiple NSF awards (CCF, ECCS, HDR TRIPODS) for projects in data economics, machine learning integration, and peer grading systems. Former advisees hold academic positions at Stanford, Yale, and Penn State.
Miloš Racković serves as a full Professor in the Department of Mathematics and Informatics at the University of Novi Sad, Serbia. He maintains active academic engagement through the Laboratory for the development of information systems, with his office located in the Information technologies and systems office (DMI&DF) on the second floor, room 49. Contact is available via telephone (485)-2868 or email rackovic@dmi.uns.ac.rs, and his personal website (http://www.is.pmf.uns.ac.rs/rackovicm/) provides additional resources. His research spans foundational and applied computer science, with seminal contributions in fuzzy database systems including PFSQL query language development and prioritized fuzzy logic for relational databases and XML. He has pioneered deep learning methodologies through innovative classification techniques using negative and missing features in convolutional neural networks. Additional expertise includes high-performance computing implementations of Lattice Boltzmann methods using OpenCL, robotics (symbolic modeling and trajectory planning), and blockchain applications for Industry 4.0 production processes. His sports analytics work applies neural networks to basketball player and referee movement analysis. Analysis of his 2012-2025 publications reveals a strategic evolution toward interdisciplinary applications, particularly in industrial transformation (blockchain-enabled traceability) and sports analytics. His work consistently bridges theoretical computer science with practical implementations, demonstrating increasing focus on real-world problem solving while maintaining strong foundations in database theory and computational methods. Professor Racković leads the Laboratory for the development of information systems, which focuses on advancing information system methodologies through formal modeling extensions (including Petri net innovations) and practical implementations for uncertainty management. The laboratory's work spans from foundational research in fuzzy logic systems to applied projects in high-performance computing and blockchain integration, fostering innovation in information technology development.
