Find Academic Supervisors

Gianvito LanzollaView profile

Professor

• Digital Transformation
• Technology Strategy
• Competitive Dynamics
• +7 more

Gianvito Lanzolla is a Professor of Strategy at Bayes Business School (formerly Cass), City, University of London, where he has been employed since April 2006 and served as Dean of the Faculty of Management from 2016-2020. He founded the Bayes Digital Leadership Research Centre and is a Fellow of the Royal Society of Arts. Education: MSc in Mechanical Engineering, PhD in Strategic Management Visiting Appointments: London Business School, Indian School of Business, ESMT Berlin His research focuses on digital transformation, technology strategy, institutional change, and competitive dynamics. He examines how CEOs' digital orientation and board characteristics affect firm value, with publications in Academy of Management Journal , Harvard Business Review , and California Management Review . His work has won multiple academic prizes and been featured in major media outlets. Recent publications analyze digital ecosystems, agile transformation, and AI applications in finance. He teaches 'Strategic Leadership' and 'Digital Transformation' in MBA programs, having won teaching excellence awards in 2007, 2008, 2009, 2012, and 2015. Scientific Awards: City University Teaching Excellence Awards (2015, 2012, 2009, 2008) Strategic Management Society Best Paper Award (2012) SSRN Top Ten Downloaded Paper (2008) Spanish Academy of Management Best Paper Award (2009)

• Formal Verification
• Software Testing
• Programming Languages
• +12 more

Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.

Luca CarloniView profile

Professor

• Computer Science
• Embedded Systems
• Hardware Design
• +6 more

Luca Carloni is a Professor of Computer Science and Department Chair at Columbia University's Columbia Engineering. He leads the System-Level Design Group, focusing on heterogeneous system-on-chip (SoC) architectures, networks-on-chip (NoC), and embedded systems. Carloni holds a Laurea Summa Cum Laude in Electronics Engineering from the University of Bologna and a PhD in Electrical Engineering and Computer Sciences from UC Berkeley. His work emphasizes specialized hardware design, energy-efficient computing, and FPGA-based prototyping. Research interests include system-level design methodologies for SoCs, embedded accelerators, and quantum computing hardware. He has pioneered frameworks like Embedded Scalable Platforms (ESP) and tools like MosaicSim for rapid SoC prototyping. Carloni has received numerous awards, including the NSF CAREER Award (2006), IEEE Fellow (2017), and multiple best paper awards at DATE and CloudCom conferences. He has served on editorial boards of IEEE Transactions on CAD and ACM Transactions on Embedded Computing , and chaired key conferences like EMSOFT and ESWeek. His research addresses challenges in heterogeneous architectures, power management, and the intersection of machine learning with embedded systems. Current projects explore quantum control systems, brain-computer interfaces, and energy-efficient datacenter computing.

• Digital Provenance
• Operating Systems
• Distributed Systems
• +5 more

Thomas Pasquier is an Assistant Professor in the Department of Computer Science at the University of British Columbia, affiliated with the Systopia Lab and UBC Security & Privacy Group. His research focuses on digital provenance, system auditing, intrusion detection, and performance optimization. He investigates systems security through provenance graph analysis, developing practical frameworks for intrusion detection (including PROVNET and Kairos) and provenance summarization tools. His work combines machine learning with systems research to enhance cybersecurity transparency. Recent Publications (2022-2025) Provenance-based intrusion detection systems analysis Whole-system provenance for practical security eBPF kernel extension security enhancements LLM-driven provenance summarization Research code quality assessment Scientific Awards Incredible Instructor Awards Amazon Science Research Award He supervises graduate students in systems security research and teaches courses on security & privacy and operating systems. His lab welcomes diverse students for thesis-based research opportunities.

• System Infrastructure for Big Data Processing
• High-Performance Computing (HPC)
• Storage Systems
• +5 more

