Find Academic Supervisors

• Artificial Intelligence in Education
• Educational Technology
• Online Learning Systems
• +3 more

David Lefevre is a Professor of Practice at the Department of Management and Entrepreneurship, Imperial College Business School. His research focuses on AI applications in education, digital innovation in higher education, and tech-transfer. He co-founded the Edtech Lab in 2004, which pioneered Imperial’s online courses and Global Online MBA. The Lab has won awards including a Gold at IMS Learning Impact (2010) and Silver at QS Reimagine (2018). He also co-founded educational tech companies Epigeum (now part of Oxford University Press) and Insendi (now Study Group). He is Special Advisor on Digital Innovation at Study Group and a British Council Trustee, focusing on digital transformation. Lefevre’s work emphasizes strategic adoption of AI, online education quality, and bridging cultural barriers in learning. Education & Background: While formal education details are not provided, his career reflects deep expertise in education technology and entrepreneurship. His roles include: Professor of Practice, Imperial College Business School Co-founder & former leader of the Edtech Lab Co-founder of Epigeum and Insendi Expert in Residence, Imperial Enterprise Lab Research Interests: Lefevre’s work spans AI in education, online learning infrastructure, and cross-cultural e-learning. He advocates for data-driven strategies to improve online course design and learner engagement. His recent focus includes AI-driven feedback systems and holographic teaching methods. Key Achievements: Launched Imperial’s first online MBA program in 2015 Developed an LMS alternative using middleware Promoted adaptive learning environments for diverse learners Awards & Recognition: Gold award at IMS Learning Impact awards 2010 Silver award for Business Education at QS Reimagine Education 2018 Advisory & Grants: Advises Study Group and the British Council on digital innovation. His ventures have secured significant investments, though specific grant details are not disclosed. Labs & Collaborations: Leads the Edtech Lab and collaborates with Imperial Enterprise Lab. Active in global education networks such as QS Reimagine and the British Council.

Taylor JohnsonView profile

Associate Professor

• Formal Verification
• Cyber-Physical Systems (CPS)
• Artificial Intelligence
• +7 more

Taylor Johnson is an Associate Professor of Computer Science and Electrical and Computer Engineering at Vanderbilt University's School of Engineering. He directs the Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL) and serves as a Senior Research Scientist in the Institute for Software Integrated Systems. Previously, he was an Assistant Professor at the University of Texas at Arlington from 2013 to 2016. His research focuses on formal verification techniques for cyber-physical systems (CPS), emphasizing safety, reliability, and security through hybrid systems, formal methods, and control theory. He has published extensively on neural network verification, earning best paper awards and recognition from IEEE, IFIP, and ACM. Education: Ph.D., Electrical and Computer Engineering (University of Illinois at Urbana-Champaign, 2013) M.Sc., Electrical and Computer Engineering (University of Illinois at Urbana-Champaign, 2010) B.S.E.E., Electrical and Computer Engineering (Rice University, 2008) Research Interests: Formal verification of neural networks and CPS, safety-critical systems, autonomous systems, and AI/ML security. His work bridges theoretical foundations (e.g., hybrid systems) with practical applications in aerospace, energy systems, and robotics. Key Contributions: Developed the NNV tool for neural network verification, led the Verification of Neural Networks Competition (VNN-COMP), and pioneered techniques for robust federated learning and malware detection. Awards: AFOSR YIP Award (2016), NSF CRII Award (2015), and multiple best paper honors. His research is funded by AFRL, NSF, Intel, NVIDIA, and industry partners. Labs & Collaborations: VeriVITAL Lab (Vanderbilt), collaborations with United Technologies Research Center, Boeing, and Toyota.

Richard E. PattisView profile

Professor

• Computer Science Education
• Programming Pedagogy
• Formal Languages (EBNF)
• +3 more

Richard E. Pattis is a Professor of Teaching at the University of California, Irvine , affiliated with both the Department of Computer Science and the Department of Informatics within the Donald Bren School of Information and Computer Sciences . His primary role focuses on undergraduate education, emphasizing innovative teaching methods and curriculum design. He teaches courses such as ICS 33 (Intermediate Programming), ICS 193 (Tutoring in ICS), and has developed educational materials like the EBNF chapter for programming syntax. His work integrates pedagogical approaches with practical programming concepts, prioritizing student engagement and critical thinking. Pattis actively curates education-related video clips and maintains a repository of quotations relevant to learning and programming. His research interests include formal language theory in education, the application of EBNF in introductory courses, and fostering effective debugging practices. He emphasizes the importance of clear communication and problem-solving in computer science education.

