Notebook interactions Professors and Supervisors

Koushik SenView profile

Professor

National and Kapodistrian University of AthensGreece

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His academic career spans major contributions to software engineering and programming languages research through active participation in premier conferences including PLDI, ICSE, and ISSTA. His research focuses on Software Engineering , Programming Languages , and Formal Methods , with particular emphasis on developing software tools that enhance programmer productivity and software quality. Key research thrusts include automated test generation , symbolic execution , fuzzing techniques , and program synthesis . His work bridges theoretical foundations with practical tool development for real-world software verification challenges. Analysis of his publication record reveals consistent contributions to automated testing methodologies, with recent work integrating machine learning (particularly large language models) into traditional program analysis techniques. His research shows strong continuity in improving software reliability through innovative input generation and vulnerability detection approaches. As an active academic leader, he has served as General Chair for MAPL (2020), Program Chair for ISSTA (2017), and committee member for numerous top-tier conferences including PLDI, ICSE, and SPLASH across multiple years. His academic advising manifests through collaborative publications with students on topics like test corpus expansion (Bonsai Fuzzing), visualization synthesis (VizSmith), and smart contract auditing (ItyFuzz), though specific student names aren't listed in the source material. His research has been supported through conference participations and likely associated grants given his extensive publication record.

Official University Profile

Pascal KleinView profile

Professor

University of GöttingenGermany

Prof. Dr. Pascal Klein is a faculty member at the University of Göttingen , specializing in physics education research within the Department of Physics. His work bridges theoretical physics with pedagogical innovation. Research focuses on the digital transformation of physics education , leveraging eye tracking and multimedia tools to enhance learning. Key projects include developing smartphone-based experiments for introductory mechanics and studying cognitive load during diagram-equation coordination. He contributes to empirical effectiveness analysis and discipline-specific didactics in higher education. Recent publications highlight his exploration of vector field concepts through simulations, strategic analysis of equation-diagram interactions, and stress dynamics in first-year physics students. His methodology emphasizes eye movement tracking to decode learning processes and optimize teaching strategies. The Digiphyslab Project (2022) exemplifies his efforts to integrate digital tools like Jupyter notebooks and smartphone sensors into laboratory settings, both on-campus and for distance learning. He also investigates the effects of dynamic visualizations and augmented reality on comprehension and engagement. His work extends to teacher training and public outreach , including projects on plant identification for student teachers and innovative approaches to non-inertial frames of reference . Collaborative efforts with institutions in Finland and Croatia further underscore his international impact in physics education.

Official University Profile

Eric BoddenView profile

Professor

Max Planck Institute for Security and PrivacyGermany

Eric Bodden is a Professor for Secure Software Engineering at Paderborn University and co-director of Fraunhofer IEM. He is also a member of the directorate of the Collaborative Research Center CROSSING at TU Darmstadt. As an ERC fellow, Bodden leads the Attract-Group on Secure Software Engineering at Fraunhofer IEM, where he develops code analysis technology for security in collaboration with leading national and international software development companies. Bodden is one of the leading experts in secure software engineering with a specialty in building highly precise tools for automated program analysis. His research spans static program analysis, Android security, taint analysis, and cryptographic API security. He has made significant contributions to the field through frameworks like FlowDroid for Android analysis, DroidBench benchmark suite, and as one of the chief maintainers of the Soot program analysis framework. His work bridges theoretical advances with practical applications, focusing on creating tools that can be effectively used by developers to enhance software security. His recent publications demonstrate a continued focus on advancing static analysis techniques, with increasing attention to modern challenges like C/C++ analysis, large language models in program analysis, and addressing security vulnerabilities in dependency management. His work shows a consistent trajectory of improving analysis precision, scalability, and usability for developers. Heinz Maier-Leibnitz-Preis (2014) ERC fellow BITKOM Management Club membership (2013) Bodden has advised numerous doctoral students whose theses cover diverse aspects of secure software engineering, including static analysis for Android applications, secure integration of cryptographic software, and information flow security engineering. His research group has received recognition through multiple dissertation awards including Summa cum laude distinctions and the Ernst Denert Software Engineering Award. The group has developed influential tools like FlowDroid, CogniCrypt, and SootUp that have shaped the field of secure software development. At Fraunhofer IEM, Bodden heads the Attract-Group on Secure Software Engineering, which collaborates with industry partners to develop practical security analysis solutions. His team has created several influential frameworks including FlowDroid for Android security analysis and the DroidBench benchmark suite. The group's work bridges academic research with real-world applications, focusing on making security analysis tools more precise, scalable, and usable for developers.

