Find Academic Supervisors

Graeme JenkinsonView profile

Research Fellow

• Computer Architecture
• Programming Languages
• Security
• +3 more

Dr Graeme Jenkinson is a Senior Research Associate in the Department of Computer Science and Technology at the University of Cambridge. His research focuses on computer architecture, programming languages, security, systems, and networking. He contributes to projects such as the Pico password replacement system and OpenDTrace , exploring topics like memory safety standards, usable security designs, and authentication systems. His work bridges theoretical computer science with practical system implementations, emphasizing secure software development and user-centric security solutions. Key research interests include: Cybersecurity frameworks for authentication systems Memory safety in programming languages Provenance tracking for network security Usability of security interfaces Secure system design principles Recent publications highlight his contributions to authentication usability studies, APT monitoring techniques, and secure delegation protocols. His research often addresses real-world challenges in deploying secure systems while maintaining user accessibility.

George Neville-NeilView profile

Visiting Professor

• Operating Systems
• Networking
• Time Protocols
• +3 more

George V. Neville-Neil is an Industrial Visitor at the Department of Computer Science and Technology, University of Cambridge. His work focuses on networking, operating systems, and time protocols. He is known for authoring The Kollected Kode Vicious and co-authoring The Design and Implementation of the FreeBSD Operating System . He teaches courses on programming and has contributed to FreeBSD's development through research and publications. Neville-Neil holds a bachelor’s degree in computer science from Northeastern University. He is active in professional organizations like ACM and Usenix. His research interests include code spelunking (analyzing large codebases), optimizing network performance in FreeBSD, and securing IPv6 implementations. He has explored topics like hardware performance counters and socket programming through publications and conference talks. His articles span decades, reflecting a consistent focus on system-level software, networking protocols, and performance. Notable contributions include analyses of FreeBSD's networking stack, IPv6 security, and kernel optimization techniques. Neville-Neil’s work often bridges theoretical concepts with practical implementations, emphasizing real-world applicability. No scientific awards are explicitly listed, but his extensive publications and contributions to open-source projects highlight his influence. He collaborates with industry and academia, as evidenced by his roles as a columnist and co-author. His involvement in conferences like BSDCan and SIGCOMM underscores his active participation in the computer science community. Neville-Neil’s work environment includes the Department’s research groups, though specific labs or teams are not detailed. His current efforts likely continue in system software and networking, leveraging his expertise in both academia and industry.

Gerrit MeixnerView profile

Research Professor

• Human-Computer Interaction
• Virtual Reality
• Augmented Reality
• +3 more

Prof. Dr.-Ing. Gerrit Meixner is a Research Professor for Human-Computer Interaction at Heilbronn University's Faculty of Computer Science. He serves as Managing Director of the UniTyLab and Program Dean for the SEM Faculty. His research focuses on Virtual Reality (VR), Augmented Reality (AR), Mixed Reality (MR), and innovative interaction technologies, with applications in health, industrial training, and software development. He leads projects addressing usability engineering, rehabilitation systems, and AR/VR integration in industry 4.0 environments. Prof. Meixner's work emphasizes practical applications, including VR-based therapy for cerebral palsy, gamified alcohol disorder treatments, and ergonomic training solutions using HoloLens 2. He actively contributes to advancing AR/VR tools for CAD design, automotive interfaces, and smart factory systems. His research also explores human factors in virtual environments, including motion sickness mitigation in automated driving simulations and user experience optimization for industrial workflows. As a program dean, he oversees academic programs while advancing interdisciplinary research through the UniTyLab. Notable collaborations include projects with Audi AG for smartglass applications in manufacturing and AR systems for medical training. His contributions bridge academic research with real-world implementations, focusing on usability, accessibility, and technological innovation.

Michael UelschenView profile

Professor

• Software Engineering
• Embedded Systems
• Multicore/Manycore Computing
• +5 more