Michael WrightView profile

Senior Lecturer

• Haptic Feedback
• Educational Technology
• User Interaction Design
• +4 more

Michael Wright is a Senior Lecturer in the Department of Computer Science at the University of Bath. His research focuses on haptic feedback systems, educational technology, and user interaction design. He is affiliated with the Institute of Coding and has collaborated on projects involving mid-air haptics, wearable technology, and inquiry-based learning environments. His work spans interdisciplinary areas such as thermal technology for social interaction (e.g., WarmConnect), perceptual studies in haptics, and educational platforms like nQuire. Recent projects emphasize the integration of visual and tactile feedback systems to enhance user experiences. Wright's publications highlight trends in mid-air haptics research, exploring thresholds of tactile perception and multimodal feedback systems. His educational research addresses challenges in professional development through degree apprenticeships and online learning. He has supervised a doctoral thesis on gesture recognition and contributed to projects like 'Day of the Figurines,' a narrative-driven mobile game. His work bridges computational methods with human-centered design principles.

Jennifer L. SmithView profile

Professor

• Phonology
• Phonetics
• Linguistic Theory
• +5 more

Jennifer L. Smith is a Professor and Associate Chair in the Department of Linguistics at the University of North Carolina, Chapel Hill. Her research focuses on phonology, particularly the interplay between phonological constraints, morphosyntactic categories, and experimental methods. Key areas include lexical-category effects (e.g., noun/verb phonological privilege), loanword adaptation, blend phonology, and intonation patterns in Fukuoka Japanese. She has pioneered experimental approaches using artificial-language learning and surfeit-of-the-stimulus experiments to test hypotheses about constraint interaction and phonological universals. Smith’s work bridges formal phonology and phonetics, addressing questions like how phonetic naturalness influences phonological constraints and whether category-specific phonology reflects innate biases. Recent projects include investigating positional effects in phonology (e.g., salient positions) and the role of core-periphery structures in loanword nativization. She has collaborated extensively with researchers like Elliott Moreton and Katya Pertsova on blend phonology and experimental phonology. Her teaching includes foundational courses like Linguistics 60: How Reading Works , emphasizing interdisciplinary connections between language, cognition, and literacy. Smith maintains key resources for the field, including a widely referenced Phonetics resources page with curated materials for teaching and research. Her office is located in Smith Building 309, and she holds regular office hours via Zoom.

Joel W. SimmonsView profile

Associate Professor

• Political Economy
• Economic Growth
• Globalization
• +3 more

Joel W. Simmons is an Associate Professor at Georgetown University, affiliated with the Edmund A. Walsh School of Foreign Service and the Department of Government. He holds a PhD from the University of Michigan. His research focuses on political economy, emphasizing economic growth, globalization, social policy, democracy, and gender dynamics. Key works include his book The Politics of Technological Progress (Cambridge University Press, 2016) and articles in top journals like World Politics and International Organization . His 2024 article on democracy and economic growth explores theoretical and empirical linkages, while recent studies address gendered economic consequences of exchange rates and corruption's impact on voter behavior. His work spans methodological innovations (e.g., detecting government violence anomalies) and policy-relevant topics like resource wealth's gendered effects. No formal awards are listed, but his publications reflect sustained academic impact. He advises no listed students but collaborates with institutions like Princeton and Rice University. His research often bridges macro-level political economy with micro-level gender and voter dynamics, contributing to debates on development, governance, and global inequalities.

Nguyen KhanhView profile

Assistant Professor

• Programming Languages
• Compiler & Runtime Support
• Memory Management
• +5 more

Khanh Nguyen is an Assistant Professor in the Department of Computer Science & Engineering at Texas A&M University, part of the College of Engineering. His research focuses on improving scalability and efficiency in Big Data systems through compiler and runtime innovations, particularly in memory management and distributed computing. Education: Ph.D. in Computer Science, University of California, Los Angeles (2019) M.S. in Computer Science, University of California, Irvine (2015) B.S. in Computer Science, University of California, Irvine (2012) His research interests include programming languages, compiler design, memory management, and Big Data systems. He has developed techniques such as Gerenuk for thin computation over big data, Skyway for distributed heap connectivity, and Yak , a high-performance garbage collector. His work emphasizes resource efficiency and workload scalability, particularly for machine learning and data-parallel applications. Recent publications (2021–2024) highlight advancements in adaptive memory management for warehouse-scale computers, semantics-aware swapping in disaggregated systems, and query-driven distributed tracing. Awards: Google Ph.D. Fellowship (2017) Facebook Ph.D. Fellowship Finalist (2017) His research bridges compiler/runtime systems with large-scale data processing, addressing challenges in distributed systems and far-memory utilization. He collaborates with industry and academic partners to advance practical, scalable solutions for modern data-intensive workloads.

