Dr. Carla Ferreira is a Researcher at NOVA University Lisbon, Portugal. She actively contributes to academic communities as a committee member and session chair in conferences like POPL, ECOOP, and SPLASH. Her work bridges distributed systems, low-code development, and program verification. Researcher at NOVA University Lisbon Conference committee roles: POPL, ECOOP, SPLASH, MODELS, PLDI Research interests: distributed systems, low-code development, invariant verification Carla’s work focuses on ensuring correctness in distributed systems through coordination-free designs and replicated data types. She has explored low-code templates for safe application composition and automated scaling of sequential systems. Her recent contributions include consistency models for weakly consistent databases and educational approaches for teaching distributed verification with TLA+. She has authored key works on ECROs, OSTRICH, and VeriFx frameworks. Her publications span from 2016 to 2025, reflecting ongoing contributions to system design and verification. Carla Ferreira can be reached via her personal website at http://ctp.di.fct.unl.pt/~cf/ , though no direct email addresses are publicly listed in the scraped data.
Andreas Pavlogiannis is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he leads research in the Programming Languages group. His work focuses on formal methods, algorithmic verification, and concurrency analysis, with additional interests in network diffusion and evolutionary graph theory. He holds a PhD from IST Austria and actively recruits PhD students and PostDocs. Research Interests: Pavlogiannis investigates foundational and applied aspects of concurrent systems, including static/dynamic program analysis, automata theory, and weak memory models. His interdisciplinary work bridges computer science with evolutionary biology through network diffusion models and game theory. Awards: Distinguished Paper Award (PLDI 2025) Best Paper Award (ASPLOS 2024) Best Presentation Award (SOAP 2024) Best Paper Award (ASPLOS 2022) Teaching: He teaches courses on Programming Languages (Bachelor), Algorithmic Model Checking (Master), and Program Analysis (Master). Service: Serves on program committees for top conferences including POPL, PLDI, CAV, and IJCAI. Organizer of CONFEST 2025. Funding: Research supported by Villum Foundation, Danish Free Research Foundation (DFF), Stibo Foundation, and Austrian Science Fund (FWF).
Marek Bryx is a Professor at the Department of Real Estate Market and Innovative City, Warsaw School of Economics, and serves on the Steering Committee for the university's integrated database system project documenting scientific research outcomes. His research spans Real Estate, Urban Planning, Sustainable Cities, Housing Market dynamics, and Urban Regeneration, with a strong focus on Polish urban contexts—particularly Warsaw. Key investigations include housing affordability, business cycles in residential construction, sustainable infrastructure development, and generational housing preferences. His work integrates interdisciplinary approaches bridging economics, environmental engineering, and social policy to address urban challenges. Recent publications (2020-2025) reveal escalating emphasis on climate-resilient urban development, with recurring themes in clean city initiatives, stormwater management, and pandemic-era housing market transformations. His scholarship demonstrates methodological diversity—from mediation analysis of renter behavior to technical evaluations of sewer systems—while maintaining a consistent policy-relevant focus on sustainable urban futures. Professor Bryx contributes to institutional knowledge infrastructure through his leadership in the scientific research database project, indicating active collaboration with data management specialists and researchers across disciplines to enhance research visibility and impact at Warsaw School of Economics.
Jean-François Ethier is a Clinical Professor in the Department of Medicine at Université de Sherbrooke, holding concurrent appointments as Director of the Centre interdisciplinaire de recherche en informatique de la santé de l'Université de Sherbrooke (CIRIUS) from 2020-2023 and Principal Applicant for multiple major research initiatives. His academic trajectory shows progressive advancement from Assistant Professor (2012-2018), to Associate Clinical Research Professor (2018-2023), culminating in his current position as full Clinical Professor since 2023. He maintains active clinical practice as a specialist in general internal medicine certified by both Collège des médecins du Québec and Royal College of Physicians and Surgeons of Canada. Doctorate in Epidemiology and Biomedical Information Science (Très honorable), Université de Paris VI (P & M Curie), 2016 Master's Equivalent in Public Health, Université de Rennes I, 2011 Medical Residency Training, McGill University, 2011 MD CM, McGill University, 2006 Ethier's research centers on building foundational infrastructure for learning health systems through ontological modeling and data integration. His work bridges clinical medicine with computer science to develop interoperable frameworks for personalized medicine, pragmatic clinical trials, and health data analytics. Key contributions include the Prescription Drug Ontology (PDRO), Clinical Data Integration Model (CDIM), and multiple ontology-driven data warehousing solutions that enable secondary use of clinical data while addressing ethical and privacy constraints. His research demonstrates consistent focus on translating theoretical ontological frameworks into practical healthcare applications. Analysis of his 15 most recent publications reveals dominant themes in biomedical ontology development (40%), learning health system architecture (30%), and clinical data interoperability (30%). His work increasingly incorporates public engagement frameworks for health data governance while maintaining technical focus on semantic interoperability solutions. The publications demonstrate progressive complexity from foundational ontological modeling toward integrated system implementations with measurable clinical impact. Dean's honor list (top 10% academic involvement, 2017-2022) First place, ontology competition (FOIS 2014) Multiple J.W. McConnell and James McGill scholarships FRQS clinical researcher fellowships (Junior 1 and Junior 2) Ethier directs CIRIUS and leads the SPOR National Data Platform ($39M CIHR grant), demonstrating exceptional grant capture capacity with over $85M in awarded funding as Principal Applicant. His projects consistently feature interdisciplinary teams spanning clinical medicine, computer science, and public health. Current work focuses on implementing Quebec's Learning Health System infrastructure through the Unité Soutien SSA Québec, emphasizing ethical data governance and cross-sector collaboration. Ethier has trained numerous researchers through his ontology-focused projects and serves as principal supervisor for multiple graduate students. Ethier directs CIRIUS and co-leads the Canadian Consortium on Neurodegeneration in Aging ($49M). His laboratory develops ontology-driven data integration frameworks that connect clinical practice with research through the TRANSFoRm project infrastructure. Current team includes 15+ researchers across computer science, clinical medicine, and public health disciplines working on pragmatic registry-based trials and sensitive data exchange protocols. Future work focuses on scaling ontological frameworks for national health data interoperability and developing AI-ready data structures for precision medicine applications.
Ali Ardalan serves as a Professor in the Department of Information Technology & Decision Sciences at Old Dominion University's Strome College of Business, maintaining an active office in Constant Hall, Norfolk. His academic foundation includes a Ph.D. in Business Administration (1983) and M.B.A. (1979) from the University of Arizona. His educational credentials are: Ph.D. in Business Administration, The University of Arizona (1983) M.B.A., The University of Arizona (1979) Professor Ardalan's research centers on Production and Operations Management with deep specialization in Just-In-Time production systems , inventory management , simulation , and scheduling methodologies . Recent work demonstrates strategic expansion into data visualization for educational applications and analysis of online course conversion challenges, reflecting adaptation to digital pedagogy trends while maintaining core operations expertise. His methodological approach consistently integrates simulation modeling with practical business applications. Publication trends reveal three decades of focused contributions to Kanban and Just-In-Time systems, with a notable pivot toward data-driven educational technologies since 2016. The 2019-2025 publications showcase increasing interdisciplinary work bridging operations management with learning analytics, particularly in data visualization course design and pandemic-era teaching adaptations. His scholarly impact is recognized through significant awards: College of Business Outstanding Faculty Research Award (2012) Old Dominion University Teaching With Technology Award (2010) Research funding includes a $11,000 Old Dominion University grant (2005) for simulation-based cost modeling in assembly flow shops. His extensive collaborative publications with researchers like Diaz, Rabadi, and Ardalan (R.K.) indicate active mentorship and team leadership, though specific student names aren't documented in the provided materials. Current projects suggest continued exploration of Net-CONWIP systems and educational technology integration.
Dominique Geniet serves as an Associate Professor at the University of Poitiers, France, working within the College of Engineering. He is affiliated with the LIAS Laboratory (Laboratoire d'Ingénierie des Applications de la Signalétique), which maintains dual locations at ENSIP (École Nationale Supérieure d'Ingénieurs de Poitiers) and ISAE-ENSMA (École Nationale Supérieure de Mécanique et d'Aérotechnique). His research spans theoretical computer science and practical applications in real-time systems, with significant contributions to scheduling theory, system validation, and more recently, data management. Professor Geniet's research focuses on hard real-time systems with strict temporal constraints, employing formal methods including regular languages, generating functions, and discrete geometry. His early work concentrated on theoretical foundations of scheduling algorithms for uniprocessor and multiprocessor systems, evolving toward distributed real-time systems validation, and more recently expanding into data warehousing optimization and query scheduling. His interdisciplinary approach bridges theoretical computer science with practical applications in critical systems where timing constraints are paramount. Analysis of his publication trajectory reveals a consistent focus on real-time systems with evolving applications. The earliest works (1995-2005) emphasize theoretical foundations using formal language theory and mathematical models for scheduling and validation. The middle period (2005-2012) shows expansion into distributed systems and geometric approaches to validation. The most recent publications (2012-2018) demonstrate a strategic pivot toward data management problems while maintaining the core focus on timing constraints and optimization. This evolution reflects both theoretical depth and practical adaptation to emerging computational challenges. Professor Geniet has been actively involved with the Real Time Team and Data Engineering Team within LIAS Laboratory. His work demonstrates strong collaboration with researchers including Gaëlle Largeteau-Skapin, Annie Choquet-Geniet, and Ladjel Bellatreche, suggesting participation in both theoretical research groups and applied projects with potential industrial relevance. The dual affiliation with ENSIP and ISAE-ENSMA indicates work spanning broader engineering contexts beyond pure computer science.
Pascal Richard is a Full Professor specializing in Real-Time Systems at the Institute of Technology, University of Poitiers. He is affiliated with the LIAS (Laboratoire d'Ingénierie des Applications de la Résolution des Systèmes) laboratory, which has locations at both ENSIP (École Nationale Supérieure d'Ingénieurs de Poitiers) in Poitiers and ISAE-ENSMA (Institut Supérieur de l'Aéronautique et de l'Espace - École Nationale Supérieure de Mécanique et d'Aérotechnique) in Chasseneuil. His research spans over two decades with continuous publication from 1999 through 2023. Professor Richard's primary research interests focus on real-time scheduling theory, embedded systems, and avionics. His work particularly emphasizes AFDX networks , cache-related preemption delays , self-suspending tasks , and worst-case response time analysis . His research bridges theoretical foundations with practical applications in safety-critical systems, particularly in the aerospace domain. He has made significant contributions to the understanding of scheduling anomalies, feasibility analysis, and the development of approximation schemes for complex real-time problems. His publication record demonstrates strong collaboration with researchers across France and internationally, with consistent contributions to major real-time systems conferences including RTSS, ECRTS, and RTNS. His work shows an evolution from foundational scheduling theory toward increasingly complex systems including multiprocessor platforms, mixed criticality systems, and integrated modular avionics architectures. Professor Richard has contributed to the real-time community through numerous journal publications in Real-Time Systems , IEEE Transactions on Computers , and IEEE Transactions on Industrial Informatics , among others. His most recent work continues to address cutting-edge challenges in real-time scheduling for modern computing platforms.
Ruzica Piskac is a Professor of Computer Science at Yale University, where she joined the Department of Computer Science in 2013 and leads the Rigorous Software Engineering (ROSE) research group. Her work focuses on formal techniques to improve software reliability and trustworthiness through verification, security, and synthesis approaches. Education: PhD in Computer Science from the Swiss Federal Institute of Technology (EPFL) in 2011 Thesis title: Decision Procedures for Program Synthesis and Verification Previously led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013) Research Interests: Piskac's research spans software verification, security and applied cryptography, automated reasoning, and code synthesis. Her work combines formal methods with practical applications in programming languages, particularly focusing on making software systems more reliable and trustworthy. She has developed tools for symbolic execution in Haskell, privacy-preserving formal methods, and verification techniques for configuration files and software updates. Publication Trends: Her recent work shows a strong focus on applying formal verification techniques to emerging challenges including large language models, zero-knowledge proofs, quantum computing security, and legal accountability for AI systems. There's a clear trajectory toward bridging formal methods with practical security and verification challenges across diverse domains. Awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation Patrick Denantes Prize for her doctoral dissertation Advising and Service: Piskac has graduated five PhD students, four of whom are now assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. Her service includes numerous program committee roles across major programming languages and verification conferences. Research Group: She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on developing formal techniques for software reliability and trustworthiness, with projects spanning symbolic execution, privacy-preserving verification, reactive synthesis, and configuration file verification.
Dr. Bhushan Bonde serves as a Visiting Professor of Computational Biology at the University of Surrey's Research Directorate, leveraging over 15 years of expertise in artificial intelligence and machine learning for drug discovery and disease treatment development. His work integrates quantum computing applications with deep learning methodologies to advance biomedical solutions. His research spans Systems Biology modeling of pathogens (E.coli, Yeast, M.TB), Genetics-based patient stratification through GWAS/PheWAS, and comprehensive NGS data analysis (DNA-Seq, RNA-Seq, ChIP-Seq). He specializes in omics-scale meta-analysis including causal reasoning and integrative -omics approaches, with extensive Python programming experience for bioinformatics applications. His technical proficiency covers HPC infrastructure management, cloud deployment (AWS/Azure/Google), and container engineering for scientific computing. Dr. Bonde has supervised doctoral research including Maranga Mokaya's Oxford DPhil project on quantum computing for small molecule simulation (2020) and Effrosyni Karakitsou's Surrey MSc thesis on causal reasoning in yeast networks (2015). He has led 10 industrial high-impact projects and maintains active involvement in Agile project management through Azure-DevOps and Git. His infrastructure expertise includes Linux server administration, GPU/CPU computing, and hybrid cloud/on-premise system deployment for bioinformatics applications.
Peng Di serves as an Adjunct Associate Professor at the University of New South Wales, Sydney while working as a Senior Staff Engineer and leading the Intelligent Platform Engineering team at Ant Group in Hangzhou, China. They also serve as an Industrial PhD Mentor at Zhejiang University. PhD from UNSW under supervision of Scientia Professor Jingling Xue Former Research Associate at Compiler Research Group Former Technical Expert of AI compiler at Huawei Peng Di's research spans the intersection of programming languages, artificial intelligence, and software engineering. Their work focuses on leveraging large language models for software development, program analysis techniques, compiler technologies, and security applications. They have pioneered approaches to integrate code large language models with traditional program analysis, creating hybrid systems that enhance software development efficiency and security. Their research in parallel computing and optimizations for heterogeneous systems has resulted in practical industrial applications, particularly in the domain of AI compilers and microservices architecture. Recent publications demonstrate a clear trend toward integrating graph-based representations with large language models for code understanding, advancing static analysis techniques using datalog and neural networks, and applying these innovations to practical industrial settings. Their work bridges theoretical program analysis with real-world software engineering challenges, particularly in microservices architectures and security-critical applications. T-Star Award (Ant Group's highest technological award, 2024) ACM SIGSOFT Distinguished Paper Award (2025) Distinguished Dissertation Award by the CCF Systems Software (2024) distinguished paper award of ASE'24 (2024) Peng Di leads the Intelligent Platform Engineering team at Ant Group, which has developed several significant open-source projects including CodeFuse (a pretrained code large language model), Ling-Coder-Lite (a MoE code LLM), and OpenDeRisk (an AI-native risk intelligence system). Their team collaborates with academic institutions including UNSW, East China Normal University, ETH Zurich, Chinese Academy of Sciences, and Nanjing University on cutting-edge research. Peng Di actively mentors PhD students as an Industrial PhD Mentor at Zhejiang University and recruits technical experts and interns for research in machine learning, program analysis, and AI software engineering. The Ant Intelligent Platform Engineering team, led by Peng Di, is committed to building a safe and trusted framework for intelligent, automated software engineering. They manage the CodeFuse AI Coding and DeRisk AIOps communities, which encompass pre-trained Code LLMs, agents, frameworks, toolchains, and databases. Their team has also contributed to agent development platforms Tbox and WeaveFox, with the latter being an AI frontend development platform launched by Ant Group.
Harald Hammarström serves as Professor in General Linguistics at Uppsala University's Department of Linguistics and Philology, where he maintains an active research program bridging computational methods with linguistic theory. His work fundamentally shapes modern approaches to language classification and documentation through major digital infrastructure projects. His research spans linguistic typology , historical linguistics , and computational modeling , with signature contributions to Glottocodes (standardized language identifiers) and Grambank (genealogical constraint analysis). He pioneers solutions for bibliographic bias in typological databases and develops computational frameworks for vocabulary evolution modeling. Current work emphasizes digital atlas creation, morphological typology of numeral classifiers, and integrating genetic-linguistic comparative studies. Recent publications reveal a cohesive trajectory toward methodological rigor in computational historical linguistics, combining phylogenetic modeling with real-world language documentation challenges. Key trends include correcting sampling biases in typological research, creating interoperable digital language resources, and quantifying language endangerment impacts on structural diversity through projects like the revised Pacific Language Atlas.
Chedlia Chakroun serves as a Lecturer at ISAE-ENSMA (National Higher School of Mechanics and Aeronautics) in Poitiers, France, where she is an active member of the Data Engineering team within the LIAS laboratory (Laboratory of Informatics and Advanced Systems). Her research focuses on advancing database engineering through semantic technologies and ontological modeling. She earned her PhD in Computer Science from ISAE-ENSMA in 2013, defending her thesis titled 'Contribution à la définition d'une méthode de conception de bases de données à base ontologique' which established her foundational work in ontology-based database design methodologies. Her research program centers on resolving critical challenges in semantic database implementation, particularly data and concept redundancy issues. She develops integrated frameworks that bridge ontological modeling with practical database engineering, emphasizing systematic design approaches for complex data applications. Current investigations explore the interplay between conceptual modeling rigor and implementation flexibility in semantic systems. Analysis of her 2011-2013 publications reveals a cohesive research trajectory focused on semantic database maturation. Key contributions include formalizing design methodologies, diagnosing redundancy patterns, and establishing validation protocols for ontology-driven database applications. Her work consistently addresses the tension between semantic expressiveness and database engineering constraints. Scientific Awards: No awards, fellowships, or honors were documented in the provided materials. Professional activities indicate no formal student supervision roles were documented, and no research grants or funding sources were referenced in the available information. Her academic service appears concentrated within the Data Engineering team's collaborative research framework. The LIAS laboratory provides her research ecosystem through three specialized teams: Data Engineering (her primary affiliation), Automatic Control, and Real Time systems. This multidisciplinary environment supports her database research through cross-team collaborations in advanced informatics and engineering applications, with physical operations spanning both ENSIP and ISAE-ENSMA campuses in Poitiers.
Prof. Dr. Andreas Zeiselmair is a Professor in the Faculty of Forestry and Forestry at Hochschule Weihenstephan-Triesdorf (HSWT), specializing in Information Systems and Management in the Energy Sector. He serves as Chair of the Examination Board for the Master's program Business Management and Entrepreneurship Renewable Energies and as IT Representative of the Faculty of Forestry and Forestry. His research focuses on the digital energy transition, with particular emphasis on smart grid technologies, renewable energy integration, and AI applications in energy systems. Dr. Zeiselmair's work bridges the gap between information technology and energy sector challenges, addressing critical issues like grid stability, demand response, and optimized battery storage solutions. His publication record demonstrates consistent contributions to energy informatics, with recent work analyzing grid-oriented control through intelligent metering systems (2024), AI applications for transmission network monitoring (2023), and development of AI-based methods for battery storage optimization. His research often involves interdisciplinary collaboration with colleagues across multiple institutions. As an educator, Dr. Zeiselmair teaches courses spanning Mathematics and Statistics for Renewable Energy Management, Basics of Information Technology, IT in the Energy Sector, and specialized courses on Information Systems and Management for Start-ups in the renewable energy sector. He supervises theses on digital energy transition topics. He co-leads the smartBattery research project, which develops AI-based methods for optimized location selection and operation of large battery storage systems, demonstrating his commitment to practical applications of his research.
Yeray Rodríguez Montesdeoca is an Associate Professor in the Department of Specific Didactics at the University of Las Palmas de Gran Canaria, specializing in the Didactics of Musical Expression within the broader field of Educational Sciences. His academic career spans over a decade with consistent research output from 2003 to 2015. His research interests focus on the intersection of music education, educational technology, and special educational needs. Rodríguez Montesdeoca has conducted extensive work on music software applications in educational settings, instrumental practice methodologies, and the use of self-made instruments in music classrooms. A significant portion of his research also addresses university dropout rates, particularly through studies conducted at Friedrich-Alexander University Erlangen-Nürnberg. His publication record shows a clear progression from foundational work on music computing in classrooms (2003-2006) to more specialized studies on university retention (2008-2010) while maintaining his focus on music education applications. The research demonstrates a consistent interdisciplinary approach connecting music pedagogy with broader educational challenges. Rodríguez Montesdeoca frequently collaborates with researchers including Beatriz Rodríguez Montesdeoca, José Luis González Aleman, and Francisco Sosa Godoy across multiple publications. His work appears in journals such as El Guiniguada and EDU-PSYCHO, with many publications bearing the FECYT Seal and indexed in ESCI and ERIH PLUS databases. His research on university dropout rates represents a substantial portion of his work between 2008-2010, with multiple publications examining causes, statistical analyses, and strategies for improvement at the Friedrich-Alexander University. This work demonstrates his ability to bridge music education expertise with broader educational research methodologies.
Roderic F. Casali is a Professor at Canada Institute of Linguistics (CanIL) affiliated with Trinity Western University's Faculty of Humanities & Social Sciences in the Department of Applied Linguistics since 2006. His academic career spans over three decades with significant contributions to African linguistics, particularly focused on phonology and phonetics of Niger-Congo languages. His educational background includes a PhD in Linguistics from UCLA (1996), MA in Linguistics from University of Texas at Arlington (1988), and BS in Physics with honors from University of Massachusetts (1980). His dissertation titled 'Resolving hiatus' was published by Garland Publishing in 1998. Research Interests: Casali specializes in phonological phenomena with particular expertise in vowel systems, ATR (Advanced Tongue Root) harmony, hiatus resolution, and vowel coalescence. His primary focus has been on African languages, especially Nawuri (Ghana), Akan, and other Niger-Congo languages. He has developed specialized software tools like Dekereke for phonological fieldwork and maintains active research in tongue root harmony systems and vowel inventory typology. His publications demonstrate consistent contributions to major linguistics journals including Language , Linguistic Typology , and Journal of West African Languages . Key trends show sustained focus on Niger-Congo phonology with increasing emphasis on typological frameworks and computational tools for field linguists. President's Fellowship, UCLA (1992-93, 1994-95) Casali serves as an International Linguistics Consultant for SIL International since 2000, previously working as Africa Area Linguistics Coordinator (1996-2004). He has advised numerous field linguists across Africa and developed training materials for phonological analysis. His teaching portfolio includes advanced courses in Acoustic Phonetics, Advanced Phonological Analysis, and Field Methods. Casali maintains active collaboration with the West African Linguistics Society and continues developing phonological analysis tools for field linguists.
