Bernhard Aichernig is an Associate Professor at the Institute of Software Engineering and Artificial Intelligence. His work bridges formal methods, model-based testing, and artificial intelligence, with a focus on automata learning, digital twins, and AI-assisted programming. Institution: Institute of Software Engineering and Artificial Intelligence Key Research Areas: Model-Based Testing, Automata Learning, AI-Driven Verification His research explores the integration of machine learning into formal verification, enabling scalable testing of complex systems like IoT devices and reinforcement learning agents. Recent projects include AI-Augmented DevOps frameworks (AIDOaRT) and digital twin validation (LearnTwins). Notable scientific awards include multiple best paper recognitions at SEFM (2020, 2021) and the TAYSIR Competition first place (2023). His publications emphasize hybrid approaches combining genetic programming, SMT solving, and neural networks for system modeling. 2025 : AI-assisted programming, timed automata via domain knowledge 2024 : Stochastic environment modeling, Git system learning 2023 : Reinforcement learning under partial observability, digital twins for VPN servers He actively contributes to testing frameworks like AALpy and investigates explainable AI for fault diagnosis in cyber-physical systems.
Hannes Hick is a Professor at Graz University of Technology , affiliated with the Institute of Machine Elements and Development Methodology . His research focuses on mechanical development, tribology, and systems engineering for automotive and industrial applications. He actively contributes to engineering education and methodology standardization. Research Interests Hydrogen internal combustion engines System modeling and digital twins Tribology in electric drivetrains Sustainable engineering practices MBSE (Model-Based Systems Engineering) Friction and wear analysis Article Trends His recent work emphasizes hydrogen propulsion systems, model-based approaches for interdisciplinary engineering challenges, tribological optimization for sustainable mobility, and integrating AI with mechanical design workflows. Labs and Teams He leads research at the Institute of Machine Elements, focusing on mechanical validation and development methodologies for advanced powertrain systems.
Dr. Barbara E. Jones serves as an Associate Professor in the Department of Internal Medicine at the University of Utah School of Medicine, with dual appointments in Pulmonary and Critical Care Medicine. Her clinical practice spans diverse healthcare settings within the Veterans Affairs system and academic medical centers, focusing on evidence-based adaptation of care to varied patient populations. Her educational background includes: M.D. from University of Washington School of Medicine B.A. in Philosophy from Dartmouth College Master of Science in Clinical Investigation (M.S.C.I) from University of Utah Postdoctoral Fellowship in Pulmonary and Critical Care Medicine at University of Utah Residency in Internal Medicine at University of Utah Dr. Jones' research centers on decision-making processes in pneumonia diagnosis and treatment, employing a tripartite informatics approach combining population analytics, cognitive behavior analysis, and clinical decision support systems. Her work specifically targets reducing diagnostic uncertainty and treatment variation across healthcare systems, with emphasis on equitable care delivery for diverse patient populations. Current projects investigate diagnostic discordance in community-acquired pneumonia, electronic surveillance for hospital-acquired infections, and machine learning applications for diagnostic error detection. Analysis of her 15 most recent publications reveals consistent focus on pneumonia management systems, with emerging emphasis on pandemic impacts on diagnostic practices and AI-driven quality improvement. Her work predominantly utilizes large VA healthcare datasets spanning 100+ medical centers, featuring mixed-methods approaches that integrate quantitative analytics with qualitative clinician experience assessment. Dr. Jones actively contributes to clinical guideline development and medical education through editorial work in major journals including Chest and Annals of Internal Medicine , where she frequently addresses controversies in pneumonia diagnosis and antibiotic stewardship. Her research program operates at the intersection of the University of Utah Health system and the Veterans Affairs national healthcare network, leveraging electronic clinical decision support implementations across diverse hospital settings including rural and critical access facilities. Current initiatives focus on real-time feedback systems for diagnostic performance improvement and automated surveillance for healthcare-associated infections.
Dikai Liu is a Distinguished Professor and Strategic Research Director at the University of Technology Sydney (UTS), Australia, within the School of Mechanical and Mechatronic Engineering . His work spans field robotics and human-robot collaboration (HRC) , focusing on autonomous systems for infrastructure maintenance, construction automation, and underwater operations. Key research areas: Robotics, Human-Robot Interaction, Bio-Inspired Design, Infrastructure Maintenance Recent publications highlight innovations in trust modeling for HRC, stiffness control in continuum robots, and sociotechnical frameworks for AI-driven robotic systems. His 15 most recent articles emphasize applications in bridge maintenance, construction automation, and ethical AI integration. Awards include the 2019 UTS Medal for Research Impact, ASME DED Leonardo da Vinci Award (USA), and multiple engineering excellence recognitions. His research has generated over $22M in external funding, including 13 ARC grants and industry partnerships.
Ratnak SOK is an Associate Professor at Waseda University, specializing in thermal engineering, electrified vehicles, and internal combustion engine research. His work spans transportation electrification , CFD modeling , waste heat recovery , and low-carbon/e-fuel ICEs with aftertreatment systems. Doctor of Engineering (2015, Waseda University) MSME (2011, Institut Teknologi Bandung) Diplôme d'Ingénieur (2009, Institut de Technologie du Cambodge) DUT (2006, Institut de Technologie du Cambodge) His research focuses on xEV thermal management , internal combustion engine efficiency , and thermoelectric waste heat recovery , supported by 44 peer-reviewed papers and 340 Scopus citations. Recent work integrates machine learning and CFD simulations for combustion control and battery modeling. Scientific accolades include: Young Investigator Award (2025 Japan Society of Automotive Engineers) SAE International Journal editorial board member Chair, 2025 ASME Rail Transportation Symposium His academic leadership extends to organizing technical sessions at IEEE, SAE, and FISITA conferences.
Laurence Anthony is a Professor at Waseda University's School of Creative Science and Engineering, specifically affiliated with the Center for English Language Education in Science and Engineering (CELESE). He has held this position since 2009, having previously served as an Associate Professor at the same institution from 2004-2009. His academic journey began with a BSc from The University of Manchester (1991), followed by an MA (1997) and PhD (2002) from The University of Birmingham. Anthony's research centers on corpus linguistics, educational technology, and natural language processing applications in foreign language teaching. He is renowned for developing AntConc, a widely used freeware corpus analysis toolkit, along with numerous other educational software tools including AntWordProfiler, FireAnt, and ProtAnt. His work bridges linguistic theory with practical classroom applications, particularly in data-driven learning approaches for English as a Foreign Language contexts. His publication record is extensive with over 50 papers, 12,115 Google Scholar citations, and an h-index of 45. His recent work increasingly explores the intersection of corpus linguistics and artificial intelligence, examining how language models can enhance language teaching and analysis. Anthony's research has evolved from foundational corpus tool development to sophisticated applications in vocabulary profiling, writing analysis, and AI-assisted language learning. Among his notable recognitions are the Waseda University 6th e-Teaching Award (2018), the National Prize of the Japan Association of English Corpus Studies (2012), and the L'Oreal Art and Science of Color Gold Prize (2005). He serves on multiple editorial boards including for Studies in Corpus Linguistics, Journal of Asia TEFL, and Corpus Linguistics Research Journal. Anthony actively contributes to the academic community through numerous presentations at international conferences, recent ones including talks on AI integration with corpus methods at Corpus Linguistics 2025 and the LSP-Num Conference. His professional activities demonstrate ongoing engagement with both theoretical developments and practical applications in language education technology.
Damian Grela is a Lecturer in the Department of Automation and Computer Science at the Faculty of Electrical and Computer Engineering, Cracow University of Technology. His work spans two distinct research domains: software engineering (focusing on BPEL processes, web services, and fault injection testing) and environmental engineering (specializing in diatomite-based biogennic pollutant removal, rain gardens, and surface water quality monitoring).
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.
Anna Vilanova is a Full Professor in Visual Analytics at the Department of Mathematics and Computer Science, Eindhoven University of Technology (TU/e), and is associated with the Electrical Engineering department's Signal Processing Systems. Previously, she served as Associate Professor at TU Delft (2013-2019) and Assistant Professor at TU/e (2002-2013). Her research focuses on Visual Analytics for high-dimensional data , explainable AI , and biomedical applications including Diffusion Weighted Imaging, 4D Flow, and Pangenomics. Education: Doctorate in Computer Graphics & Visualization (2001) Master in Computer Science (1997), Universitat Politècnica de Catalunya Research Highlights: Vilanova leads work on Visual Analytics systems for biomedical data, with recent publications in Diffusion MRI modeling , Tractography visualization , Explainable AI frameworks , and Pangenomic variant analysis . Her work bridges dimensionality reduction , uncertainty visualization , and medical imaging applications. Scientific Contributions: NWO-Veni grant (2005): "Visualization of global tensor information for diffusion tensor imaging" NWO-Aspasia grant (2013) Best Poster Award EuroVis (2025) Best Demo/Poster Awards (2022) Leadership & Service: Vilanova serves on the IEEE VIS Steering Committee , was EUROGRAPHICS President (2019-2022), and contributes to conferences like IEEE Visualization and EG-EuroVis . She co-founded the EAISI Health research initiative at TU/e.
Professor Caroline Ford is a leading researcher at the University of New South Wales, serving within the School of Women's and Children's Health and the Adult Cancer Program at the Lowy Cancer Research Centre. She leads the Gynaecological Cancer Research Group (GCRG), which focuses on understanding the development, spread, and treatment of gynaecological cancers, with particular emphasis on ovarian and endometrial cancer. Established in 2010 after international postdoctoral fellowships at the University of Toronto and Lund University, her laboratory has maintained consistent competitive research funding for over 13 years. Her research spans Cancer Cell Biology with specific expertise in ovarian cancer, endometrial cancer, endometriosis, metastasis mechanisms, ascites biology, and cell-free DNA analysis. Major projects include developing an early detection test for ovarian cancer and identifying key targets for anti-metastatic therapies. The GCRG works closely with clinicians at the Royal Hospital for Women and conducts studies involving biospecimen collection from women with gynaecological cancers. Professor Ford has pioneered innovative in vitro organotypic models of ovarian and endometrial cancer for pre-clinical drug testing. Her publication record shows consistent focus on ROR1/ROR2 receptors, Wnt signaling pathways, and cell-free DNA applications in cancer diagnostics. Recent work has emphasized liquid biopsy techniques using ascites fluid, 3D cancer models, and computational approaches to predict treatment outcomes. She has published extensively on the molecular mechanisms of gynaecological cancers and their clinical applications. Superstar of STEM (2017) Women's Agenda Award for Female Leader in Science, Medicine & Health (2018) Professor Ford actively supervises PhD students including Kate Gunther and Bonnie Werner, and co-supervises Zoe Phan. She convenes UNSW's General Education course on Personalised Medicine and developed Australia's first MOOC on this subject. She serves as Chair of the ANZGOG Uterine Tumour Type Working Group and Research Chair of Cure Cancer Australia. Her community engagement includes founding the STEMMinist Book Club and leading the 'Ovaries. Talk About Them' campaign to raise awareness about ovarian cancer.
Haiyang Ai is an Associate Professor in the Literacy and Second Language Studies program at the University of Cincinnati's School of Education. His research applies corpus linguistics and natural language processing to investigate second language acquisition, writing complexity, and bilingual language processing. His educational background includes a Ph.D. in Applied Linguistics from The Pennsylvania State University (2015), an M.A. in Linguistics & Applied Linguistics from the University of Chinese Academy of Sciences (2006), and a B.A. in English from Shaanxi Normal University (2003). Dr. Ai's research spans corpus linguistics, natural language processing, second language acquisition, and computer-assisted language learning. He specializes in compiling and analyzing native and learner corpora to develop intelligent language learning systems and investigate lexical/syntactic complexity in L2 writing. His methodological approach integrates computational tools with theoretical linguistics to address practical language teaching challenges. His recent publications (2019-2023) demonstrate consistent focus on lexical bundles in professional communication, automating complexity measurement in Chinese, speech perception mechanisms in bilinguals, and grammatical puzzles in English learning. These works bridge corpus-based analysis with psycholinguistic experimentation across diverse subfields including morphosyntax, pragmatic competence, and cognitive processing in L2 acquisition. Dr. Ai has secured multiple University of Cincinnati grants including three CECH Faculty Development Grants ($2500 in 2017-2018 for verb-noun collocation research, $2000 in 2016-2017 for corrective feedback tools) and the NCFDD Faculty Success Program ($3250 in 2017), all supporting his development of computational language learning resources.
Allison Sullivan is an Assistant Professor of Computer Science at the University of Texas at Arlington (UTA), where she also serves as the Undergraduate Software Engineering Program Director. She is a member of the Software Engineering Research Center (SERC) at UTA and serves as faculty advisor for UTA's Society of Women Engineers (SWE) club. Dr. Sullivan received her PhD in Software Verification, Validation and Testing (SVVAT) from the University of Texas at Austin in 2017 under Sarfraz Khurshid. Her educational background includes: PhD in Software Verification, Validation and Testing, University of Texas at Austin (2017) M.S. in Software Engineering, University of Texas at Austin (2014) B.S. in Software Engineering, University of Texas at Dallas (2012) Dr. Sullivan's research focuses on two primary areas: Automated Software Engineering : Test/Oracle Generation, Automated Bug Localization and Repair, Mutation Testing, and Regression Testing Formal Methods and Programming Languages : Abstractions, Finite Model Finders, Program Synthesis, and SAT/SMT Solvers She leads the SCOPE lab which focuses on 'showing the correctness of all program executions' and has published extensively on Alloy modeling language applications. Her recent publications demonstrate a strong focus on applying formal methods to software engineering problems, with a growing emphasis on the intersection of large language models and software development practices. Her work spans theoretical foundations, tool development, and empirical studies of how developers use modeling languages. Her scientific achievements have been recognized with: NSF CAREER Award (2024) UTA CSE department Rising Star Research Award (2024) UTA College of Engineering Outstanding Early Career Faculty Award (2025) NSF grant for building an educational tool for software modeling ($400k) Dr. Sullivan has successfully advised two PhD students to completion: Dr. Ana Jovanovic (defended November 2024) and Dr. Anahita Samadi (defended February 2025). She actively mentors undergraduate researchers and has secured significant research funding including the NSF CAREER grant. Her service includes committee roles for major conferences including ASE, ISSRE, and FormaliSE. She leads the SCOPE lab at UTA, which brings together graduate and undergraduate researchers to develop techniques for improving software verification and validation, with particular emphasis on making formal methods more accessible to practitioners.
Syed Ahmar Shah is a Senior Research Fellow (Associate Professor) and the Director of Innovation at the Usher Institute within the College of Medicine and Veterinary Medicine at the University of Edinburgh. He holds a tenured academic position and leads the DIME group (Data-driven Innovation in MEdicine). His work bridges biomedical engineering, data science, and clinical medicine, with a focus on improving healthcare through technological innovation. Dr. Shah completed his educational journey with a BEng in Electronics Engineering from GIK Institute of Engineering Sciences and Technology in Pakistan, followed by an MSc and DPhil (PhD) in Biomedical Engineering and Biomedical Signal Processing and Machine Learning, respectively, from the University of Oxford. His academic credentials reflect his interdisciplinary expertise spanning engineering, data science, and medicine. His research interests center around the application of advanced data analytics to healthcare challenges. Specifically, he focuses on signal processing for time-series analysis and filtering, machine learning for classification, regression, and clustering tasks, and the development of digital health systems for chronic disease management. His work particularly targets chronic respiratory conditions like COPD and asthma, where he applies data mining techniques to electronic health records to identify patterns and develop predictive models. Dr. Shah's publication portfolio includes over 60 peer-reviewed articles in prestigious journals such as The Lancet, Brain, BMJ Open, Thorax, IEEE Transactions, JMIR, and JACI. His recent work demonstrates a strong trajectory in applying artificial intelligence to predict asthma attacks, analyze long COVID outcomes, and develop tools for personalized COPD care, particularly for women. His research often involves large-scale data analysis from national healthcare databases across the UK, Brazil, and Scotland, enabling cross-country comparisons of disease patterns and healthcare system responses. Florence Nightingale Award for Excellence in Healthcare Data Analytics (2023) As an active supervisor, Dr. Shah is open to PhD supervision enquiries and has contributed to training the next generation of researchers at the intersection of data science and healthcare. His DIME research group serves as a hub for innovative projects that combine engineering approaches with clinical medicine to address pressing healthcare challenges. Dr. Shah also engages with industry through data science consulting, offering expertise in developing intelligent algorithms for businesses with large datasets, particularly in healthcare but extending to other domains as well.
Andrea Passerini is a Full Professor in the Department of Information Engineering and Computer Science at the University of Trento, Italy, where he also serves as Coordinator of the PhD programme in Information Engineering and Computer Science (Ministerial Decree 45/2013). His academic footprint spans multiple departments including Mathematics, Sociology, Cellular Biology, and Industrial Engineering, reflecting deep interdisciplinary engagement across computational sciences and life sciences. His research centers on Machine Learning and Data Mining with specialized expertise in Neuro-Symbolic AI , Probabilistic Reasoning , and Statistical Relational Learning . He pioneers methods for graph-based learning, medical AI applications, and explainable systems, with significant contributions to bioinformatics (particularly RNA-protein interactions) and healthcare diagnostics. His work bridges theoretical rigor with practical implementations in critical domains. Analysis of his 2025 publications reveals dominant trends in neuro-symbolic integration for graph data, human-AI collaboration in medical decision-making, and robust recommender systems. His research increasingly focuses on interpretable AI for high-stakes applications like surgical planning and physician support, while advancing foundational techniques in graph neural networks and concept-based modeling. As PhD programme Coordinator, Professor Passerini mentors doctoral candidates across AI and computer science disciplines. His collaborative network extends to medical researchers at CIBIO (Cellular, Computational and Integrative Biology department) and industrial partners, though specific lab structures aren't documented in available materials. Current projects emphasize medical AI validation, temporal network modeling, and LLM integration with structured reasoning frameworks.
Dr. Chen Wang is an Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo. He holds a PhD from Nanyang Technological University and a B.Eng from the Beijing Institute of Technology. His research focuses on robotic perception, vision, and learning, emphasizing algorithm development for autonomous systems. He is affiliated with the Spatial AI and Robotics Lab (SAIR Lab) and serves as an Associate Editor for The International Journal of Robotics Research (IJRR) and IEEE Robotics and Automation Letters (RA-L) . His work spans neuro-symbolic AI, SLAM systems, and reinforcement learning for robotics. Dr. Wang's research interests include creating efficient algorithms with theoretical guarantees, open-source distribution, and real-world validation. He has contributed to areas like visual navigation, few-shot detection, and robot autonomy frameworks. His educational background in electrical engineering and robotics underscores his expertise in bridging theory and practical applications. Notable contributions include the iWalker framework for humanoid robots, AirSLAM for visual SLAM, and SuperPC for 3D point cloud processing. His editorial roles and conference service (e.g., CVPR Area Chair) reflect his leadership in the field. The SAIR Lab under his direction advances spatial AI, robotics, and autonomous systems through interdisciplinary collaboration.