Official University Profile

Lolita VoisinView profile

Researcher

Nantes UniversityFrance

Lolita Voisin is an active researcher affiliated with the CRESSON research team, a Joint Research Unit connecting CNRS, Université Grenoble Alpes, École Nationale Supérieure d'Architecture in Nantes and Grenoble, and Centrale Nantes. She works within the École Nationale Supérieure d'Architecture de Grenoble, contributing to urban studies through the CRESSON (Centre de recherche sur l'espace sonore et l'environnement urbain) laboratory. Her research focuses on the intersection of urban planning, spatial organization, and sensory environments. Dr. Voisin investigates how sound interacts with urban spaces and develops methodological frameworks for spatial planning that support agroecological transitions at local territory levels. Her work bridges theoretical urban studies with practical applications for sustainable development, emphasizing the importance of sensory dimensions in urban environments. Recent publications demonstrate consistent scholarly output across multiple formats including journal articles, conference communications, and edited volumes. Her work shows particular interest in documenting urban environments through projects like 'City Notebooks' and exploring 'unheard landscapes' through interdisciplinary collaborations that examine listening practices and sound environments in urban contexts. Dr. Voisin actively collaborates with researchers across institutions, as evidenced by her co-authorship on multiple publications with scholars from different organizations. Her research contributes to advancing sustainable urban development approaches that integrate environmental, spatial, and sensory considerations.

Official University Profile

Sophie MERITETView profile

Senior Lecturer

Paris-Dauphine UniversityFrance

Sophie MERITET is a Senior Lecturer in Economics at Paris Dauphine-PSL University and a Researcher at the Centre for Geopolitics of Energy and Raw Materials (CGEMP). She concurrently serves as an Affiliate Professor at Sciences Po Paris and lecturer at IFP School, ESSEC Business School, and the National School of Administration (ENA), with prior Visiting Professor appointments at the University of Houston, University of Chicago, and University of Michigan. She holds a Habilitation to Direct Research (HDR) and PhD in Economics from Université Paris Dauphine, with her HDR specifically focused on industrial economics applied to energy industries. This academic foundation underpins her expertise in energy market structures and regulatory frameworks. MERITET's research integrates Industrial Economics, Energy Economics, Energy Policy, Competition Policy, Geopolitics, and Energy Regulation through an interdisciplinary lens. She examines how economic principles interact with regulatory policies and geopolitical dynamics in global energy markets, addressing critical issues including market competition, regulatory design, and energy security within resource management contexts. Her scholarly output spans numerous publications in journals such as Energy Policy , Energy Studies Review , and Revue d'Economie Industrielle , alongside textbooks on microeconomics and energy economics. As co-director of the "Energy Economics, Economies and Societies" series (ISMEA Notebooks) and editorial board member of the Journal of Energy Markets , she demonstrates sustained engagement with evolving regulatory mechanisms in environmental economics, particularly through her recent work on organizational challenges in extended producer responsibility systems. No scientific awards were referenced in the source materials. Information regarding doctoral student supervision and research grant funding remains unspecified in the available documentation. MERITET conducts her research within the Centre for Geopolitics of Energy and Raw Materials (CGEMP), a multidisciplinary unit analyzing geopolitical dimensions of energy and raw materials. This environment facilitates collaborative investigation into the complex interplay between energy markets, regulatory frameworks, and international relations through structured academic networks.

Official University Profile

Manuel BehrendtView profile

Research Fellow

Max Planck Institute for Extraterrestrial PhysicsGermany