Dr. Song Jiang is a Professor in the Department of Computer Science and Engineering at The University of Texas at Arlington (UTA). He holds a PhD from the College of William and Mary (2004) and has held academic positions at institutions such as Wayne State University and Los Alamos National Laboratory. His research focuses on system infrastructure for large language models (LLMs) and big data processing, including GPU/CPU memory systems, file and storage systems, and high-performance computing (HPC) I/O systems. He has received significant funding from the National Science Foundation (NSF) and industry partners like VMware and Tencent. Education: B.S. and M.S. from University of Science and Technology of China (1993, 1996), Ph.D. in Computer Science from College of William and Mary (2004). Postdoctoral research at Los Alamos National Laboratory (2004–2006). Research interests include file and storage systems, data management, big data analytics, and optimizing computing architectures for AI/ML. Key contributions include the LIRS replacement algorithm (adopted in MySQL and NetBSD), CLOCK-Pro page replacement (used in Linux), and swap token algorithms (Linux kernel). Awards include the 2022 ACM SIGMETRICS Test of Time Award and 2009 NSF CAREER Award. His work has led to 15+ patents and impactful industry collaborations with Facebook, Baidu, and others. Advising: Supervised 14+ PhD/Master’s students, including current advisees Chen Zhong and Sujit Maharjan. Active roles in doctoral committees and thesis supervision. Grants: Over $2.5M in NSF funding for projects like 'Software Defined Cache for Index Search' and 'Taming Small Data Writes'. Industry grants include VMware’s $240K project on distributed key-value storage. Labs/Teams: Leads research on persistent memory systems, key-value stores, and LLM infrastructure through UTA’s CSE department and collaborations with industry partners.

Pia VogelView profile

Professor

• ATP Synthase
• Multidrug Resistance
• Ryanodine Receptor
• +5 more

Pia Vogel is a Professor in the Department of Biological Sciences at Southern Methodist University (SMU), where she leads research on nucleotide-binding proteins using Electron Spin Resonance spectroscopy and molecular modeling. Her work focuses on elucidating structural mechanisms in ATP synthase, multidrug resistance transporters, and calcium channels with biomedical applications in cancer therapy and neurodegenerative diseases. Education: Ph.D., University of Kaiserlautern Dr. Vogel's research program investigates three interconnected domains: the rotary mechanics of FoF1-ATP synthase (particularly the external stalk subunit b-dimer), the structural basis of multidrug resistance in P-glycoprotein and MRPs, and ATP-regulated calcium release via ryanodine receptors. Her laboratory employs site-specific spin labeling, ESR spectroscopy, and computational modeling to resolve protein dynamics and interactions at molecular resolution, contributing to understanding energy transduction in ATP synthase and mechanisms of drug resistance. Analysis of her 15 most recent publications (2020-2025) reveals a dominant focus on developing and characterizing P-glycoprotein and BCRP inhibitors to overcome chemotherapy resistance in cancer. These studies integrate computational screening, ATPase assays, and cell-based models to evaluate inhibitor efficacy, with emerging applications in Alzheimer's research through amyloid-β transport studies. The work demonstrates consistent methodological synergy between biophysical characterization and therapeutic development. Dr. Vogel maintains an active research group supported by sustained funding, evidenced by continuous publication output and laboratory infrastructure. Her team employs multidisciplinary approaches spanning biophysics, biochemistry, and computational biology to address fundamental questions in membrane protein function. Her laboratory facilities in DLSB 221 include specialized Electron Spin Resonance instrumentation and dual Linux computing clusters for molecular dynamics simulations. The research environment supports collaborative projects extending her work into cancer therapeutics and neurodegenerative disease mechanisms through partnerships with clinical and computational researchers.

Thomas WildView profile

Professor

• Manycore system on chip (SoC) architectures
• Network processor (NPU) architectures
• On-chip communication architectures
• +3 more

Dr.-Ing. Thomas Wild serves as an Academic Director at the Technical University of Munich (TUM), working within the TUM School of Computation, Information and Technology at the Chair of Integrated Systems. He maintains an active research and teaching role at the institution, with his office located in Building N1 (Theresienstr. 90), Room N2136 in Munich, Germany. Dr. Wild's research focuses on advanced computing architectures, with particular emphasis on manycore system on chip (SoC) architectures, network processor (NPU) architectures, on-chip communication architectures including networks on chip (NoC), and system level design methodologies. His work bridges theoretical research with practical implementation, often exploring design space exploration techniques to optimize system performance. The evolution of his research over two decades demonstrates a consistent focus on improving communication architectures and system-level design for embedded and high-performance computing platforms. His recent publications (2023-2025) reveal a growing integration of machine learning techniques with traditional hardware design, particularly in optimizing power-performance tradeoffs in embedded systems. There's a clear trend toward hardware-software co-design approaches, with significant work on SmartNICs, Linux system optimization, and network processing acceleration. His research shows strong interdisciplinary connections between computer architecture, networking, and machine learning. EUROPRACTICE representative for TUM city campus, facilitating access to commercial EDA tools for academic purposes Active collaborator with Professor Andreas Herkersdorf and other researchers at TUM Focus on practical implementations with FPGA-based prototyping and real system modifications Dr. Wild teaches several hardware design courses including VHDL Lab, SystemC Lab, and HW/SW Codesign, contributing to the education of next-generation computer engineers. His teaching directly complements his research in system design and hardware acceleration, providing students with hands-on experience in cutting-edge technologies.