Prof. Dr.-Ing. Michael Uelschen is a Professor of Software Engineering for Technical Systems at Osnabrück University of Applied Sciences, part of the Faculty of Engineering and Computer Science. He holds a PhD in Mechanical Engineering and has over a decade of industry experience in automotive software development. His research focuses on energy-efficient embedded systems, model-driven software engineering, multicore systems, and medical technology applications such as motion analysis for rehabilitation. He teaches courses in software engineering, embedded systems, and parallel algorithms at both bachelor's and master's levels. Research Interests : Software Engineering for Automotive Embedded Systems, Power Optimization, Energy-Aware Design Patterns, Medical Motion Analysis (gait stability), IoT Sustainability, and Process Improvement (CMMI). His work often bridges theoretical models with practical implementation in real-time systems. Key Projects : Developed a contactless monitoring system for elderly/patient care using commodity electronics, supported by Bayer Healthcare Grants4Apps. Also contributed to frameworks for energy-efficient embedded systems design patterns and algorithms for kinematic analysis in clinical settings. Teaching : Leads courses like 'Software Engineering for Parallel Systems', 'Embedded Systems', and 'Object-Oriented Design'. Supervises student projects and theses in automotive and medical software domains.

Shiva DarianView profile

Assistant Professor

• Human Centered Computing
• Quantification of People
• Politics of Data
• +5 more

Dr. Shiva Darian is an Assistant Professor in the Department of Computer Science at New Mexico State University (NMSU). She holds a Ph.D. in Information Science from the University of Colorado at Boulder (2024) and dual bachelor's degrees in Philosophy and International Politics from Pennsylvania State University. Her research focuses on the intersection of human-centered computing, data politics, and migration-related sociotechnical systems. She leads the Data Advocacy Research (DAR) Lab, emphasizing qualitative methods like ethnography and diary studies to examine data use in advocacy organizations and migrant communities. Education: Ph.D. in Information Science, University of Colorado at Boulder (2024) M.S. in Information Science, University of Colorado at Boulder B.A. in Philosophy and International Politics, Pennsylvania State University Research Interests: Dr. Darian investigates how organizations and communities engage with data in politicized contexts, particularly in advocacy work and migration. Her work explores topics like data siloing as infrastructural activism, algorithmic folk theories, and the sociotechnical experiences of migrants. She employs methods such as ethnographic fieldwork, interviews, and research through design to address these issues. Recent Research Trends: Her publications focus on data infrastructure activism, advocacy data rhetoric, and accountable software practices. She emphasizes intersectional approaches, integrating feminist theory and equity-oriented frameworks into data work. Awards & Recognition: 2023 Excellence in Teaching Award, CU Boulder CU Boulder Dissertation Completion Fellowship (2023) Marcella Hertzog Scholarship, College of CMCI (2023) Advising & Collaborations: Currently advising PhD, MS, and undergraduate students in data advocacy research. Previously served as a Research Assistant Professor with CAHSI at UTEP. Active in cross-institutional collaborations, including work with the Computing Alliance of Hispanic-Serving Institutions. Labs & Teams: Directs the DAR Lab, which focuses on advocacy data work and migration-related ICT challenges. The lab prioritizes qualitative research methods and collaborates with Spanish-speaking students and community stakeholders.

Ingrid BuckleyView profile

Assistant Professor

• Software Engineering Education
• Fault-Tolerant System Design
• Cybersecurity
• +5 more

Ingrid Buckley is an Assistant Professor in the Department of Computing & Software Engineering at Florida Gulf Coast University (FGCU). She holds a Ph.D. in Computer Science from Florida Atlantic University. Her research focuses on software engineering education, fault-tolerant system design, and cybersecurity, with an emphasis on integrating cybersecurity principles into software development curricula. She is affiliated with the U.A. Whitaker College of Engineering and is a member of professional organizations such as IEEE and ASEE. Dr. Buckley’s educational background includes a Ph.D. in Computer Science, an M.S. in Computer Science, and a B.S. in Computing and Information Technology. Her teaching interests span software testing methodologies, operating systems education, and cybersecurity curriculum design. She has contributed to course development in cybersecurity and has explored innovative approaches to enhance student engagement and learning outcomes in software courses. Her research publications highlight trends in combining pedagogical strategies with technical challenges, such as integrating learning engagement strategies into classroom activities and evaluating teaching modalities for operating systems. She has also investigated fault tolerance and reliability patterns in distributed systems, emphasizing practical applications in secure software development. Dr. Buckley’s work reflects her dedication to advancing both technical and educational aspects of software engineering, particularly in fostering a cybersecurity mindset among undergraduate students through curriculum integration and project-based learning.

