Find Academic Supervisors

João Carlos Antunes LeitãoView profile

Associate Professor

• Distributed Systems
• Cloud Computing
• Peer-to-Peer Networks
• +3 more

João Carlos Antunes Leitão is an Associate Professor in the Informatics Department at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa , and an Integrated Member of NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) . His research focuses on the scalability and dependability of large-scale distributed systems, particularly in cloud computing , peer-to-peer networks , and geo-distributed environments . He leads work packages in European research projects such as TaRDIS and contributes to projects like Syncfree and LightKone. Research interests include: Scalability of distributed systems Causal consistency in geo-replicated storage Self-organizing overlay networks Edge and fog computing Searchable encryption on trusted hardware Framework development for distributed protocols Publication trends show consistent work on distributed hash tables , causal consistency , edge computing , and secure protocols . His framework Babel is designed for performant and dependable distributed protocol development with applications in self-configuration and security. Scientific awards : Best student paper at IEEE NCA13 (2013) Best Paper Award at Inforum 2018 Best Student Paper at CPDLA Track, Inforum 2023 Best Paper Award at Inforum 2011 Advising and grants : João earned his Ph.D. from Instituto Superior Técnico (IST) under Prof. Luis Rodrigues . He has supervised students like Pedro Fouto, Pedro Ákos Costa, and Nuno Preguiça. His research is supported by European projects TaRDIS , Syncfree , and LightKone . Labs and teams : João works with the Computer Systems Group at NOVA LINCS and contributes to open-source frameworks like Babel and Yggdrasil for distributed protocol development and wireless edge systems.

• Answer Set Programming
• Logic Programming
• Knowledge Representation
• +7 more

Mario Alviano is a Professor at the University of Calabria's Department of Computer Engineering, Modeling, Electronics and Systems (DIMES) in Rende, Italy. With a prolific publication record spanning from 2008 to 2025, he has established himself as a leading researcher in Answer Set Programming (ASP), logic programming, and knowledge representation. His work bridges theoretical foundations with practical applications across diverse domains including cybersecurity, environmental monitoring, and explainable AI. Alviano's research focuses on advancing the theoretical understanding and practical applications of Answer Set Programming. His key contributions include developing ASP Chef, a visualization and development framework for ASP; advancing theoretical foundations of conditional reasoning and typicality in weighted knowledge bases; and creating bridges between neural networks and symbolic AI through preferential interpretations. His recent work explores temporal extensions to conditional logics, applications of ASP to digital twin visualization, and tools for improving explainability in AI systems. Alviano's publications consistently appear in top-tier venues including ICLP, LPNMR, JELIA, and Theory and Practice of Logic Programming. His research demonstrates strong trends toward practical applications of theoretical advances, with increasing focus on explainability, visualization, and real-world problem solving. The recent surge in publications (26 in 2024 alone) indicates significant ongoing research activity and leadership in the field. His work increasingly integrates ASP with other AI paradigms, particularly neural networks, to create more interpretable and robust AI systems. Alviano has made substantial contributions to the development of tools and frameworks that lower barriers to entry for ASP, most notably ASP Chef which provides visualization capabilities for complex logic programs. His work on Hashcash Tree demonstrates applications to security problems, while his research on marketplace logistics shows practical business applications of declarative programming. His collaborative network is extensive, with frequent co-authorship with researchers including Wolfgang Faber, Nicola Leone, Francesco Ricca, Carmine Dodaro, Laura Giordano, and Daniele Theseider Dupré, reflecting strong connections across European AI research institutions. Alviano has also organized workshops including multiple editions of Datalog 2.0, demonstrating leadership in the logic programming community.

Kok Chiang LiangView profile

Lecturer

• ASIC Design
• Power Management Unit
• Robotics
• +2 more