Yonghwi KwonView profile

Visiting Assistant Professor

• Software Systems Security
• Cyber Forensics
• Software Engineering
• +3 more

Yonghwi Kwon is a Visiting Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on software systems security, cyber forensics, and software engineering. He received the CAREER Award for developing dynamic defenses against cyber threats. His work emphasizes securing software from cyber attacks, recovering forensic evidence, and improving software testing and reverse engineering techniques. Key research areas include memory safety mechanisms, automated vulnerability detection in web applications and mobile systems, and forensic analysis of phishing campaigns. He has pioneered frameworks like CMASan for memory allocator-aware sanitization and Racedb for detecting race conditions in database-backed systems. His contributions span cloud security automation, kernel exploitation analysis, and embedded system fuzzing. Notable achievements include the 2025 CAREER Award supporting his dynamic defense research, and impactful publications in areas like Android information leakage detection (DryJIN), Bluetooth protocol fuzzing (BTFuzzer), and autonomous driving bug discovery (Drivefuzz). His work bridges theoretical computer science with practical cybersecurity solutions.

Andrea BastoniView profile

Research Fellow

• Real-Time Systems
• Cyber-Physical Systems
• Operating System Design
• +5 more

Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.

Jonathan Andrew CrowcroftView profile

Professor

• Computer Networks
• Distributed Systems
• Opportunistic Communications
• +7 more

Jon Crowcroft is the Marconi Professor of Communications Systems in the Department of Computer Science and Technology at the University of Cambridge, and serves as the Chair of the Programme Committee at the Alan Turing Institute. He is also a Fellow of Wolfson College, Cambridge, and a visiting professor at the Department of Computing at Imperial College London. With a career spanning over three decades in computer networking research, Professor Crowcroft has made seminal contributions to the development of the Internet and continues to be highly active in cutting-edge research areas. His educational background includes: BA in Physics from Trinity College, University of Cambridge (1979) MSc in Computing from University College London (1981) PhD from University College London (1993) Professor Crowcroft's research spans multiple domains in computer networking and distributed systems. He has worked in Internet support for multimedia communications for over 30 years, with three main focus areas: scalable multicast routing, practical approaches to traffic management, and the design of deployable end-to-end protocols. His current research focuses on opportunistic communications, social networks, and techniques to scale infrastructure-free mobile systems. He is particularly known for his 'build and learn' paradigm for research and has recently been exploring decentralized digital identification systems, smart cities, and edge computing. His work often bridges theoretical foundations with practical implementations, emphasizing privacy-preserving approaches and sustainable network architectures. Professor Crowcroft has received numerous prestigious awards recognizing his contributions to the field, including: Election as Fellow of the Royal Society (2013) ACM SIGCOMM Award (2009) ACM Fellow (2002) Fellow of the Royal Academy of Engineering IEEE Fellow (2004) Chartered Fellow of the British Computer Society Throughout his career, Professor Crowcroft has advised numerous PhD students, including Mark Handley and Pan Hui, who have themselves become influential researchers in the networking community. He has authored several influential books that have been adopted internationally in academic courses, such as 'TCP/IP & Linux Protocol Implementation,' 'Internetworking Multimedia,' and 'Open Distributed Systems.' His research has been supported by various grants and collaborations with both academic institutions and industry partners, contributing to successful startup projects and influencing Internet standards. Professor Crowcroft is actively involved in several research initiatives, including serving on the Scientific Council of IMDEA Networks Institute since 2007 and the advisory board of the Max Planck Institute for Software Systems. He is also a director of the Matrix Foundation, which develops open network protocols. His current research group focuses on privacy-preserving analytics, decentralized systems, and the future of Internet architecture.