Dr. Manuel Behrendt is a Research Fellow at the Ludwig-Maximilians-Universität München, where he serves as a staff scientist at the University Observatory in the CAST-group led by Prof. Andreas Burkert. He also holds a position with the Physics of Galactic Nuclei (PGN) group at the Max-Planck-Institute for Extraterrestrial Physics in Garching, Bavaria. His primary research focuses on the structure-formation and evolution of galactic discs in the early universe, utilizing high-resolution hydrodynamic simulations within the framework of gravitational disc instability. Dr. Behrendt's work addresses fundamental questions about: The formation and evolution mechanisms of giant clumps and small-scale structures in high-redshift galaxies The hierarchical organization of clumps, including whether observed kpc-scale clumps are composed of sub-clump clusters The role of stellar feedback in shaping galactic structure formation and kinematics The energetic sources driving high random motions observed in young galaxies A significant contribution to the field is his development of MERA.jl, a high-performance Julia package designed for analyzing large-scale astrophysical simulation data. This tool provides: Efficient numerical performance through Julia's JIT compilation Unified API for handling multi-resolution AMR grids and particle datasets Interactive development capabilities that scale from notebooks to production scripts Memory-conscious design for processing large datasets Multi-threaded I/O operations for improved performance Dr. Behrendt's publication record demonstrates a consistent research trajectory focused on galaxy formation processes, particularly examining clump structures in high-redshift galaxies. His work bridges theoretical astrophysics with practical computational methods, making important contributions both to our understanding of galaxy evolution and to the development of advanced analysis tools for the broader astrophysics community. As an educator, Dr. Behrendt actively supervises students, teaches tutorials and astrophysical laboratory courses, and serves as a substitute lecturer for Prof. Burkert's courses. His dual commitment to research excellence and educational mentorship highlights his comprehensive contribution to the academic community.

Official University Profile

Thomas DegueuleView profile

Researcher

Max Planck Institute for Security and PrivacyGermany

Thomas Degueule is a researcher at CNRS (Centre National de la Recherche Scientifique) in France, actively contributing to software engineering research since 2015. He serves on program committees for major conferences including ASE, ICSE, and SLE, with primary research interests in Software Evolution, Empirical Software Engineering, and Domain-Specific Languages. His work focuses on breaking change analysis in APIs and libraries, client-library compatibility testing, and dependency management. He develops practical tools like Roseau for source-based breaking change detection and investigates semantic versioning impacts in ecosystems like Maven Central. His empirical approach leverages large-scale repository analysis to address real-world software maintenance challenges, particularly in Java ecosystems. Recent publications (2023-2025) show consistent contributions to breaking change analysis and compatibility testing, appearing in top venues like ASE, ICSE, and ISSTA. His research bridges theoretical insights with practical tooling for software evolution challenges, demonstrating strong empirical methodology and tool-oriented contributions. No scientific awards are documented in the available information. Degueule has advised no publicly listed students and holds no mentioned research grants. His organizational roles include Program Co-Chair for SLE 2023 and committee positions across multiple conferences, reflecting significant service to the software engineering community.

Official University Profile

Yutian TangView profile

Assistant Professor

Max Planck Institute for Security and PrivacyGermany

Dr. Yutian Tang serves as an Assistant Professor (UK Lecturer) and Principal Investigator at the School of Computing Science, University of Glasgow, where he supervises PhD students and leads research in AI-driven software engineering. His academic journey includes a PhD from The Hong Kong Polytechnic University's Department of Computing. His research spans AI+SE integration , particularly focusing on Large Language Models for program analysis, software testing, and Android security. Key areas include: LLM-assisted vulnerability detection and repair Empirical studies of real-world software systems Privacy protection mechanisms Configuration compatibility in mobile applications Smart contract security optimization His publication portfolio shows a clear trajectory toward AI-augmented software engineering , with recent work demonstrating how LLMs can enhance taint analysis, binary code similarity detection, and test generation. This evolution reflects the field's broader shift toward AI integration while maintaining rigorous empirical validation. Award highlights include: Best Industry Paper Award at ISSRE'18 Elevation to IEEE Senior Member (2024) Three Android OS defects confirmed by Google Security Team As an active researcher and community contributor, Tang serves on 40+ program committees including PLDI, ICSE, and FSE. His work receives funding from National Natural Science Foundation of China, Shanghai Science Commission, OpenAI, and Google. Current projects focus on automated bug localization and LLM-based testing frameworks, with recent grants from OpenAI Cybersecurity and Google Cloud programs. He leads research groups investigating Android security and AI-assisted program analysis, collaborating with institutions like Lund University.

Official University Profile