Dr. Kok Chiang Liang is a Lecturer and Program Coordinator for Electrical and Electronic Engineering at the School of Engineering , part of the College of Engineering, Science and Environment at Newcastle Australia Institute of Higher Education (NAIHE). He previously worked at DSO National Laboratories and SUSS, receiving multiple awards including the Design Innovation Award and Teaching Excellence Gold Awards . He holds a PhD and BEng (Honours) from Nanyang Technological University (NTU). Education PhD, Electrical & Electronic Engineering, NTU (2014) BEng (Honours), Electrical & Electronic Engineering, NTU As a researcher, Dr. Kok focuses on ASIC design for power management , robotics , artificial intelligence , and energy harvesting applications . His work bridges IoT and sustainable engineering, with over 50 publications in Q1/Q2 journals and conferences. Notably, he has pioneered innovations in medical device design, urban sustainability, and educational technology. His recent articles highlight trends in sustainable electronics and AI integration across domains. He has received significant recognition, including two Best Paper Awards and substantial research seed funding (over S$260,000). Dr. Kok also contributes to community service as a District Councillor and Grassroots Volunteer in Singapore, and serves on the STEM Industrial Advisory Board and IEEE committees . Scientific Awards Design Innovation Award (Individual), DSO National Laboratories (2018) Teaching Excellence Gold Award, SUSS (2020, 2025) Best Paper Award, 3rd ICESA (2021) Best Paper Award, 6th ICPEE (2024) Dr. Kok’s leadership extends to research grants as Principal Investigator and Co-PI, and to policy advisory roles for Singapore’s Ministry of Education. His interdisciplinary approach combines technical innovation with societal impact, reflected in his roles at People’s Action Party Meet-the-People Sessions and Ang Mo Kio Town Council .

Vincenzo ArceriView profile

Assistant Professor

• Static Program Analysis
• Abstract Interpretation
• String Analysis
• +5 more

Vincenzo Arceri serves as an Assistant Professor (non-tenure) in the Department of Mathematical, Physical and Computer Sciences at the University of Parma. Previously, he held a postdoctoral position at Ca' Foscari University of Venice (2019-2021) following his 2020 PhD completion at the University of Verona, where he also earned his Bachelor's (2014) and Master's (2016) degrees in Computer Science. His academic trajectory demonstrates continuous progression in static analysis research. His educational foundation includes: PhD in Computer Science (2020), University of Verona MSc in Computer Science (2016), University of Verona BSc in Computer Science (2014), University of Verona Arceri's research centers on static program analysis with specialization in string analysis for dynamic languages, abstract interpretation frameworks, and blockchain security verification. He has developed novel techniques for smart contract analysis across Ethereum (EVMLiSA), Hyperledger Fabric, and Tezos platforms, addressing critical issues like cross-contract invocations and read-write conflicts. His work bridges theoretical formal methods with practical security applications in decentralized systems. Recent publications (2023-2025) reveal a strategic research pivot toward blockchain verification, comprising 60% of his output. Key contributions include the Tarsis string domain for automata-based analysis, LiSA framework extensions for multi-language support, and specialized tools for EVM bytecode. His work consistently addresses precision-performance tradeoffs in abstract interpretation while expanding into machine learning applications for code analysis. Arceri actively seeks research collaborators, stating he "is always looking for strong and motivated students to work with me." His projects EVMLiSA, LiSA, and Tarsis demonstrate sustained research funding through GitHub maintenance and industrial collaborations like the GoLiSA experience report. He has developed curricular materials for graduate courses including Static Analysis and Software Verification at Parma. He maintains active connections with the Software and System Verification research group, previously at Ca' Foscari University of Venice and currently through open-source contributions at University of Parma. His GitHub repositories and Zulip community engagement foster collaborative development of static analysis tools, particularly for blockchain applications.

Martijn de WaalView profile

Professor

• Public Space
• Smart City
• Digital Media
• +12 more

Martijn de Waal is a Full Professor at the Civic Interaction Design department within CREATE-IT APPLIED RESEARCH at Amsterdam University of Applied Sciences . His work focuses on the intersection of public space , smart cities , and digital civics , emphasizing collaborative urban design and resilience in the face of technological and societal challenges. Research Themes Public Space & Urban Resilience Blockchain & Digital Governance Media Architecture & Networked Urbanism Commons & Collaborative Systems More-than-Human Design His recent articles highlight trends in designing civic platforms for blockchain societies, urban resilience post-COVID-19, and media architecture for public engagement. He explores how digital technologies reshape civic participation and urban governance, often bridging human and non-human perspectives. Scientific Contributions include frameworks for neighborhood resilience , public code standards , and commons-based urban design . His media and press contributions address public values in algorithmic societies and data transparency . Labs & Teams : Active in CREATE-IT APPLIED RESEARCH and Media Architecture Institute , collaborating internationally on urban interaction design and digital platforms for societal challenges.