• Computer Science Education
• Programming Education
• Computer Architecture
• +4 more

Sohum Sohoni is a Professor in the School of Computing and Augmented Intelligence within the Ira A. Fulton Schools of Engineering at Arizona State University. His research spans computer science education, programming pedagogy, computer architecture, and image quality assessment with GPU acceleration. He has developed innovative educational approaches for computer architecture courses using the PLP instruction set architecture and has contributed significantly to understanding programming education through analysis of error messages and embedded questions. His research interests focus on Computer Science Education , particularly programming education techniques, computer architecture pedagogy, and engineering education methods. He has made substantial contributions to understanding how students learn programming concepts, develop effective debugging skills, and comprehend computer architecture principles. His work bridges theoretical computer science concepts with practical educational applications, emphasizing hands-on learning experiences and innovative assessment methods. His publication trends reveal a strong focus on computer science education research with particular emphasis on programming education (2015-2018), computer architecture education using PLP (2014-2017), and image quality assessment with GPU acceleration (2012-2018). His work consistently combines theoretical computer science concepts with practical educational applications, demonstrating his commitment to improving how computing concepts are taught and learned. His advising work includes mentoring students like Christopher Mar, Harsha B. M. Kadekar, Shaowen Lu, Thien D. Phan, and Vignesh Kannan, who have co-authored publications with him across various computing education topics. His research has been supported through various educational technology projects focused on online learning environments, software engineering education, and computer architecture instruction. He has been actively involved in developing virtualized learning environments for IoT education, creating innovative approaches for software engineering education, and designing effective methods for teaching computer architecture concepts. His work demonstrates a consistent commitment to improving computing education through evidence-based pedagogical approaches and technological innovation.

Jonas KucklingView profile

Research Fellow

• Artificial Life
• Swarm Robotics
• Artificial Intelligence
• +3 more

Jonas Kuckling is a postdoctoral researcher at the Department of Computer and Information Science, University of Konstanz, and a fellow at the Zukunftskolleg. His research focuses on artificial life and swarm robotics, particularly open-endedness in embodied collectives, integrating disciplines including biology, chemistry, physics, computer science, philosophy, and art. Dr. Kuckling obtained his doctoral degree in April 2023 from the Artificial Intelligence research laboratory (IRIDIA) at the Université Libre de Bruxelles, Belgium. His doctoral work established foundations for his current investigations into emergent collective behaviors in robotic systems. His primary research interests center on artificial life and swarm robotics, with emphasis on open-ended evolution in embodied collectives. He explores how interdisciplinary approaches can generate autonomous systems capable of continuous novelty without external direction, bridging computational models with biological principles of self-organization and adaptation. This work addresses fundamental challenges in scalability, robustness, and emergent complexity in multi-robot systems. Analysis of his recent publications reveals a concentrated focus on automatic modular design of robot swarm control software, particularly through behavior trees and optimization techniques like simulated annealing. His work progresses from theoretical frameworks (e.g., manifestos on off-line design) to practical implementations (AutoMoDe tools), with increasing integration of learning, communication, and edge computing in large-scale swarm deployments. No scientific awards are documented in available sources. Dr. Kuckling currently leads an interdisciplinary research project at the Zukunftskolleg, collaborating with experts in complex systems, artificial life, AI, and robotics to advance open-endedness in embodied collectives. No information is available regarding student advising or specific grant funding beyond his fellowship appointment.

