Catarina I. Reis is a Professor at the School of Technology and Management (ESTG) of the Polytechnic of Leiria since 2002, teaching advanced software engineering, agile methodologies, software quality, and object-oriented programming. She holds a PhD in Computer Science from Universitat Politècnica de Catalunya and a postgraduation in Strategic Management. Her educational background includes: PhD in Computer Science, Universitat Politècnica de Catalunya Postgraduation in Strategic Management Dr. Reis specializes in cutting-edge research areas including mHealth applications, Blockchain and Distributed Ledger Technologies, cross-platform Mobile Development (Android/iOS), and Agile Software Development Practices. Her work bridges theoretical innovation with practical implementation in software systems. As a professional leader, she serves as Senior Member of IEEE, Counselor of the IEEE Student Branch at Polytechnic of Leiria, Chair of IEEE Blockchain Working Group (Portugal R8), and Co-Chair for Community Development/Outreach of IEEE Blockchain Initiative. Her technical credentials include Professional Scrum Master certification and ISTQB Foundation Level certification in software testing.
Kristóf Marussy is an Assistant Professor at the Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics. His work bridges model-driven engineering , dependability analysis , and logic solvers to address challenges in critical cyber-physical systems (railway, automotive, aerospace). He leads research in formal verification , automated reasoning , and graph generation , integrating AI with logic-based techniques for system reliability. His recent publications focus on stochastic analysis , abstraction algorithms , and distributed ledger architectures , often leveraging his tool Refinery for constraint-based model generation. Notable awards include the 2024 University Researcher Scholarship Programme (EKÖP) and the 2023 Josef Heim Award . He has served on program committees for OOPSLA, ECOOP, and MODELS. Education: PhD in Computer Science, Budapest University of Technology and Economics (2018–2023) MSc and BSc in Computer Science, Budapest University of Technology and Economics Professional Highlights: 2025–: Assistant Professor at BME, leading research in formal verification and graph-based logic reasoning 2020–2023: Assistant Research Fellow in Hungarian national projects (railway/automotive verification) 2018–2019: Assistant Research Fellow at MTA-BME Lendület Cyber-Physical Systems Research Group Scientific Contributions: Developed Refinery , an open-source graph solver for model generation Contributed to European Space Agency's VAMPIR project for positioning systems Created formal verification methods for critical subsystems in railway/automotive industries Awards: 2024 EKÖP Postdoctoral Scholarship Multiple ÚNKP Excellence Program grants (2016–2023) 2023 Josef Heim Award for innovation Conferences & Journals: Published 15+ papers in top venues (ICSE, ASE, MODELS, IEEETSE, etc.) Active in program committees for OOPSLA, ECOOP, and LLM4MDE Teaching: Course Coordinator for Critical Systems Laboratory since 2024 TA for 9 years, supervising 7 BSc and 4 MSc theses Advising Scientific Students' Association (5 Gold, 5 Silver awards)
Danilo Bazzanella is a Tenured Assistant Professor at the Department of Mathematical Sciences (DISMA) at the Polytechnic of Turin. He serves as a Member of the Regulations Commission and the Academic Senate of the Polytechnic University of Turin. His academic affiliations include being the Founder and Head of the CrypTO group (Cryptography and Number Theory Group), Academic Head of the BIT PoliTO Student Team, and Director of the CrypTO node of the National Cybersecurity Laboratory. His primary research interests encompass Number Theory, Cryptography (particularly Post-quantum Cryptography and Public-key Cryptography), and Blockchain Technology. His work bridges theoretical mathematics with practical applications in cryptography and blockchain systems. Bazzanella has made significant contributions to primality testing, consensus protocols, and the mathematical foundations of cryptocurrencies. An analysis of his recent publications reveals a strong focus on the intersection of number theory and cryptography, with particular attention to blockchain applications. His research spans theoretical investigations of prime number distribution alongside practical cryptographic implementations for blockchain systems, demonstrating a unique blend of pure mathematics and applied security research. His honors include membership in several prestigious organizations: DLT Group - Italian Distributed Ledger Technology Working Group (2024-) Istituto Nazionale di Alta Matematica "Francesco Severi" - INDAM (2020-) Laboratorio Nazionale di Cybersecurity (2020-) Unione Matematica Italiana - UMI (2020-) De Componendis Cifris (2018-) Bazzanella actively supervises numerous PhD students working on topics ranging from post-quantum cryptography to blockchain applications and number theory. He has secured multiple research grants from commercial partners including Technology Innovation Institute, DarkMatter, Telsy SpA, and others. His teaching portfolio includes courses on Cryptography, Blockchain and Cryptoeconomics at both Master's and PhD levels. He leads the CrypTO research group and organizes several academic conferences including the biennial CrypTO Conference, CrypTOgraphy Days, and the annual Number Theory Meeting, establishing himself as a central figure in Italy's cryptography and number theory research community.
Dr. Josep Gunnar Horrach Armo is a Full Professor of Private International Law at the Faculty of Law, University of the Balearic Islands (UIB), where he also serves as Vice-Dean. He has been teaching at the Faculty of Law since 2016, progressing through various administrative positions to his current tenured professorship. Faculty of Law, University of the Balearic Islands (UIB) Vice-Dean of the Faculty of Law (since February 2024) Head of Studies for the Law degree and the double degree in ADE and Law (GAD2) Coordinator of the Menorca and Ibiza campuses in the Law degree Member of the DRIA (Law and Artificial Intelligence) Research Group Dr. Horrach Armo's research focuses on three main areas: virtual platforms and unfair competition, Private International Law in the context of smart contracts and blockchain technology, and other specialized areas of Private International Law including interregional law application under Regulation 650/2012. His 2022 monograph on virtual platforms published by Marcial Pons has been reviewed in prominent international law journals. His research shows a clear trajectory toward understanding how emerging technologies intersect with traditional legal frameworks, particularly in cross-border contexts. His scientific achievements include the Mariano Aguilar Navarro Award for best doctoral thesis in private international law, two research stays at the Max-Planck-Institut in Hamburg, and both state and autonomous six-year research grants. As an external reviewer, he contributes to journals including REDI, REEI, and Millenium DIPr. Dr. Horrach Armo has been actively involved in teaching innovation, publishing approximately ten book chapters on educational methodologies including flipped classrooms, legal debates, digital tools, and artificial intelligence applications in legal education. His leadership roles include Secretary of the Doctoral Academic Committee (2021-2024) and Secretary of the Commission for Guarantee and Quality of the Doctorate in Law.
Tina Loraas is the C. McKenzie Taylor, Jr. Professor of Accountancy at Auburn University's College of Business. She can be contacted at loraatm@auburn.edu or via phone at (334) 844-6203 in Lowder Hall. PhD in Accountancy from Texas A&M University (2004) MAcc and BSBA from Auburn University (1997, 1996) Her research focuses on technology acceptance , cognitive biases in investor/manager decisions, and accounting information systems . She teaches courses in cost/managerial accounting and technology-driven accounting . Her work examines AI (e.g., ChatGPT), blockchain, and Big Data impacts on auditing and investor behavior, as well as ethical and motivational factors in accounting practices. She is a member of the American Accounting Association and previously worked as an accountant at a small firm in Opelika, AL before returning to academia.
Maria José Schmidt-Kessen is an Assistant Professor at the Department of Legal Studies, Central European University. She received her PhD from the European University Institute (Florence) with a thesis on conflicts at the IP-competition interface in EU law, an LL.M from Católica Global School of Law (Lisbon), and an LL.B. in EU Law from Maastricht University. Education PhD, European University Institute, Florence LL.M., Católica Global School of Law, Lisbon LL.B. in EU Law, Maastricht University Her research focuses on antitrust law, intellectual property law, law and technology, online dispute settlement, legal issues related to distributed ledger technologies (DLTs)/blockchain, and the regulation of online gambling. Prior to joining CEU, she served as an Assistant Professor in EU Commercial Law at Copenhagen Business School and as a Postdoctoral Researcher and Teaching Associate at the Center for Commercial Law Studies, Queen Mary University London.
Xiaohui (Helen) Gu is a Professor in the Department of Computer Science at North Carolina State University, where she leads cutting-edge research in computer systems. Her work bridges theoretical innovation with practical applications in cloud and distributed environments, maintaining active collaborations with industry leaders including IBM, Google, and Credit Suisse. Education: Ph.D. in Computer Science, University of Illinois at Urbana-Champaign (2004) M.S. in Computer Science, University of Illinois at Urbana-Champaign (2001) B.S. in Computer Science, Peking University, China (1999) Gu's research centers on autonomous system management through machine learning, with significant contributions to cloud infrastructure reliability. Her work addresses critical challenges in performance debugging, security vulnerability detection, and resource optimization across distributed systems. Current projects focus on self-supervised learning frameworks for container security and causal analysis techniques for microservice performance issues, demonstrating strong interdisciplinary connections between systems engineering and artificial intelligence. Her publication trends reveal deep specialization in cloud-native system resilience, with recent work emphasizing ML-driven anomaly detection (2022-2024), container security (2019-2022), and blockchain privacy mechanisms (2019). The research consistently targets production-grade solutions for industry-scale problems, evidenced by patents licensed to Google and commercialization through her startup InsightFinder. Key honors include: National Science Foundation CAREER Award (2011) Four IBM Faculty Awards (2008, 2010, 2011) Google Research Awards (2009, 2011) Best Paper Awards at ICDCS 2012 and CNSM 2010 IBM Invention Achievement Awards (2004, 2006, 2007) Gu actively mentors PhD students through her DANCE research group (Distributed system research on Autonomy, resilience, Collaboration, and Energy), with current projects funded by $2.3M+ in grants from NSF, ARO, and industry partners. Her sponsored research portfolio includes the NSF-funded CAREER project on virtualized infrastructure reliability and Cisco-sponsored work on machine learning for IT service assurance. She has served as associate editor for IEEE TPDS and program co-chair for major conferences including USENIX ICAC 2014. Gu leads the DANCE research laboratory, which specializes in building resilient cloud systems through techniques like speculative anomaly diagnosis and self-evolving monitoring. The lab maintains strong industry ties, with technologies commercialized through InsightFinder and adopted by Google. Current initiatives focus on predictive management of multi-tenant cloud environments and hybrid computing models for energy-efficient data centers.
Muhammad Shahzad is an Associate Professor in the Department of Computer Science at North Carolina State University and a member of the Networking Research Group. His research bridges systems and security with a focus on networking, security, and Internet of Things applications. His educational background includes: Ph.D. in Computer Science from Michigan State University (2015) B.E. in Electrical Engineering from National University of Sciences and Technology (NUST) (2008) Shahzad's research spans networking, cyber security, and IoT with specific emphases on network measurement, RFID systems, activity recognition, and device authentication. His work extends to cyber-physical systems, embedded real-time systems, and human-computer interaction, frequently involving real-world experimentation and novel sensing techniques for practical security applications. His recent publications (2023-2025) demonstrate interdisciplinary work across reinforcement learning for congestion control, blockchain scalability, data center power management, agricultural sensing via RF, urban mobility analysis, radar-based fruit detection, and non-intrusive network measurement - highlighting his focus on practical IoT and networking innovations. Key recognitions include: Best Poster Award, IIUG (2017) Winner, Virginia Tech Spectrum Sharing Radio Challenge (2016) Fitch-Beach Outstanding Research Award (2015) Outstanding Graduate Student Award (2015) His research is funded by NSF, Cisco, US Army, and Sony through projects including serverless edge computing, BLE onboarding, RF-based indoor mapping, and IoT performance measurement. Current work focuses on enabling stateful applications in serverless architectures, resource protection in cloud data centers, and human discovery through radio frequency signals. He actively contributes to the Networking Research Group at NC State, advancing collaborative efforts in connected computing environments through both foundational research and real-world system deployments.
Nick Letch serves as Deputy Dean and Deputy Head of School at the UWA Business School, University of Western Australia, where he is a Senior Honorary Research Fellow in the Management and Organisations Discipline Group. His academic leadership includes Director of Academic Programs (2015-2017) and Director of Undergraduate Programs (2012-2015), with teaching and research focused on Business Information Systems. His research centers on sociotechnical systems in information technology, emphasizing e-Government, public sector information management, and digital infrastructure development. He investigates how IT implementations affect citizen-administration relationships and organizational processes, applying frameworks like Actor Network Theory to analyze the interplay between social and technical elements in complex systems. Recent publications (2016-2024) demonstrate a consistent trajectory toward blockchain applications in supply chains and marine operations, alongside foundational work in IT governance and sociotechnical modeling. His research bridges theoretical frameworks with practical implementation, addressing real-world challenges in public administration, retail, and international collaboration through interdisciplinary approaches. Dr. Letch has supervised six research students and leads major international projects including Chinese student experience enhancement, automated vehicle pathways evaluation, and educational blockchain innovation. His consultancy work spans government agencies like WA Department of Commerce and Telethon Institute for Child Health Research, focusing on information systems strategy and evaluation. He collaborates with research teams across Australia, China, UK, and USA, forming dynamic networks to tackle complex problems in digital transformation, particularly in public service delivery and educational contexts through blockchain and infrastructure innovation.
Cruz Enrique Borges Hernandez is a Professor at the Faculty of Engineering, University of Deusto, specializing in computational approaches to energy systems and urban sustainability. His research integrates data science, agent-based modeling, and behavioral analysis to address critical challenges in smart grids, energy consumption patterns, and urban mobility. His primary research interests include: Smart grid optimization and electricity demand forecasting Urban mobility modeling and 15-minute city concepts Behavioral interventions for energy efficiency in buildings Cross-generational climate change perception studies Blockchain applications for peer-to-peer energy markets His recent publications demonstrate strong trends in applying machine learning to smart meter data analysis, developing agent-based simulations for urban systems, and examining socio-technical aspects of energy transitions. Key methodological contributions include cascading models for behavioral nudges and novel approaches to electricity consumption typology derivation. As an active researcher in EU-funded projects, he bridges technical energy modeling with social science perspectives, creating policy-relevant outputs that address both engineering challenges and human behavior aspects of sustainability transitions. His work emphasizes practical implementation through platforms like GreenSoul for building energy monitoring and GTPlat for transport planning simulations.
Dr. Khan Reaz is a Researcher in the Cybersecurity and AI group within the Department of Mathematics and Computer Science at Freie Universität Berlin. He has been with the university since August 2016, contributing to numerous research projects including UltraSec, PHY2APP, ONE5G, SecureFog, and AutoKEY. His work focuses on building quantum-ready security solutions with expertise spanning post-quantum cryptography, blockchain technologies, and Internet of Things security. Dr. Reaz holds a Dr. rer. nat. in Computer Science from Freie Universität Berlin, a Double M.Sc. in Information and Communication Technology and Innovation and Entrepreneurship from Technische Universität Berlin and Sorbonne Université, and a B.Sc. in Electronic and Telecommunication Engineering from North South University. He also participated in an exchange study in the USA as a recipient of the Global UGRAD scholarship administered by the U.S. Department of State. His research interests center around cybersecurity architecture with a particular focus on post-quantum privacy and security, next-generation communication networks, blockchain applications, Internet of Things security, formal verification of protocols, and ontology. Dr. Reaz designs security architectures that anticipate threats in the post-quantum world, bridging digital identity, quantum-safe protocols, and AI-powered security agents to build systems that defend, adapt, and scale under next-generation threat models. Dr. Reaz's publication record demonstrates consistent contributions to the fields of wireless security, blockchain applications for IoT, formal verification of security protocols, and UWB-based security solutions. His work shows a clear progression from foundational signal processing and direction of arrival algorithms to more applied cybersecurity solutions focusing on practical implementations for emerging technologies. CISPA Helmholtz-Zentrum für Informationssicherheit travel-grant (2023) Master scholarship from European Institute of Innovation & Technology (2013-2015) Fraunhofer FOKUS grant for Intelligent Services for Digital Cities (2013) Microsoft Student Partner award for outstanding contribution (2011) Runner-up at the Commercial Idea Contest, Grameenphone Ltd. (2010) ITU Youth Education Scheme grant for Bachelor study (2008-2011) Selected for Asia Youth Camp, South Korea (2008) Global UGRAD Exchange Program participant, U.S. Department of State (2007) Dr. Reaz has been actively involved in multiple European cybersecurity projects including AUTOKEY, SecureFog, PHY2APP, and UltraSec, contributing to advancements in privacy-preserving authentication, secure device onboarding, and post-quantum readiness. He participates in global discussions through NIST activities and EU-level working groups such as the 5G and 6G Security Working Groups. He regularly presents at top-ranked conferences including USENIX, ACM MobiSys, and IEEE GLOBECOM. As part of the Cybersecurity & AI Lab at Freie Universität Berlin, Dr. Reaz works within a team that focuses on AI, deep learning, and fundamental information theory for security, privacy, and identity with applications in IoT, 6G, blockchains, post-quantum codes, and deep fake detection.
Gianluca Miscione is a Professor at the University of Zurich, affiliated with the Digital Society Initiative. His career spans multiple institutions, including University College Dublin and the University of Twente, where he held academic roles. PhD in Information Systems and Organization, University of Trento Research collaboration with Sociology Department, Binghamton University Doctoral work at School of International Service, American University His research focuses on the intersection of information systems and organizational practices. Key areas include e-health, blockchain governance, mobile banking, and spatial data infrastructures. Gianluca investigates how technologies like digital authentication systems and telemedicine platforms are adopted and adapted in diverse socio-cultural contexts. Recent publications emphasize blockchain's organizational implications, data privacy narratives, and sustainable software infrastructures. His work bridges technical implementation with societal impact, particularly in developing regions. Gianluca actively collaborates with interdisciplinary teams across Europe and beyond, with fieldwork in Latin America, India, and Kenya. He explores how digital technologies reshape governance, economic systems, and social networks.
Dr. Boris Düdder is an Associate Professor at the Department of Computer Science (DIKU), University of Copenhagen, focusing on Formal Methods, Programming Languages, and Trustworthy Distributed Systems. He leads the Software Engineering & Formal Methods research group and serves as Deputy Head of Department for Teaching, advocating for neurodiversity and inclusion. Primary Affiliation: Department of Computer Science, University of Copenhagen External Lectureship: Copenhagen Business School (CBS), University of Electronic Science and Technology of China (UESTC) Honorary Research Fellowship: Institute for Intelligent Production Systems, Qingdao, China His research bridges formal computer science foundations with industrial applications, including automated program generation for adaptive systems (Combinatory Logic Synthesizer), verifiable AI, blockchain for healthcare IT, and secure data ecosystems. Key projects involve Smart Factories, Data Markets, and Ethical AI assessment via Z-Inspection. Scientific recognition includes the 2022 SSIP Excellence In Service Innovation Award for Z-Inspection. He has secured international grants in blockchain, FinTech, and secure data sharing, operating in multinational consortia. Contact: boris.d@di.ku.dk | Phone: +4593565748 | Website: Research Profile
Tudor-Ovidiu Pal is a Lecturer at the Department of Computer Science , University of Copenhagen, contributing to teaching and research in programming language technology and theoretical computer science. He is affiliated with the Programming Languages and Theory of Computation Section (PLTC), which focuses on foundational and applied research spanning algorithmic programming, formal verification, computer security, and high-performance computing systems. His work intersects with key research groups within PLTC, including investigations into secure networked systems (blockchain, distributed ledger technology), software-based security techniques, functional programming optimizations, and probabilistic programming applications in bioinformatics and AI-driven vaccine design. He also engages with topics like program inversion, reversible computing, and quantum programming paradigms through collaborative efforts with other researchers in the section.
Yue Shi serves as an Instructor in the Department of Computer Science at the University of Copenhagen, actively contributing to the Programming Languages and Theory of Computation (PLTC) section. This section drives research at the intersection of programming language theory and practical applications including security, privacy, and fintech. Research interests encompass: Programming Languages Theory of Computation Formal Verification Distributed Ledger Technology Compiler Technology Computer Security Within the PLTC ecosystem, Yue Shi engages with specialized research groups such as Decentralized Systems (blockchain/distributed ledgers), Security & Privacy, HOT Lab (higher-order typed languages), and FUTHARK (GPU-accelerated functional programming). The section supports BSc and MSc programs in Computer Science, Machine Learning, and related disciplines while maintaining industry collaborations in financial transparency and quantum programming.