Angel Quiros OlozabalView profile

Associate Professor

• Electronics
• Hardware Design
• FPGA Development
• +8 more

Angel Quiros Olozabal is an Associate Professor at the University of Cadiz, affiliated with the Department of Automatic, Electronic, Computer Architecture and Networks Engineering. His research focuses on hardware development, FPGA optimization, and circuit design, with applications in Boundary Scan (JTAG) test automation, power quality monitoring, neuromorphic systems, and biomedical devices like TMS coils. His work spans diverse subfields including digital signal processing, electromagnetic modeling, and educational technologies. Key methodologies involve VHDL synthesis, boundary element analysis, and real-time system implementation. Current research trends emphasize privacy-preserving data collection protocols, thermal modeling for medical devices, and low-cost embedded platforms for circuit emulation. Scientific awards are not explicitly mentioned in the provided data. No student advisement records were found. For collaboration or inquiries, his email is angel.quiros@uca.es .

Maria Mercedes Rodriguez GarciaView profile

Professor

• Privacy-Preserving Data Publishing
• Blockchain Technology
• Learning Analytics
• +4 more

Maria Mercedes Rodriguez Garcia serves as a Professor in the Department of Automation, Electronics, Architecture and Computer Networks Engineering at the University of Cadiz, Spain. Her research focuses on critical intersections of data privacy, blockchain security, and educational technology within the PAIDI Information and Communication Technologies framework. She earned her PhD from Universitat Rovira i Virgili in 2017 with the dissertation Semantic perturbative privacy-preserving methods for nominal data , supervised by Dr. Montserrat Batet Sanromà and Dr. David Sánchez Ruenes. Her research methodology consistently combines formal methods with practical cybersecurity applications, particularly through the TIC195 Software Process Improvement and Formal Methods group. Rodriguez Garcia’s research program demonstrates clear evolutionary progression: foundational work on semantic noise addition (2015-2017) matured into blockchain-integrated healthcare privacy systems (2021-2024), with current 2025 publications pioneering ecologically sustainable DLT tendering processes and advanced cybersecurity event detection. Her learning analytics research uniquely bridges educational integrity (fraud detection in online exams) with sequential data protection, while maintaining strong emphasis on utility-preserving privacy techniques across all domains. No scientific awards were documented in the provided materials. Her academic service includes thesis supervision as indicated by profile navigation elements, though specific student names and grant funding details remain unspecified. She actively contributes to the TIC195 research group’s mission of applying formal verification methods to software engineering challenges, with recent work emphasizing sustainable technology implementations and gender-inclusive STEM education initiatives.

Adil AhmadView profile

Assistant Professor

• Computer Security
• Systems Engineering
• Architecture
• +3 more

Adil Ahmad is an Assistant Professor in the School of Computing and Augmented Intelligence (SCAI) at Arizona State University (ASU), Tempe, AZ. His research focuses on computer security, systems, and architecture, aiming to protect sensitive data from powerful adversaries using hardware-assisted trusted execution environments (TEEs) and secure system software design. Education: Ph.D. in Computer Science, Purdue University, 2022 B.S. in Computer Science, Lahore University of Management Sciences, 2016 Adil leverages TEEs to address protection and usability limitations while designing principles to strengthen critical system software (e.g., operating systems and hypervisors). His work has been supported by a US Department of Defense DEPSCoR Award, and he actively contributes to academic service as a program committee member and reviewer for top-tier conferences like IEEE S&P, USENIX Security, and ACM CCS. Selected publications include Veil (ACM ASPLOS 2023), OmniLog (USENIX Security 2023), and eOPF (USENIX OSDI 2023), focusing on confidential computing, secure logging, and cloud orchestration. He also leads outreach initiatives like the Desert CodeSprouts Workshop, promoting computer science education for middle-school students in cybersecurity, programming, and machine learning. Scientific Awards: US Department of Defense DEPSCoR Award Adil chairs sessions like "Verification for Security" at IEEE S&P and mentors students in systems and security research. He is open to hiring motivated PhD students and emphasizes hands-on, inclusive learning environments in his outreach activities.

Scott PattersonView profile

