Rob Nederpelt is a University Researcher at the Mathematics and Computer Science department of Eindhoven University of Technology. His work focuses on Type Theory , Formal Proof , and Formalization of Mathematics , with significant contributions to Automath , the earliest proof checker. Research areas: Type Theory, Formal Proof, Lambda Calculus, Type Systems, Formalization, Computer Science history Notable collaborations: Herman Geuvers, Fairouz Kamareddine, Francien Dechesne His research output includes a 2022 analysis of Automath, a 2014 textbook on type theory, and historical studies of formal systems. Key subfields span formal verification , proof assistants , and logical frameworks . He has over 240 citations and maintains active academic presence through peer-reviewed publications. Selected publications highlight trends in type systems (100%), proof checking (100%), and historical context (100%) analysis. His work bridges mathematical logic and computer science , emphasizing rigorous formal methods.
Giovanni Sileno is an academic specializing in Artificial Intelligence, Logic Programming, and Knowledge Representation, with teaching appointments at the University of Amsterdam, EPITA Paris, and Université Pierre et Marie Curie. His primary affiliation is with the Informatics Institute at the University of Amsterdam where he serves as a Lecturer. His research interests span multiple domains within computer science, focusing particularly on formal methods for normative systems, agent-based programming, and logic-based knowledge representation. His work bridges theoretical computer science with practical applications in policy modeling, forensic science, and business information systems. Dr. Sileno has developed several notable software projects including AgentScriptCC for single-threaded intentional agents, DCPLschema for normative policy specifications, and libraries for normative primitives in Answer Set Programming. His GitHub activity shows consistent contributions from 2012 through 2025, indicating active engagement in both research and development. His publications reflect a strong focus on formal methods applied to practical problems, with particular emphasis on normative systems, agent architectures, and logic programming applications. The research trajectory shows evolution from foundational topics in logic and numeral systems toward increasingly sophisticated applications in policy modeling and agent-based systems. As an educator, he has taught across multiple institutions and disciplines, covering topics from basic programming paradigms to advanced knowledge representation and formal modeling techniques. His teaching spans undergraduate to master's level courses in information studies, cognitive science, data science, and forensic science.
Dirk K.J. Heylen serves as Full Professor at the Digital Society Institute within the University of Twente, holding a dual appointment in the Human Media Interaction department. His academic profile demonstrates extensive engagement in artificial intelligence research with particular focus on human-centered applications. Research interests span Artificial Intelligence, Autonomous Agent Systems, Natural Language Processing , and Knowledge Representation , with significant applications in healthcare, well-being, and social robotics. His work bridges technical AI development with societal context considerations, particularly examining human-AI interaction patterns in daily life scenarios. Recent publications reveal strong emphasis on conversational agents, virtual human interaction, and predictive health technologies. Notable scientific recognition includes the Best Student Paper award at the 22nd ACM International Conference on Multimodal Interaction (2018). His research activities demonstrate consistent output across conferences, journals, and datasets, with particular growth in healthcare applications since 2020. Professional activities include editorial work for major conferences (ICMI 2020), organization of specialized events (Narrative Matters 2018), and hosting academic visitors. His supervised work encompasses 22 research projects and multiple datasets supporting human-AI interaction studies.
Prof. Sanne Akkerman is a Professor of Education and Learning Sciences at Utrecht University's Faculty of Social and Behavioural Sciences, Department of Education. Her research focuses on boundary crossing, interdisciplinary education, and interest development, particularly in the context of youth transitions and higher education choices. She leads projects like the ERC-funded 'Lost in Transition' and NRO's 'Interest in Diversity,' examining adolescents' interests and societal engagement. Notable contributions include the smartphone app 'inTin' for experience sampling and the 'UniCity' initiative for community-focused education. Research interests span boundary crossing challenges, educational pathways, and the dynamics of youth development. Her work integrates social psychology, educational theory, and digital media to address contemporary learning environments. Awards include the 2016 ERC Starting Grant. Current projects emphasize ontological synchronization in education and the role of online platforms in affinity-based learning. Advising and grants include mentoring PhD trajectories on interests and engagement, and collaborations with the University of Amsterdam. Her lab focuses on innovative educational models at the intersection of academia, society, and urban life.
Derek Lomas is a researcher at Delft University of Technology’s Faculty of Industrial Design Engineering, specializing in Human-Centered Design and Human Technology Relations. He holds a PhD in Human-Computer Interaction from Carnegie Mellon University, an MFA in Social Design from UC San Diego, and a BA in Cognitive Science from Yale University. His research focuses on AI-driven wellbeing solutions, neurodesign, and educational technology. He leads projects like NeuroUX (mobile cognitive assessment software) and Zensus (patient wellness tracking), and has developed over 40 learning/assessment games. Key areas include music perception via EEG, AI alignment with human emotions, and design methodologies for positive AI. Education: B.A. Cognitive Science, Yale University, 2003 MFA Social Design, UC San Diego, 2009 PhD Human-Computer Interaction, Carnegie Mellon University, 2014 Research Interests: AI for wellbeing and mental health Neuroscience-driven design (EEG, brain-computer interfaces) AI ethics and human-AI interaction Game-based learning and assessment Key Projects: NeuroUX : Cognitive assessment software used in psychiatric research Zensus : AI-driven patient wellness monitoring system FactFlow : AI math fluency tool for children Vibe Research Labs : Exploring AI and positive human experiences Awards: Social Innovation Fellowship (PopTech) MacArthur Foundation Digital Media Learning Grant White House National STEM Game Competition McGinnis Business Plan Competition Winner Grants & Collaborations: Consultancy: Playpower Labs (UX, data science, software) Partnerships with UC San Diego, Brown University, and UT Austin
Remo Mombarg is a Professor of Sports Science at Hanze University of Applied Sciences, affiliated with the Centre of Expertise Healthy Ageing Healthy Lifestyle, Sports and Physical Activity Sports Education & Youth Sports. His work focuses on motor skills development, physical education, youth sports, and healthy lifestyle interventions, with particular emphasis on children's physical activity and motor competence. Dr. Mombarg earned his Doctor of Educational Psychology from Rijksuniversiteit Groningen in 2007 with research on personal aid for children with learning disabilities in vocational education. Since September 1995, he has maintained an external position at Rijksuniversiteit Groningen while developing his career at Hanze University. His research spans multiple domains including motor skills development in children, physical education methodologies, youth sports participation, and interventions for healthy aging. Mombarg's work frequently examines the relationship between physical activity, motor competence, and overall health outcomes, with special attention to children with developmental challenges such as developmental coordination disorder (DCD). Analysis of his recent publications reveals a strong focus on longitudinal studies of motor competence development in children, systematic reviews of motor and language skills in children with developmental disorders, ecosystem approaches to understanding physical activity, and innovative school-based interventions. His research increasingly incorporates spatial and temporal analysis of children's physical activity patterns and explores intergenerational approaches to promoting healthy lifestyles. Professor Mombarg leads numerous research projects including PASS (Paden effenen van lokale Actie naar Systeemverandering via Sport en bewegen), Innovatiewerkplaats Kind in de Wijk, and BSLIM (sportieve leefstijlproject: Bewegen voor kinderen, Slim Fit en Gezond). These projects focus on creating systemic change through sport and physical activity, particularly targeting children and youth. His professional activities include extensive collaboration with schools, sports organizations, and community partners. Mombarg has presented over 122 academic and professional activities, primarily as invited talks and oral presentations, demonstrating his active engagement with both academic and practical communities in the field of sports science and physical education.
Andreas Bayerl is an Assistant Professor of Marketing at the Erasmus School of Economics, Erasmus University Rotterdam. He holds a PhD in Quantitative Marketing from the University of Mannheim and conducts interdisciplinary research at the intersection of digital behavior, consumer psychology, and data science. His research focuses on how individuals generate, process, and are influenced by digital information, particularly in the context of online reviews and influencer marketing. Using a mixed-method approach—combining large-scale observational data, text and image analysis, and field and laboratory experiments—Andreas investigates behavioral patterns in digital ecosystems. His work has been published in leading journals including Journal of Marketing , Harvard Business Review , MIT Sloan Management Review , and Nature Human Behavior . The most recent publications reveal a consistent focus on digital influence, credibility, and consumer decision-making. Key themes include the effectiveness of micro-influencers, the psychological impact of fake reviews, multimodal analysis of visual and textual content, and experimental validations of marketing strategies across platforms. His methodological rigor and real-world relevance are evident across these works. Andreas has received significant recognition for his contributions, including: H. Paul Root Award for groundbreaking research in influencer marketing He actively teaches in the area of data science and marketing analytics, contributing to the next generation of analytically skilled marketers. While no formal advisees are listed, his role as an assistant professor suggests involvement in student supervision and academic mentorship. His research program appears to be supported by empirical rigor and industry relevance, though specific grants or lab affiliations are not mentioned in the provided text.
Dr. L.M. Michelle Bruijn is an Associate Professor at the Department of Legal Methods, Faculty of Law, University of Groningen. Her research focuses on drug-related crime, housing rights, eviction cases, and cannabis regulation, employing quantitative legal research and data science. She holds a Veni Grant (NWO) for the PROHOUSE project (2024–present), investigating housing rights in eviction cases. She is a member of the Young Academy Groningen (YAG), network coordinator of the Scientific Network on Evictions and Housing Research (SNEHR), and a board member of the Dutch Lawyers Association (NJV). Education: PhD in Law (cum laude, 2021) Research Interests: Her work bridges legal theory and societal impact, addressing issues like the interaction between private, criminal, and administrative law. Recent projects include platforms for mayors to tackle drug crime ethically and an interactive case law database. She also collaborates with NGOs like the Centrum voor Criminaliteitspreventie en Veiligheid (CCV) and health institutions like the Trimbos Institute. Awards: Ben Feringa Impact Award (2022) for societal research impact Veni Grant (NWO, 2024) for PROHOUSE project Teaching and Skills: Founder and chair of the Groningen Centre for Legal Skills, focusing on legal education and training. Coordinates master’s theses and the Minor Law program. Teaches courses such as 'Law and Legal Skills: The Dutch Example' and 'Juridische Onderzoeksvaardigheden.' Labs/Networks: Leads the PROHOUSE project and contributes to the Groningen Centre for Legal Skills, offering workshops and teaching materials for legal education.
Professor Marieke Huisman is a leading figure in software reliability at the University of Twente, where she chairs the Computer Science department within the Faculty EEMCS and leads the Formal Methods and Tools (FMT) Group. She serves as President and Steering Committee chair of the ETAPS association, Member of the board of IPN (ICT-Research Platform Netherlands), and Fellow of the Netherlands Academy of Engineering (NAE). Her research focuses on program verification, reliability of concurrent, parallel and distributed applications, software specification, and formal methods. She develops verification techniques through the VerCors verifier, with applications spanning concurrent data structures, GPGPU programming, and distributed systems. Her work bridges theoretical formal methods with industrial applications, particularly in safety-critical domains. Professor Huisman's recent publications demonstrate strong activity in deductive verification, with particular emphasis on verification of concurrent and parallel systems, memory models, and practical applications of formal methods. Her research shows consistent evolution from theoretical foundations toward practical industrial applications, with increasing focus on GPU programming verification and automated invariant generation. Netherlands Prize for ICT Research 2013 (50,000 euros) 2023 Athena Award for female researchers who stand out as role models She leads multiple significant research projects including NWO OC M Pallas, WWU Münster - UT collaboration Saves, NWO TTW OTP Cheops, NWO VICI Mercedes, and Interreg North Sea Storm_Safe. Her leadership extends to editorial roles including Associate Editor-in-Chief of the Software Track of Science in Computer Programming and executive board membership of VERSEN, the Dutch National Association for Software Engineering. Professor Huisman directs the FMT Group which develops the VerCors verification toolset for concurrent and parallel software. The group collaborates internationally with institutions including WWU Münster, TU Eindhoven, and NlNet Labs, focusing on making formal verification accessible and practical for real-world software development challenges.
A.M.G. Zuiderwijk-van Eijk serves as Associate Professor at Delft University of Technology's Faculty of Technology, Policy and Management, where she also directs the Bachelor Systems Engineering Policy Analysis and Management program (Technische Bestuurskunde). Her academic home resides within the Information and Communication Technology department, focusing on critical digital society issues. Her research spans Open Data, Digital Inclusion, and Social Inclusion , examining technological and institutional barriers affecting vulnerable groups' digital technology adoption. Current work investigates data sovereignty frameworks, AI ethics in public governance, and climate policy support systems through interdisciplinary lenses combining information science, public administration, and social contract theory. Recent publications reveal strong emphasis on ethical AI implementation and equitable data governance. Scientific Recognition: Outstanding Paper Award at 36th Bled eConference (2023) She leads significant research initiatives including the active ODECO: Towards a sustainable Open Data ECOsystem project (2021-2025) and previously directed TRUSTS: Trusted Secure Data Sharing Space (2020-2022). Her scholarly impact is evidenced by 119 research outputs including 37 articles, 56 conference contributions, and 23 curated datasets. She actively engages in academic service through conference organization and policy workshops.
Nishant Saurabh is a tenured Assistant Professor at the Department of Information and Computing Sciences , Utrecht University , Netherlands. His research focuses on resource and data management , application scheduling , performance modeling , and optimization in large-scale hybrid distributed systems including Cloud, Edge, and Quantum computing. Recently, he has expanded into ML workload scheduling and causal performance attribution across the Cloud-Edge continuum. Research Expertise : Distributed Systems and Cloud Computing Quantum-HPC Middleware Systems Performance Modeling and Optimization ML/AI Workload Scheduling Cloud-Edge Continuum Architectures Observability Frameworks Scientific Leadership : Associate Editor, Springer's Journal of Cloud Computing Editorial Board, Frontiers of AI book series IBM HPC-Quantum Working Committee member Workshop Chair, IEEE IPDPS 2025 Supervision : He has supervised 16+ Master/Bachelor students on projects including container migration, reinforcement learning for serverless computing, and quantum middleware evaluation. Current PhD students include Diogo Landau (Performance Observability), Nathan Keyaerts (LLM Methods), and Negar Alizadeh (Energy Efficiency).
Nacir Bouali is a Lecturer affiliated with the Digital Society Institute and the Data Management & Biometrics department. His academic work spans multiple domains within computer science and education. Artificial Intelligence Natural Language Processing Software Design Human-Computer Interaction Programming Pedagogy Bouali's recent research explores the intersection of AI and education, including Automated UML Diagram Assessment using large language models Educational Games customized via natural language processing Haptic Data Physicalization for tactile learning The impact of Code Generation Tools on programming education Bouali actively collaborates with researchers like V. Cavalli-Sforza , M. Tukiainen , and F. Ahmed , focusing on improving educational practices through computational methods.
Faizan Ahmed is a Lecturer in the Formal Methods and Tools department at the University of Twente, part of the Faculty of Electrical Engineering, Mathematics and Computer Science. His work spans artificial intelligence, machine learning, and education technology. Research Focus: Explainable AI, software design, railway infrastructure analysis, and nonlinear equation optimization. Collaborations: Active in international conferences like CSEDU and FTC, with co-authors from diverse institutions. Key Contributions: Development of C-SHAP for temporal explanations, IterSHAP for feature selection, and studies on generative AI in programming education.
Prof. J.J.M. Schoonen (Rob) serves as Professor at the Centre for Language Studies and Department of Language and Communication at Radboud University, holding the Chair in Applied Linguistics. His research focuses on language assessment, language proficiency, and second language acquisition with particular emphasis on writing and reading interrelationships. His scholarly work investigates semantic networks in bilingual reading comprehension, L2 writing development across educational stages, and CEFR-aligned language testing frameworks. Key methodological approaches include individual differences studies and longitudinal modeling of linguistic competences, primarily within Dutch as a second language contexts. Recent publications reveal consistent thematic focus on cognitive and social aspects of language assessment, with increasing attention to bilingual children's lexical processing and EFL writing proficiency modeling. The research demonstrates strong integration of theoretical frameworks with practical assessment applications. Scientific recognition includes: 2000: ACTFL-NFMLTA/MLJ Paul Pimsleur Award for Research in Foreign Language Education Prof. Schoonen contributes significantly through institutional leadership as Chair of Radboud in'to Languages' Advisory Board and Member of the Certificate Dutch as a Foreign Language (CNaVT) Board of Directors. His teaching portfolio spans cognitive aspects of language assessment, literacy, and research design across Bachelor's and Master's programs. He leads the 'Language Learning Teaching and Testing' research group, coordinating empirical studies on language acquisition processes and assessment validity in multilingual educational settings.
Christine Utz is an Assistant Professor in the Digital Security group at Radboud University, Nijmegen, Netherlands, affiliated with the interdisciplinary iHub research hub. Her work bridges computer security, privacy, and legal aspects of technology. She holds a Dr.-Ing. in Computer Science from Ruhr University Bochum, with a law degree from the University of Bayreuth. Her research focuses on empirical studies of online privacy, combining technical measurements with human-centered methods. Key areas include privacy risks in web/mobile ecosystems, usability of privacy-enhancing technologies, and the societal implications of tech-law intersections. She has collaborated internationally, including postdoctoral work at CISPA Helmholtz Center and visiting researcher roles in the U.S. and Sweden. Her work has been featured at leading venues like IEEE S&P, PETS, and CHI, addressing topics like cross-platform app analysis, ethical security research, and privacy policy impacts of GDPR/CCPA. She actively participates in program committees for major conferences (e.g., CHI, NDSS) and advises on cybersecurity education initiatives.
