Maulana Ariefai serves as a Research Fellow at the Department of Cellular, Computational, and Integrative Biology (CIBIO) within the University of Trento, Italy, where he concurrently pursues his PhD in the Biomolecular Sciences Doctoral Program (DM226/2021). His research spans interdisciplinary domains including Biomolecular Sciences, Cellular Biology, Computational Biology, and Integrative Biology, reflecting CIBIO's mission to merge experimental and computational methodologies for biological discovery. This work emphasizes systems-level understanding through quantitative and molecular approaches.
Joe Schicke is an Instructor in the English and University Composition Program at Colorado State University (CSU). He is concurrently pursuing a PhD in Technical Communication and Rhetoric via a low-residency program at Texas Tech University. His academic background includes a BA in Creative Writing and an MA in Rhetoric and Composition from CSU. Research interests focus on rhetorical theory, sensory rhetoric, multimodality, and alternative grading practices. His work explores intersections between pedagogy, cultural expression, and institutional advocacy. Publications include studies on academic labor activism and sound-based ethnography. Though no formal grants or awards are noted, his creative endeavors as a musician—singer/songwriter, guitarist, and session performer—enrich his interdisciplinary approach to education and rhetoric.
Paolo Garza is an Associate Professor in the Department of Control and Computer Science (DAUIN) at the Polytechnic University of Turin, where he also serves as Coordinator of the College of Computer, Film and Mechatronics Engineering. He is a member of the DBDM research group and the SmartData@PoliTO laboratory, and actively contributes to academic governance through roles in teaching coordination and PhD program committees. Education: Bachelor’s in Computer Engineering, Polytechnic University of Turin (2001) PhD in Computer and Systems Engineering, Polytechnic University of Turin (2005) His research centers on data science, big data analytics, data mining, and machine learning , with applications in emergency management, real-time communications, Earth observation, and cybersecurity. He has led and participated in numerous national and commercial research projects, including AI4CTI and NODES (PNRR), and has collaborated with industry partners like Cisco Systems. His work bridges theoretical algorithm development and practical deployment in critical systems. The recent publications reflect a strong trend toward multimodal AI, crisis informatics, and intelligent networking . Articles span computer vision for environmental monitoring (e.g., burned area detection, canopy estimation), ML for real-time communication quality, multimodal document understanding, and crisis response systems. His team leverages deep learning, transformers, and vision-language models across diverse domains. Scientific Service: Associate Editor, Knowledge and Information Systems (2024–) Associate Editor, Expert Systems with Applications (2022–) General Co-Chair, IEEE AICT Conferences (2022, 2023) He mentors several PhD students and leads funded research initiatives focused on AI for sustainable industry and cyber threat intelligence. His teaching includes graduate courses on big data processing, distributed architectures, and data science lab methods. He has also directed commercial training programs and research contracts in machine learning and cybersecurity. Research Labs & Teams: DBDM - Database and Data Mining Group (DAUIN) SmartData@PoliTO - Big Data and Data Science Laboratory LAB 5 - Research Laboratory (DAUIN)
Dr. Bartosz Marcinkowski serves as Professor and Head of the Department of Business Informatics at the University of Gdańsk's Faculty of Management, concurrently holding the positions of Deputy Dean for Research and Head of the Doctoral School. His academic leadership spans departmental administration, faculty research strategy, and doctoral program oversight within Poland's prominent management education institution. Marcinkowski's research centers on the intersection of information systems and practical business applications, with dominant focus areas including agile software development methodologies, digital transformation frameworks, and facility management technology adoption. His work consistently addresses contemporary challenges such as post-pandemic recovery in IT projects, generative AI integration, and sustainable business practices through empirical industry-academia collaborations. Recent publications demonstrate particular expertise in scaling agile frameworks for distributed teams and implementing blockchain solutions in enterprise environments. Analysis of his 2022-2025 publications reveals a strategic research trajectory emphasizing practical solutions for complex business-technology challenges. His work shows increasing integration of sustainability considerations across domains, from facility management to corporate governance, while maintaining strong methodological focus on agile approaches and systems integration. The recurring industry-academia collaboration theme highlights his commitment to bridging theoretical research with real-world business applications.
David Chisnall is a researcher affiliated with the University of Cambridge and active in systems programming, compiler design, and cross-language interoperability. He contributes to conferences like POPL, PLDI, ISMM, and SPLASH, with particular focus on secure compilation and memory management.
Magnus Madsen is an Associate Professor at Aarhus University, Department of Computer Science. He leads the development of the Flix programming language, a declarative tool integrating logic, functional, and imperative features with Java interoperability. His work spans type and effect systems, program analysis, and JavaScript bug-finding tools, particularly for asynchronous applications. Academic Affiliation: Aarhus University (Denmark) Leadership: Flix Programming Language Magnus's research focuses on programming language design, type systems, and static/dynamic analysis. This includes Datalog constraints, polymorphic effects, and nullability frameworks. His contributions to JavaScript analysis address asynchrony and concurrency challenges. Key trends in his work include declarative program analysis, effect system design, and Datalog-based frameworks like IFDS/IDE. Recent papers explore rank-polymorphic function inference, purity reflection, and stratification in logic programming. Scientific awards include: Sapere Aude grant (2023) Dahl-Nygaard Junior Prize (2022) STEM Grant (2022) Amazon Research Award (2021) DFF Project One (2020) ECOOP 2023 Distinguished Paper ICSE 2016 Distinguished Paper Current PhD students advised: Jonathan Lindegaard Starup, Matthew Lutze, Andreas Stenbæk Larsen (co-advised with Aslan Askarov), Caroline Palma Berger (co-advised with Clemens Nylandsted Klokmose).
Quentin Stiévenart is a researcher at Université du Québec à Montréal, focusing on abstract interpretation, concurrency, and static analysis. His work spans programming language design, software verification, and tool development for WebAssembly and functional languages like Racket and Scheme. Active in organizing and reviewing for conferences including SPLASH, ICFP, ECOOP, and SAS Developed tools such as Wassail for WebAssembly static analysis and RacketLogger for educational purposes Contributions include theoretical work on effect-driven flow analysis and practical advancements in concolic execution abstraction His research addresses challenges in concurrency verification, cyclic reinforcement in incremental analysis, and security-focused taint tracking across multiple language paradigms.
Univ.-Prof. Michèle Crider is a renowned soprano specializing in Italian opera repertoire, particularly Verdi roles. She has held a professorship in Voice at the Department of Vocal Studies, Mozarteum University since 2012, concurrently overseeing the Pre-College program. Her academic affiliations include the School of Music & Art Education (SOMA). Education: DMA from University of Iowa, advanced studies at Zurich Opera House Studio. Achievements include Metropolitan Opera Auditions victories, Geneva Competition first prize, and Pavarotti Competition finalist placement. Repertoire focuses on Verdi heroines (Leonora, Amelia, Elvira) and signature roles like Aida, Tosca, Norma, and Santuzza. She has performed at major institutions including Royal Opera House Covent Garden, Metropolitan Opera, La Scala, and with orchestras like Vienna Philharmonic under conductors Riccardo Muti and Daniel Barenboim. Awards highlight her artistry: Geneva Competition victory enabled her Il Trovatore debut, while Grand Prix cemented international acclaim. Active in concert performances at Salzburg Festival, Carnegie Hall, and Musikverein.
Prof. Theo Notteboom is a part-time professor at the University of Antwerp's Faculty of Business Administration and Economics. He concurrently holds academic positions at Ghent University and the Antwerp Maritime Academy. His career includes full-time roles at the University of Antwerp from 1993 to 2014, spanning research assistant to academic dean of ITMMA (now C-MAT at Antwerp Management School). He has also worked at leading Chinese maritime universities in Dalian and Shanghai since 2014. His expertise focuses on port and maritime economics, with extensive publications in the field. Education & Career: 1993–2014: Full-time roles at University of Antwerp Positions included Research Assistant → Assistant Professor → Associate Professor → Professor/Dean Current affiliations: Ghent University, Antwerp Maritime Academy, and Chinese maritime institutions Research Interests: Prof. Notteboom specializes in port economics, maritime logistics, and global transport systems. His work addresses strategic challenges in maritime policy, supply chain optimization, and the interplay between port infrastructure and economic development. He has contributed to both theoretical frameworks and applied research in transport management. Teaching: He leads the Master in Maritime and Air Transport Management program at Antwerp Management School, emphasizing practical expertise in maritime transport strategies. Awards & Grants: No specific awards or grants are listed in the provided information. Labs/Teams: His work is likely associated with academic research groups focused on maritime economics, though specific lab affiliations are not detailed.
Michelle Lyons is a Research Fellow and PhD scholar at the Australian National University's Resources, Environment and Development Department (READ) within the Crawford School of Public Policy. She holds a concurrent appointment as a Climate Change Research Fellow at the Lowy Institute’s Indo-Pacific Development Centre. Her doctoral research focuses on the role of public financial institutions like green banks in achieving net-zero emissions, with emphasis on geoeconomics and climate justice. Education: Masters in Public Policy, University of New South Wales Bachelor of Media and Communications (Honours), University of New South Wales Research explores intersections between climate finance mechanisms, multilateral cooperation, and energy transition policies. Key themes include cross-border electricity trade in ASEAN, Australia’s climate negotiations, and innovative policy mixes for decarbonization. Her work bridges academic research with policy advocacy, contributing to forums like COP28 and the UNFCCC. Notable contributions include proposing an Indo-Pacific Economic Resilience Bank and analyzing green bank value creation strategies. She has been invited to speak at institutions including the University of Cambridge and Dartmouth College. Awards: Sir Roland Wilson PhD Scholarship ANU JW Land Research Fellowship EU-Australia Leadership Dialogue Emerging Leader (2017) Supervised by Prof Frank Jotzo, her thesis explores public green banks’ roles in Paris Agreement implementation. She remains affiliated with Australia’s climate policy sector while on academic leave.
Beniamino Accattoli is a Researcher in Computer Science at Inria , where he has been a member of the PARTOUT team since January 2015. His work centers on higher-order computation, particularly the lambda calculus, connecting theoretical mathematics with practical implementations of functional languages. Current Projects : CANofGAS (2022–2025), COCA HOLA (2016–2021). Recent Events : Program Committee member for LSFA 2025, ICFP 2024, and FSCD 2024; lecturer at MPRI 2023–24. Research Themes : Internal : Developing mathematical theories of sharing in lambda calculus to enhance efficiency in functional language implementations. External : Establishing reasonable cost models for time and space in lambda calculus, resolving long-standing open problems in computational complexity. Scientific Awards : Distinguished Paper Award at ICFP 2022. Best Paper Award at RTA 2013. Academic Contributions : Co-inventor of the Linear Substitution Calculus , a canonical framework for higher-order computation with sharing. Proved polynomial equivalence between lambda calculus and Turing machines for time complexity with Ugo Dal Lago. Refuted token-machine conjectures and introduced environment-based machines for space complexity with Ugo Dal Lago and Gabriele Vanoni.
Samuel Mimram is a Professor at the LIX laboratory of École Polytechnique (part of Institut Polytechnique de Paris ). He serves as President of the Computer Science Department and Head of the Cosynus team , focusing on interdisciplinary research at the intersection of denotational semantics , concurrency , rewriting theory , category theory , linear logic , and algebraic topology . His recent work explores homotopy type theory , higher categories , and coherence in rewriting systems , with publications in venues like FSCD , LIPIcs , and Higher Structures . He mentors interns (e.g., Hugo Salou , William Hasley ) and participates in academic juries for PhD theses (e.g., Thomas Jan Mikhail , Luc Chabassier ). Contact: samuel.mimram@polytechnique.edu .
Jan Peleska is a Professor at the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bremen. He is a member of the Bremen Institute of Safe Systems (BISS) and co-editor of the BISS Monographs series. His research focuses on the application of formal methods and model-based testing to safety-critical embedded systems in domains such as avionics, railways, and automotive engineering. Affiliation: University of Bremen, TZI (Center for Computing Technology), BISS (Bremen Institute of Safe Systems) Academic Role: Professor of Computer Science Research Interests Peleska’s work emphasizes formal methods for dependable systems, particularly distributed and reactive real-time systems. Key areas include: Formal methods (safety, reliability, availability, security) Development of fault-tolerant systems Test automation for reactive systems Tools development for formal methods Integration with software development standards His research is applied to industrial projects involving safety-critical embedded systems, such as avionic systems and railway control systems. A comprehensive overview is provided in his Habilitation Thesis: Formal Methods and the Development of Dependable Systems . Publication Trends Peleska’s recent publications (2012–2022) focus on model-based testing (e.g., symbolic finite state machines, CSP refinement), standardisation of autonomous train control, and tools for automated testing. His work addresses challenges in railway interlocking systems, avionic software verification, and hybrid system validation, often combining formal methods with practical industrial applications. Scientific Awards Best Paper Award at FORMS/FORMAT 2014 Best Paper Award at QA+Test 2007 Other Responsibilities Peleska co-manages the Post Graduate Programme Embedded Systems GESy and serves as a shareholder/consultant for Verified Systems International GmbH. He has delivered invited lectures on industrial verification, model-based testing, and formal methods at institutions like the University of Tunghai (2016) and workshops including CyPhyAssure Spring School (2019).
Stephen Siegel is an Associate Professor at the University of Delaware with a joint appointment in the Department of Computer and Information Sciences and the Department of Mathematical Sciences . Holding a PhD in Mathematics from the University of Chicago (1993), he transitioned from finite group theory research to formal methods in computer science, focusing on verification of parallel and scientific software. His research centers on the Verified Software Laboratory (VSL) and the CIVL Model Checker for HPC program verification. Recent work includes formal verification of PETSc components at CAV 2025 and collective contract frameworks for message-passing programs. Research Interests Formal methods for software verification Parallel and HPC software reliability Model checking techniques Application of mathematical logic to computing Academic Service Highlights Program Committee & Publication Chair, CAV 2025 Co-organizer, International Workshop on Verification of Scientific Software (VSS 2025) Chair, VerifyThis competition (2023) Editorial service at IEEE Transactions on Software Engineering (2015-2019) Teaching Portfolio CISC 404/604: Logic in Computer Science CISC 414/614: Formal Methods in Software Engineering CISC 372: Parallel Computing (MPI/OpenMP/CUDA instruction) Advanced Topics courses: Model Checking, Abstract Interpretation
Léonce Ndikumana serves as Distinguished Professor of Economics at the University of Massachusetts Amherst with concurrent leadership of the African Development Policy program at the Political Economy Research Institute (PERI). His international academic presence extends through honorary professorships at South Africa's University of Stellenbosch (2011-present) and University of Cape Town (2017-present), complementing prior policy roles including Director of Research at the African Development Bank and Chief of Macroeconomic Analysis at the United Nations Economic Commission for Africa. His academic credentials include: Ph.D. in Economics, Washington University, 1996 M.A. in Economics, Washington University, 1992 B.A. in Economics (with Distinction), University of Burundi, 1986 Ndikumana's research establishes him as a leading authority on African economic development, particularly regarding capital flight measurement and its developmental consequences. His scholarship systematically examines how external debt, financial flows, and macroeconomic policy frameworks interact with Africa's growth trajectories, often revealing how global financial structures systematically disadvantage the continent. A significant portion of his work analyzes the political economy of conflict and post-conflict reconstruction, emphasizing institutional rebuilding as foundational to sustainable development. His recent publications demonstrate methodological rigor in assessing development interventions, with consistent emphasis on empirical evidence from micro-level data. Key thematic threads include the effectiveness of foreign aid across health, water, and sanitation sectors; the relationship between natural resource endowments and capital flight; and monetary policy transmission mechanisms in African financial markets. This body of work consistently bridges academic research and actionable policy recommendations. His scholarly contributions have been recognized through: Andrew Carnegie Fellowship (2021) Alumni Association Distinguished Faculty Award (2017) UMass dual honors for research excellence and teaching (2013) Dudley Seers Memorial Prize for seminal work in development economics Ndikumana's advisory work spans international policy bodies including the UN Committee on Development Policy (2013-2018) and the Independent Commission on International Corporate Taxation, while his research funding includes a Fulbright Scholarship supporting collaborative work at the University of Cape Town. His grant portfolio consistently targets policy-relevant questions about financial governance and development finance in Africa. As Director of PERI's African Development Policy program, he oversees a research ecosystem connecting Amherst with African institutions and policymakers. His leadership extends to the African Finance and Economics Association (serving as President 2005-2007) and Village Health Works in Burundi, where he serves on the Board of Directors to integrate economic development with community health initiatives.