Cristina VatulescuView profile

Professor

• Literature and Policing Practices
• Archival Theory
• Secret Police Archives
• +7 more

Professor Cristina Vatulescu teaches Comparative Literature at NYU's College of Arts and Science, specializing in the intersection of literature, policing practices, and archival theory. An award-winning scholar, her book Police Aesthetics won the Heldt Prize and Outstanding Academic Title Award. She holds a Harvard PhD and completed a Harvard Society of Fellows junior fellowship. Her research examines secret police archives, Soviet-era cultural production, and intermedia genres. Current projects include Reading the Archival Revolution and Arts of Attention: A Literary Seed Bank . Fellowships: NYU Humanities (2021-2022), Goddard (2010) Research spans film pedagogy, Foucault's archives, and Iron Curtain cultural politics Publications in Kritika, Diacritics, and Law and Literature

Salvatore RuggieriView profile

Professor

• Data Mining
• Knowledge Discovery
• Discrimination Discovery and Prevention
• +9 more

Salvatore Ruggieri is a Full Professor in the Department of Computer Science at the University of Pisa, where he teaches in the Master Programme in Data Science and Business Informatics. He is affiliated with the KDD LAB, a joint research group of ISTI-CNR and the University of Pisa, and actively contributes to national and European AI initiatives such as XAI, NoBIAS, TAILOR, and SoBigData.eu. His research focuses on data mining and knowledge discovery, with a strong emphasis on ethical AI. Key areas include discrimination discovery and prevention, fairness, privacy, explainable AI (XAI), causal inference, and classification algorithms. He has led significant projects such as ENFORCE, a national FIRB project on legal and computational enforcement of non-discrimination and privacy rights in ICT systems (2010–2014), and has served as program chair for the XIII Italian Symposium on Artificial Intelligence (2014). The recent publications (2018–2023) highlight a consistent trend in interpretable and fair machine learning, including selective classification, stability of interpretable models, and causal reasoning for fairness. His work often involves collaboration with leading researchers like Dino Pedreschi and Riccardo Guidotti, and appears in top venues such as AAAI, IEEE TKDE, and WIREs. His scientific honors include the award for the best Ph.D. thesis in Theoretical Computer Science from the Italian Chapter of EATCS. Best Ph.D. Thesis in Theoretical Computer Science, Italian Chapter of EATCS He advises and collaborates with numerous researchers in the KDD LAB and has contributed to major grants and research initiatives in AI and data science. He is involved in educational programs, including the National Ph.D. in Artificial Intelligence - Society, and promotes interdisciplinary research at the intersection of computer science, law, and ethics. Ruggieri is a member of the KDD LAB, where he leads research in ethical and transparent AI. He is also part of large collaborative networks such as SoBigData.eu and HumanE-AI-Net, which aim to build socially responsible and human-centered AI systems.

Geoffroy CouteauView profile

Researcher

• Cryptography
• Secure Multiparty Computation
• Zero-Knowledge Proofs
• +5 more

Geoffroy Couteau is a CNRS research scientist at IRIF (Institut de Recherche en Informatique Fondamentale), Université Paris Cité, where he conducts research in theoretical and applied cryptography. He obtained his PhD from École Normale Supérieure de Paris in 2017 under the supervision of David Pointcheval and Hoeteck Wee, followed by a postdoctoral position at Karlsruhe Institute of Technology (KIT) from 2017 to 2019. His primary research interests include secure multiparty computation, zero-knowledge proofs, and the theoretical foundations of cryptography, with a particular emphasis on pseudorandom correlation generators and efficiency improvements in cryptographic protocols. He has made significant contributions to fine-grained cryptography, non-interactive zero-knowledge proofs, and post-quantum secure computation. The recent publications reflect a strong trend toward foundational advances in secure computation, with increasing focus on efficiency, practicality, and connections to complexity theory and learning theory. His work often bridges theoretical hardness assumptions with practical protocol design. ERC Starting Grant (2023) for project OBELiSC (Overcoming Barriers and Efficiency Limitations in Secure Computation) Geoffroy Couteau has advised numerous PhD and master’s students, including Dung Bui, Clément Ducros, Eliana Carozza, and Ulysse Léchine. He has also hosted many visiting students and postdocs, fostering a vibrant research group. He has served on the program committees of major conferences such as EUROCRYPT, CRYPTO, TCC, and PKC. He is currently leading research in cryptography at IRIF and is involved in postdoctoral hiring for projects in advanced cryptographic primitives. He maintains a research blog and resource collection for students, including LaTeX templates, a probability cheat sheet, and curated answers to common cryptography questions.