Adjunct Professor

• Computer Science
• Software Engineering
• Cybersecurity
• +3 more

Scott Patterson serves as an Adjunct Professor in the Department of Computer Science within the College of Science & Mathematics at Rowan University. His role supports undergraduate programs including BA in Computing & Informatics, BA in Computer Systems Technology, and BS in Computer Science, alongside graduate offerings such as MS in Computer Science and MS in Cybersecurity. His research spans core computing disciplines with emphasis on: Computer Science Software Engineering Cybersecurity Data Science Networking Artificial Intelligence These interests align with the department's concentrations in AI, Cybersecurity Defense, Data Science, and Software Engineering, as well as certificate programs in Blockchain, Ethical Hacking, and Network Security. As part of Rowan's computing faculty, he contributes to the department's mission of delivering industry-relevant education through project-based learning and specialized technical training.

• Distributed Systems
• Blockchain Technology
• Middleware Integration
• +4 more

Julian Kalinowski is a researcher at the University of Hamburg's Department of Computer Science within the Faculty of Mathematics, Informatics, and Natural Sciences (MIN). His work focuses on distributed systems, blockchain technology, and middleware integration for mobile environments. Key projects include Jadex BDI Agent System and the cadeia initiative for distributed code execution in information markets. PhD candidate in Computer Science Email: kalinowski@informatik.uni-hamburg.de Room F510, Office hours by appointment Research interests span decentralized information markets, blockchain compliance (e.g., GDPR), and mobile middleware optimization. His 2015 best paper award at MATES conference highlights contributions to agent platform customization. Publications from 2012-2020 reveal trends in blockchain applications, smart grid optimization, and IoT security. Supervised 9 student theses covering decentralized billing, smart home systems, and localization technologies. Key awards: Best Paper Award (MATES-2015).

Florian MatthesView profile

Professor

• Software Engineering
• Business Information Systems
• Natural Language Processing
• +6 more

Florian Matthes is a Professor of Software Engineering for Business Information Systems at the Technical University of Munich (TUM), specifically within the TUM School of Computation, Information and Technology. Born in 1963, he has established himself as a leading researcher in software engineering, business information systems, and their applications across various domains. Prof. Matthes' research focuses on business information systems and software engineering, with particular emphasis on natural language processing applications in medical, legal, and enterprise contexts, privacy-enhancing technologies for digital platforms, and blockchain-based systems engineering. His work bridges theoretical computer science with practical industry applications, as evidenced by his co-founding of several successful IT startups including CoreMedia AG (1996), infoAsset AG (1999), Tr8cy UK Ltd (2018), and silver AI GmbH (2024). His publication record demonstrates consistent research productivity with over 400 research outputs spanning from 1990 to the present, with significant activity in recent years (2023-2025). His work spans multiple subfields including privacy-enhancing technologies, natural language processing, blockchain systems, and agile software development methodologies. The research shows a clear trend toward addressing contemporary challenges in AI ethics, data privacy, and the integration of emerging technologies into business information systems. Ernst Denert Award for Software Engineering 2022 Prof. Matthes has held significant leadership roles including Head of the Software Architecture working group of Gesellschaft für Informatik, membership on the advisory board of the Ernst Denert foundation for software engineering, and organization of several international conferences. He previously served as Dean of Studies at the Faculty of Computer Science at TUM until 2010 and has been a venture ambassador of the TUM Venture Labs since 2020. His academic journey began at J.W. Goethe University in Frankfurt (graduated 1988), followed by a doctorate at the University of Hamburg in 1992, and research at Digital Equipment Systems' research center in Palo Alto (1992-93). He was a professor at TU Hamburg-Harburg from 1997 to 2002 before joining TUM. His work demonstrates strong industry-academia collaboration through his startup activities and advisory roles, reflecting his commitment to translating research into practical applications while maintaining academic rigor.

Burak ÖzView profile

Research Fellow

• Blockchain Economics
• Maximal Extractable Value (MEV)
• Decentralized Finance (DeFi)
• +3 more