José Orlando PereiraView profile

Associate Professor

• Dependable Distributed Systems
• Data Management
• Database Replication
• +7 more

José Orlando Pereira is an Associate Professor at the Department of Informatics, University of Minho, and Research Coordinator at INESC TEC (INESC Technology and Science). His primary research interests lie in dependable distributed systems, with a focus on data management, group communication protocols, and tools for distributed system evaluation. He leads the High-Assurance Software Laboratory (HASLab) , part of INESC TEC and the University of Minho. Roles: Academic supervisor, conference committee member (e.g., SRDS 2025 General Co-Chair), and grant recipient (e.g., ADAPQO funding from CMU Portugal 2024). Key Projects: Includes CYBERACTIONING (cybersecurity education), EUMaster4HPC (European HPC master's program), and AIDA (adaptive assurance platform). Research Themes: Database replication, georeplicated systems, consensus protocols, edge computing, and fault injection tools like LAZYFS. His work emphasizes practical applications, such as improving transactional performance in hybrid workloads (TiQuE) and designing scalable NoSQL middleware (CloudMdsQL). He has authored over 200 publications, including seminal contributions to gossip protocols (HyParView) and consensus algorithms. Awards: Honorable Mention at ACM SIGMOD 2025 for CRDV research. Active in organizing conferences such as SRDS, DSN, and EuroSys. Teaching: Offers advanced courses on distributed systems, database administration, and large-scale data replication at both undergraduate and graduate levels.

Sangeeta SangeetaView profile

Lecturer

• Software Engineering
• Data Mining
• Machine Learning
• +2 more

Dr. Sangeeta Sangeeta is Lecturer in Data Science at Keele University, directing the MSc AI and Data Science program. Her research combines software engineering with data science methods to analyze developer communities. Key research areas include mining software repositories, log analysis, and social computing in developer forums. She leads the SEADS research group investigating patterns in Q&A platforms like Stack Overflow.

Manuel HermenegildoView profile

Professor

• Constraint Programming
• Logic Programming
• Functional Programming
• +7 more

Manuel Hermenegildo is a Full Professor at the Technical University of Madrid (UPM) and Director of the IMDEA Software Research Institute in Spain. He held the Prince of Asturias Endowed Chair at the University of New Mexico (2003-2008) and was previously a project leader at MCC (1986-1989) and Adjunct Associate Professor at the University of Texas at Austin (1987-1990). Education: M.S. and Ph.D. in Computer Engineering, University of Texas at Austin (1986) Engineer's Degree in Electrical and Telecommunications Engineering, Technical University of Madrid (1981) His research spans programming language design , abstract interpretation-based analysis , parallelizing compilers , and parallel/distributed processing . His work integrates theoretical advances with practical implementations like the Ciao system and PiLLoW library. Recent publications focus on parallelization , program verification , mobile code security , and distributed programming . Key methodologies include abstract interpretation , constraint logic programming , and compiler optimization . Scientific Awards: ACM Fellow Julio Rey Pastor Prize (highest Spanish national award in Mathematics and ICT) Aritmel Prize in Computer Science President of the Association for Logic Programming He has led numerous national and international projects, served as area editor for journals like Theory and Practice of Logic Programming , and participated in EU advisory committees (ISTAG, CREST). His work on the Abstraction Carrying Code (ACC) approach advances mobile code safety and trusted computing.

Tia NewhallView profile

Professor

• Parallel and Distributed Systems
• Computer Science Education
• Memory Management
• +4 more

Tia Newhall is the Centennial Professor of Computer Science at Swarthmore College , where she has been a faculty member since 2002. Her research focuses on parallel and distributed systems , with a strong emphasis on educational innovations. PhD in Computer Science (1999) from the University of Wisconsin under Bart Miller Co-PI on NSF:DUE:IUSE grant (2022-26) for interactive computing systems materials Developer of the Dive into Systems online textbook Research Interests include: Parallel and distributed systems Memory management for cluster computers GPU programming and visualization tools Computer science education reform Curriculum development for systems courses Open educational resources Recent Article Trends show a strong focus on teaching systems concepts and parallel computing to undergraduates through: Interactive educational tools (ASM Visualizer) Hybrid teaching methods Textbook development (Dive into Systems) Cluster storage virtualization Parallel dynamic programming GPU programming for non-experts Scientific Awards : ACM SIGCSE Special Projects Award (2019) for Dive into Systems textbook Advising and Grants : Mentored numerous student co-authors across her publications. Collaborated on grants including: NSF:DUE:IUSE (2022-26) NSF:CNS:CSR (2011-16) CRA-W:CREU (2004-05)

Ashutosh TrivediView profile

Associate Professor

• Safety in AI
• Reinforcement Learning
• Formal Methods
• +4 more

Ashutosh Trivedi is an Associate Professor of Computer Science at the University of Colorado Boulder (CU Boulder), affiliated with the College of Engineering and Applied Science. His research focuses on formal methods for rigorous system engineering of data-driven systems, emphasizing safety, privacy, fairness, and accountability. He holds a Ph.D. in Computer Science from the University of Warwick, specializing in game theory and optimization. His academic journey includes roles as an Assistant Professor at IIT Bombay and postdoctoral work at the University of Pennsylvania and Oxford. Key research interests span reinforcement learning, formal verification of cyber-physical systems, and ethical software development. He leads the Programming Languages and Verification (CUPLV) group at CU Boulder. Notable contributions include work on barrier certificates for dynamical systems, fairness-aware debugging in ML libraries, and MDP-based reinforcement learning frameworks. He has received awards such as the NSF CAREER Award (2022) and the Bell Foundation Research Award (2022). Trivedi teaches advanced courses on formal methods, automata theory, and cyber-physical systems. His lab (CUPLV) develops tools like Mungojerrie for model-free reinforcement learning and explores applications in healthcare and autonomous systems.

Ann EisenbergView profile

Adjunct Assistant Professor

• Educational Computing
• Tangible Interaction
• E-textiles
• +3 more

Ann Eisenberg is an Adjunct Assistant Professor at the University of Colorado Boulder and Senior Research Associate at the Institute of Cognitive Science. She directs the Craft Technology Lab, focusing on blending computation with craft materials to create educational tools. Her research emphasizes tangible interaction, e-textiles, and maker education. Education: PhD in Computer Science (CU Boulder), BS in Mathematics (University of Hawai'i). She co-teaches 'Things that Think' with Mike Eisenberg, integrating computation with physical objects. She also teaches creative engineering in K-12 schools and workshops at museums like the Denver Art Museum. Her lab's projects include Arduino-controlled art, e-textile prototyping systems like ThreadBoard, and sensory-based interactive simulations. These emphasize playful design for educational impact across ages. Publications focus on tangible computing interfaces, e-textile debugging tools, and maker education frameworks, appearing in TEI conferences and FabLearn. Lab: Craft Technology Lab explores intersections of art, engineering, and education through hands-on projects.

• Human-Computer Interaction
• Crowdsourcing
• Machine Learning
• +5 more

Alessandro Bozzon is a Researcher at Delft University of Technology, The Netherlands , specializing in Human-Computer Interaction , Crowdsourcing , and Artificial Intelligence . His work bridges technical systems with human-centric design, focusing on conversational interfaces, data integration, and ethical algorithmic frameworks. Key research areas include urban data analysis, AI explainability, and collaborative policy-making Collaborates extensively with multidisciplinary teams in computer vision, semantic web, and mental health diagnostics Recent publications analyze: Episodic framing in news media (2024) Greenspace accessibility for children (2023) Multi-stakeholder algorithmic assessments (2022) Conversational crowdsourcing systems (2019) His work emphasizes human-in-the-loop approaches across machine learning, urban planning, and media bias detection, with applications in smart homes, policy sandboxes, and public health diagnostics.