• Space Systems Engineering
• Computer Architecture
• Embedded Systems
• +5 more

Pablo Parra Espada is an Associate Professor at the Department of Automática, University of Alcalá (Spain), affiliated with the Space Research Group (SRG-UAH). He holds a PhD from the University of Alcalá (2012) titled Integración de tecnologías de desarrollo y análisis basadas en componentes bajo un enfoque multi-plataforma , supervised by Dr. Sebastián Sánchez Prieto and Dr. Óscar Rodríguez Polo. His research focuses on space systems engineering , particularly in RISC-V processor design , embedded systems , and model-driven engineering . Key areas include hardware-software co-design for satellite systems, real-time computing, and fault-tolerant architectures. He has contributed to the Solar Orbiter mission through work on the Energetic Particle Detector (EPD) and its on-board software validation. His recent work emphasizes virtualization techniques for LEON processors, FPGA-based digital beamforming , and spaceborne phased array systems . He also explores model-driven approaches for automated configuration of ground support equipment. His interdisciplinary contributions bridge computer architecture with aerospace applications. Prof. Parra Espada has published extensively on topics such as hardware performance monitoring, memory management units for satellites, and system-level verification of space software. His work combines rigorous engineering methodologies with cutting-edge technologies to address challenges in space instrumentation and embedded systems.

Fatemeh GanjiView profile

Assistant Professor

• Hardware Security
• Cryptography
• Machine Learning
• +3 more

Fatemeh Ganji is an Assistant Professor in the Department of Electrical & Computer Engineering at Worcester Polytechnic Institute (WPI), with an affiliation to the Cybersecurity program. She holds a Ph.D. in Electrical Engineering from the Technical University of Berlin (2017), where she received the BIMoS Ph.D. Award and was nominated for the ACM Dissertation Award. Prior to WPI, she served as a Post Doctoral Associate at the University of Florida (2018–2020) and at Telecom Innovation Laboratories/Technical University of Berlin (2017–2020). Her research focuses on interdisciplinary approaches in hardware security, combining machine learning and cryptography to design and evaluate security-critical hardware systems. Key areas include physically unclonable functions (PUFs), side-channel analysis, and countermeasures against tampering and counterfeiting. Her work is funded by the European Union (Horizon 2020, FP7), German BMBF, NSF, and NIST. Ganji actively contributes to the academic community as a reviewer for IEEE and ACM journals and serves on technical program committees for CHES, FPL, DATE, and SPACE conferences. Her recent projects include developing AI-driven forensic analysis for PCB tamper detection, secure multiparty computation frameworks for chiplet systems, and open-source tools for implementation security testing. Her awards include the BIMoS Ph.D. Award 2018 and recognition from the Technical University of Berlin for her doctoral work on PUF learnability. She has also pioneered methods to detect recycled integrated circuits and enhance hardware trust through reverse engineering and machine learning.

Tobias NipkowView profile

Professor

• Formal Methods
• Interactive Theorem Proving
• Program Verification
• +9 more