• Algebraic Geometry
• Hyperkähler Manifolds
• Rozansky-Witten Invariants
• +3 more

Prof. Dr. Marc Nieper-Wißkirchen is a University Professor (W3) for Algebra and Number Theory at the Institute of Mathematics, University of Augsburg, since 2008. He has held visiting positions at the Max Planck Institute for Mathematics in Bonn and the University of Cambridge, and served as a Junior Professor at Johannes Gutenberg University Mainz (2004–2008). Since October 2021, he has been Vice Dean of the Faculty of Mathematics, Natural Sciences and Technology (MNTF). Education: Diploma in Mathematics (2000) from the University of Cologne, preceded by preliminary diplomas in physics (1997) and mathematics (1997). His doctoral studies (2000–2002) under Prof. Daniel Huybrechts focused on characteristic classes and Rozansky-Witten invariants of hyperkähler manifolds. His research spans algebraic geometry, differential geometry, and mathematical physics, with a focus on hyperkähler manifolds, Hilbert schemes of points, irregular singular connections, and Stokes phenomena. He has contributed to the understanding of Rozansky-Witten invariants, Chern numbers, and topological aspects of differential equations. Recent publications include works on Betti structures of hypergeometric equations (2022) and Stokes matrices for confluent hypergeometric equations (2022), reflecting his ongoing exploration of differential equations' geometric underpinnings. Earlier works address Hochschild homology, equivariant cohomology, and operads in algebraic contexts. His computational contributions include software demonstrations for elliptic curve arithmetic, Collatz sequences, and Google Matrix simulations. Technical expertise includes programming languages (TeX, PHP, HTML) and systems (Unix/Linux, Zope/Plone).

Gero MühlView profile

Professor

• Distributed systems
• Distributed algorithms
• Event-based systems
• +7 more

Prof. Dr.-Ing. habil. Gero Mühl is a W2-Professor at the University of Rostock, where he holds the chair for "Architecture of Application Systems" since October 2009. His academic journey includes positions as a Heisenberg Fellow at the Technical University of Berlin (2009), postdoctoral research at TU Berlin (2002-2009), and doctoral studies at TU Darmstadt where he received his Dr.-Ing. degree with distinction in 2002. He completed dual Diplomas in Computer Science (Dipl.-Inform.) and Electrical Engineering (Dipl.-Ing.) from FernUniversität in Hagen in 1998. Prof. Mühl's research focuses on Self-Organizing Distributed Systems , with particular expertise in distributed systems, distributed algorithms, event-based systems, middleware, energy-efficient systems, organic computing, sensor networks, web services, and electronic commerce. His work bridges theoretical foundations with practical implementations in real-world distributed environments. His recent publications show a strong trend toward time-sensitive networking, content-based publish/subscribe systems, and P4 programmable data planes. These works address critical challenges in industrial communication, real-time systems, and network reliability. His research group has made significant contributions to making distributed systems more autonomous, reliable, and efficient. Scientific awards and recognitions include: Nomination for the Berlin Science Award for Young Scientists (2008) Heisenberg Fellowship by the German Research Foundation (DFG) (2008) Best paper award in System Software and Security at SAC 2015 Prof. Mühl has been actively involved in numerous research projects and collaborations, particularly focusing on self-organizing and self-stabilizing systems. His work on the REBECA publish/subscribe middleware represents a significant contribution to autonomous distributed systems. He has supervised numerous students and researchers, contributing to the development of the next generation of computer scientists specializing in distributed systems. His laboratory at the University of Rostock focuses on practical implementations of self-organizing distributed systems, with current projects investigating time-sensitive networking, publish/subscribe systems, and energy-efficient distributed computing. The team combines theoretical analysis with practical system development to address real-world challenges in industrial and commercial applications of distributed systems.

Baishakhi RayView profile

Associate Professor

• Software Engineering
• Artificial Intelligence
• Machine Learning
• +3 more