Burak Öz is a Research Fellow at the Chair of Software Engineering for Business Information Systems (sebis) at the Technical University of Munich (TUM). His research focuses on blockchain economics, maximal extractable value (MEV), decentralized finance (DeFi), and Ethereum systems. University: Technical University of Munich School: Faculty of Informatics Department: Software Engineering for Business Information Systems Mr. Öz's research explores MEV extraction techniques, cross-chain arbitrage, and blockchain transaction ordering. He has contributed to foundational studies on MEV mitigation, smart contract optimization, and decentralized finance infrastructure. His recent work focuses on cross-chain MEV extraction and blockchain interoperability. He has published extensively in conferences like IEEE ICBC, ACM SAC, and AFT, with keywords spanning Ethereum, DeFi, and automated market makers. TLDR Research Fellow 2024 Burak Öz co-supervises master's theeses on MEV detection, transaction ordering, and blockchain security. He also teaches courses on blockchain systems engineering and software engineering for business applications at TUM.

• AI Accountability
• Socio-technical Systems
• Information Systems
• +3 more

Long Hoang Nguyen serves as an Affiliated Researcher and PhD Candidate at the Technical University of Munich's Heilbronn campus within the Chair of Information Infrastructures (Prof. Ali Sunyaev). His work centers on AI accountability, integrating perspectives from Information Systems, Computer Science, and Law to examine socio-technical implications for stakeholders, particularly AI developers. He earned a Master’s degree in Information Systems from the University of Potsdam, specializing in Data Science and Human-Computer Interaction. His academic background is complemented by professional experience as a Research Assistant at Berlin's Weizenbaum Institute and as a Software Engineer at a Potsdam-based high-performance computing startup. Nguyen's research investigates how accountability mechanisms shape developer behavior in AI systems. He explores reward structures that encourage proactive accountability and synthesizes cross-disciplinary accountability frameworks, highlighting the interplay between technical design, legal requirements, and social dynamics in responsible AI development. His 2024 publications reveal a focus on practical accountability interventions for developers and interdisciplinary accountability dimensions. This work contributes to emerging trends in ethical AI, emphasizing actionable strategies for embedding accountability throughout the AI lifecycle. Scientific awards and major honors were not mentioned in the available information. He mentors students on thesis projects related to AI ethics, autonomous systems, and blockchain, with current topics including ethically aligned harm mitigation in autonomous driving and decentralized software applications. No specific research grants are detailed in the provided materials. Nguyen contributes to the AAIS research project (Accountable Artificial Intelligence-based Systems: A Multi-Perspective Analysis) within the Chair of Information Infrastructures, collaborating on multi-disciplinary investigations into AI accountability frameworks and developer practices.

Russell W. F. LaiView profile

Assistant Professor

• Cryptography
• Security
• Privacy
• +2 more

Russell W. F. Lai is an Assistant Professor at the Department of Computer Science , Aalto University , focusing on the algebraic aspects of public-key cryptography and their applications to security and privacy. His research intersects mathematical foundations with practical cryptographic protocols . Research Areas: Cryptography Security Privacy Public-Key Cryptography Algebraic Cryptography Recent work includes advancements in lattice-based cryptography , with applications to updatable encryption , threshold signatures , traitor tracing , and verifiable delay functions . Key techniques involve Learning with Errors (LWE) and Short Integer Solution (SIS) problems. Scientific Awards: The Andreas Pfitzmann - PETS Best Student Paper Award Runner Up (2022) for "On Defeating Graph Analysis of Anonymous Transactions"

• Human-Computer Interaction (HCI)
• User Experience (UX) Design
• Usability Engineering
• +9 more

Marko Nieminen is a Professor in the Department of Computer Science at Aalto University, specializing in Human-Computer Interaction (HCI), Strategic Usability, and ICT for Development (ICT4D). He leads the Strategic Usability Research Group (STRATUS) and contributes to initiatives like SoberIT and USchool. Research Interests: User-centered design methodologies Usability engineering in business and healthcare Collaborative ICT in industrial networks Participatory design for underserved communities Blockchain applications in energy systems Recent Publication Trends: His work bridges HCI, sustainability, and decentralized systems, focusing on blockchain-based energy markets, VR learning environments, and inclusive design practices across diverse contexts. Scientific Awards: Highly Commended Award, Journal of Information, Communication and Ethics in Society (2017) Distinguished Senior Researcher Award, Helsinki University of Technology (1999) Finnish Federation of Electrical and Electronics Industry Award (2002)