Professor Tobias Nipkow is a leading researcher in formal methods and interactive theorem proving at the Technical University of Munich (TUM), affiliated with the School of Computation, Information and Technology and the Department of Computer Science. He is a core developer of the Isabelle proof assistant and leads the Theorem Proving Group. His work has profoundly influenced program verification, semantics, and formalized mathematics. University: Technical University of Munich School: School of Computation, Information and Technology Department: Department of Computer Science Research Group: Theorem Proving Group Key Projects: Isabelle, Archive of Formal Proofs, Concrete Semantics His research focuses on formal verification, higher-order logic, semantics of programming languages, and verified algorithms. He has pioneered the formalization of textbook algorithms, data structures like B+-trees and quadtrees, and logical systems. His work bridges theoretical foundations with practical tools for software correctness. The most recent publications show a strong trend in verifying classical algorithms (e.g., Gale-Shapley, Earley parser), data structures (B+-trees, deques), and decision procedures, primarily using Isabelle/HOL. His contributions span foundational logic, program analysis, and educational approaches to formal methods. Best Paper Award at CADE 28 (2021) Tobias Nipkow has made extensive contributions to advising and collaborative research, co-authoring with numerous researchers and students. He has secured support for large-scale formalization efforts and contributed to major projects like the Flyspeck proof of the Kepler conjecture. His work is supported by ongoing development of the Isabelle framework and the Archive of Formal Proofs. He leads the Theorem Proving Group at TUM, which is central to the development and application of Isabelle. The group fosters international collaboration, contributes to the Archive of Formal Proofs, and advances research in automated reasoning, semantics, and verified systems.

Elena GiovannoniView profile

Professor

• Accounting
• Critical Accounting
• Historical Accounting
• +10 more

Professor Elena Giovannoni is a full-time faculty member at the University of Birmingham , where she holds the position of Professor of Accounting and serves as Head of the Department of Accounting within the Birmingham Business School . She is an active researcher and academic leader with a strong international presence. Research Interests: Elena Giovannoni's research bridges critical and historical perspectives in accounting and organization studies. She investigates performance measurement and management control systems across diverse sectors—including the space industry, food industry, knowledge-intensive organizations, and the arts—with a focus on organizational change and sustainable development. Her work explores how calculative practices shape responses to climate change, often through a temporal lens. Methodologically, she employs case studies , archival research , and multimodal approaches . Recent Publications Trends: Her recent scholarly output (2018–2025) reveals a consistent focus on the interplay between accounting, history, and visuality. She examines accountability in cultural contexts (e.g., music, art), the materiality of organizational objects, and the future of sustainability reporting. Her editorial work on the Handbook of Historical Methods for Management underscores her leadership in advancing historical methodologies in management research. Scientific Recognition: Higher Education Academy Fellowship (2017) Editorial Board Member, Accounting Forum Editorial Board Member, Accounting, Auditing & Accountability Journal Editorial Board Member, Accounting History Editorial Board Member, Family Business Review Editorial Board Member, Organization Studies Advising and Grants: She has led multiple projects funded by international bodies, resulting in publications in top-tier journals. While no specific advisees are listed, her role as department head and PhD supervisor implies significant mentoring responsibilities. She contributes to academic knowledge dissemination through editorial leadership and collaborative research. Labs and Research Groups: While no formal lab is mentioned, her research is closely tied to the Department of Accounting and its research clusters, particularly those focused on critical accounting, sustainability, and historical methods. Her collaborative work with scholars across Europe indicates strong international research networks.

• Longitudinal Modeling
• Psychometric Modeling
• Developmental Cognitive Neuroscience
• +3 more

Ethan McCormick is an Assistant Professor in the School of Education at the University of Delaware, specializing in longitudinal and psychometric modeling. He holds a Ph.D. in Psychology from the University of North Carolina at Chapel Hill (2020) and a B.S. in Biochemistry from the University of Arkansas (2013). His research focuses on integrating short-term and long-term longitudinal models to study behavioral and cognitive changes across the lifespan, with recent emphasis on educational data analysis and nonlinear random effects modeling. He is a Resident Faculty member of the University of Delaware’s Data Science Institute and previously served as an Assistant Professor of Methodology & Statistics at Leiden University (2022–2024). Dr. McCormick’s grants include the NWO Veni SSH Grant (2024–2027) for tracking educational outcomes via statistical modeling and the Jacobs Foundation Fellowship (2024–2026) for studying complex growth in math ability. His work bridges methodological rigor with applied neuroscience, examining brain-behavior relationships in developmental contexts through large-scale collaborations. Professional Experience : Assistant Professor, University of Delaware (2024–present); Assistant Professor, Leiden University (2022–2024) Key Research Themes : Longitudinal modeling, time series analysis, psychometrics, developmental cognitive neuroscience Awards : NWO Veni SSH Grant, Jacobs Foundation Fellowship His recent articles emphasize improving time-series methodologies, addressing limitations of two-time-point studies, and advancing models for asymmetric temporal dynamics. He collaborates internationally on projects simulating developmental datasets and analyzing neural correlates of behavior.