Baishakhi Ray is an Associate Professor at Columbia University, specializing in improving software reliability and developers' productivity for both traditional and AI-driven systems. She leads the ARiSE Lab, focusing on interdisciplinary research at the intersection of software engineering and artificial intelligence. Her research interests include software testing for AI systems, adversarial robustness, automated testing of autonomous systems, and leveraging AI techniques such as neural networks for dynamic analysis and fuzzing. Notable projects include DeepTest for autonomous car testing and NEUZZ for efficient fuzzing. Awards: VMware Early Career Faculty Award (2020), IBM Faculty Award (2019), NSF CAREER Award (2019), and multiple best paper awards including EAPLS FASE (2020) and ACM Distinguished Papers (FSE 2017, MSR 2017). Grants: NSF CAREER grant (2019-2024) for deep learning testing, NSF grants for workshops and security bug detection, and collaborative grants on persistent memory and SSL/TLS implementations. Her recent work emphasizes advancing code generation with large language models (LLMs), evaluating model robustness under data contamination, and developing tools like CodeSense and CrashFixer for code semantics and kernel debugging. The ARiSE Lab also explores causal performance debugging and transfer learning for configurable systems.

Mary C. LacityView profile

Professor

• Blockchain Technology
• Decentralized Identity
• Metaverse
• +6 more

Mary C. Lacity is the Distinguished Professor of Information Systems and David D. Glass Endowed Chair at the Sam M. Walton College of Business, University of Arkansas, where she has been a faculty member since 2018. She previously served as Curators' Distinguished Professor at the University of Missouri for over 25 years and has held visiting positions at MIT Sloan School of Management, London School of Economics, Oxford University, and the University of Houston. Her research focuses on transformative digital technologies, particularly blockchain-enabled solutions, decentralized identity, metaverse applications, ethical uses of technology, and automation in services. She has published over 30 books and 100 journal articles in leading academic and practitioner journals such as Harvard Business Review , MIS Quarterly , and Communications of the ACM . Dr. Lacity has made significant contributions to the field through her editorial roles as senior editor for MIS Quarterly Executive and contributing editor for the Journal of the British Blockchain Association . Her work reflects a strong commitment to advancing both research and practical applications in information systems. She has received numerous honors, including the 2024 SEC Faculty Achievement Award and induction into the IAOP Hall of Fame. Additional recognitions include being named a Fellow of the Association of Information Systems and holding the Certified Outsourcing Professional designation. Grants & Leadership: Directed the Blockchain Center of Excellence at the University of Arkansas (2018–2023). Advising: Served as doctoral thesis faculty adviser at Washington University and has mentored numerous students throughout her career. Dr. Lacity is actively engaged in global standards development through membership in the Global Standards Mapping Initiative (GSMI) and the Linux Foundation's Trust over IP (ToIP), contributing to the responsible evolution of emerging technologies.

James C. DavisView profile

Assistant Professor

• Empirical software engineering
• Security
• Safety
• +7 more

James C. Davis is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University. He leads the Duality Lab, which focuses on the engineering of software-intensive computing systems with particular interest in how these systems fail and how those failures can be mitigated. His research takes a socio-technical approach, considering both human and technical perspectives in system engineering. Dr. Davis received his PhD in Computer Science from Virginia Tech, where he was advised by Dongyoon Lee. His research interests span empirical software engineering, security, safety, testing, and web technologies, with a strong emphasis on practical impact and measurement. He applies a socio-technical philosophy to his work, believing high-quality systems must be engineered considering both human and technical perspectives. His recent research focuses on software supply chain security, regular expression vulnerabilities (particularly ReDoS), pre-trained model security, and failure analysis in software systems. His work often involves empirical studies of real-world software systems and security practices, with a strong emphasis on practical impact and measurable results. Dr. Davis has received significant funding from the National Science Foundation, Google, Cisco, and Rolls Royce for his research. His publications appear in top-tier venues including ICSE, FSE, ASE, and USENIX Security. He has served on program committees for many major software engineering and security conferences. Among his notable achievements are being elevated to IEEE Senior Member in 2022, receiving the Ruth and Joel Spira Outstanding Teacher Award from ECE@Purdue in 2022, and multiple Best Paper and Best Poster awards. He has successfully mentored numerous PhD and Master's students, with several completing their theses on topics related to software security and engineering. Dr. Davis actively recruits graduate and undergraduate research assistants for his Duality Lab, which has produced influential work on software failure analysis, regular expression security, and machine learning supply chain security. His lab is supported by multiple federal and industry grants focused on improving the security and reliability of software systems.