Dongwook Kim is affiliated with the Korea Advanced Institute of Science & Technology (KAIST) as a faculty member in the Department of Business and Technology Management under the College of Business. His research spans multiple domains including machine learning, robotics, signal processing, and biomedical engineering. Key contributions in Computer Vision (CNN-based semantic segmentation, 3D point cloud analysis) Significant work in Hardware Design (energy-efficient processors, neuromorphic computing) Interdisciplinary expertise in Medical Imaging (bone age assessment, retinal biomarkers) and Cybersecurity (attack detection, network analytics) Publications since 2015 demonstrate sustained innovation in AI applications , Signal Processing , and Smart City Governance . His work often integrates theoretical advances with practical implementations in real-world systems. No scientific awards or student mentorship details are explicitly documented in the provided records.
Felicitas Kleber is Professor of Speech Science in the Department of Language Science and Technology at Saarland University (Universität des Saarlandes). Her research profile demonstrates extensive expertise in experimental phonetics and laboratory phonology with a particular focus on German dialects and sound change phenomena. She maintains active research collaborations, most notably with J. Harrington and Ulrich Reubold, resulting in numerous high-impact publications in leading linguistics and phonetics journals. Her research interests span experimental phonetics and laboratory phonology with specific expertise in speech production and perception , sound change processes, German dialectology , phonological acquisition , and prosody and intonation analysis. Her work frequently examines the acoustic, perceptual, and articulatory dimensions of speech, particularly focusing on vowel and consonant quantity phenomena in German varieties. Analysis of her publication record reveals consistent methodological rigor with emphasis on acoustic analysis, perception experiments, and longitudinal studies. Her research often investigates sound changes in progress, particularly examining vowel fronting phenomena in both German and English varieties, and the relationship between speech production and perception mechanisms. Much of her work employs apparent-time analyses to track diachronic changes through synchronic variation across age groups. Professor Kleber serves as an Associate editor for the Journal of the Acoustical Society of America, reflecting her standing in the field. She has secured significant research funding including the DFG-funded project "Typology of vowel and consonant quantity in South German varieties: acoustic, auditory, and articulatory analyses of adult and child speakers" (2016-2024) and the DAAD-supported "Form and function of prosodic structure in Hungarian and German" (2015-2016). Her research methodology typically combines acoustic analysis with perception experiments and sometimes articulatory measurements to provide comprehensive insights into phonetic phenomena.
Prof. Daniel Große serves as Professor at the Institute for Complex Systems (ICS) within Johannes Kepler University Linz, Austria, while maintaining a dual affiliation with the German Research Center for Artificial Intelligence (DFKI) in Bremen. His research centers on Electronic Design Automation (EDA), specializing in verification, debugging, and synthesis of complex hardware/software systems through advanced virtual prototyping techniques. His primary research domains include Formal Verification , Hardware Verification , and Virtual Prototyping , with significant contributions to RISC-V architecture development and embedded systems validation. Current projects like PaSVer (automotive electronics), AUTOASSERT (analog-digital verification), and VerSys (RISC-V software platforms) demonstrate his focus on bridging simulation and formal methods for safety-critical applications. Recent publications reveal accelerating trends in metamorphic testing for embedded graphics libraries and RISC-V vector extensions, alongside innovations in waveform analysis tools like Surfer. His work increasingly integrates AI-assisted verification while maintaining rigorous formal methods foundations. Prof. Große actively supervises student research, having guided Lucas Klemmer's PhD thesis and nine Bachelor theses on topics ranging from RISC-V processor design to transaction visualization. His projects including SATiSFy (autonomous vehicle security) and CONVERS (complex system design automation) secure substantial research funding from academic and industry partners. He leads the Institute for Complex Systems' development of open-source tools such as RISC-V VP++ and contributes to international standards through program committee roles at DATE, ICCAD, and RISC-V Summit Europe.
Cuiyun Gao is a Full Professor and PhD Supervisor at the School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen. She has established herself as a prominent researcher in the intersection of artificial intelligence and software engineering. Her educational background includes a PhD from the Chinese University of Hong Kong (completed in 2018), followed by postdoctoral work at CUHK and a Research Fellowship at Nanyang Technological University. She also had a visiting period at University College London supervised by Prof. Mark Harman and Prof. Federica Sarro. Dr. Gao's research primarily focuses on Software Repository Mining, Natural Language Processing, Code Analysis, Large Language Models, Source Code Understanding, User Review Analysis, Vulnerability Detection, and Mobile Advertising Analysis . Her work bridges the gap between traditional software engineering practices and modern AI techniques, particularly in the context of code intelligence and software maintenance. Her recent publications (2024-2025) demonstrate a strong emphasis on Large Language Models for code-related tasks, including code generation, optimization, vulnerability detection, and software engineering applications. Her research shows a clear trend toward addressing practical challenges in integrating LLMs into the software development lifecycle while maintaining code quality and security. Scientific Awards: Distinguished Paper Award at ASE 2023 Best Paper Award of the Track at ICSE 2024 Distinguished Paper Award at ICSE 2024 Dr. Gao actively supervises multiple PhD and Master's students, contributing to the next generation of software engineering researchers. She has served on numerous conference committees including FSE, ISSTA, ICSE, ASE, and SANER. Her research has received significant attention in the software engineering community, with multiple papers published in top-tier venues like FSE, ICSE, ASE, and TSE. Her lab appears to be actively engaged in both theoretical research and practical applications, particularly in the context of WeChat and other industry collaborations, demonstrating strong industry-academia connections.
Chang Xu is a Professor and Ph.D. supervisor at Nanjing University, affiliated with the State Key Laboratory for Novel Software Technology, School of Computer Science, and Institute of Computer Software (ICS). He has been a full-time faculty member since 2010, when he joined as an associate professor and was later promoted to full professor in 2015. Education: Ph.D. from The Hong Kong University of Science and Technology (HKUST) in 2008 (advisor: Prof. S.C. Cheung) M.Eng. from Institute of Software, Chinese Academy of Sciences (ISCAS) in 2003 B.Eng. from University of Science and Technology of China (USTC) in 2000 Research Interests: Professor Xu's research focuses on big data software engineering, intelligent software testing and analysis, and adaptive and autonomous software systems. His recent work centers on constructing and providing runtime support for intelligent software in open environments, with emphasis on inconsistency detection and resolution for environments, and quality assurance for adaptive, concurrent, learning-based, smartphone-based, and spreadsheet-based applications. His work bridges theoretical foundations with practical applications in software engineering, particularly in program analysis, software testing, and self-adaptive systems. Scientific Awards: ACM SIGSOFT Distinguished Paper Award from ICSE 2025 Best Student Paper Award from EUROSYS 2025 ACM Distinguished Member in 2024 Best Paper Award from SOSP 2023 Best Paper Candidate from ISSRE 2022 Yangtze River Scholar by the Ministry of Education in 2021 Multiple ACM SIGSOFT Distinguished Paper Awards from conferences including ASE, ICSE National Science and Technology Progress Award (Second Class) in 2011 Academic Service and Advising: Professor Xu has served on numerous program committees for top software engineering conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He is an editorial board member for several journals including Journal of Computer Science and Technology and Frontiers of Computer Science. He has supervised numerous Ph.D. and MSc students, with research topics spanning program analysis, software testing, self-adaptive systems, and more. His students have gone on to successful careers in both academia and industry. Research Groups: Professor Xu is associated with the SPAR research group at Nanjing University and the CASTLE research group at HKUST, focusing on software analysis, reliability, and testing.
Dominique Devriese is a professor at the Department of Computer Science, KU Leuven, and a member of the DistriNet research group. His work bridges computer security, programming languages, and formal verification. Research interests: Functional Programming, Object Capabilities, Secure Compilation, Dependently-typed Programming, Modal Type Theory Teaching: Formal Systems, Object-Oriented Programming, CyberSecurity, Secure Software His research focuses on rigorous software systems security through capability machines and secure compilation techniques. He actively contributes to formal verification using Agda and Haskell, with recent work on multimode type theory and effect parametricity. Key publication trends include: multimode/presheaf type theory, capability-based security models, formal verification of hardware/software abstractions, and parametricity applications in programming languages. Contact: Email: dominique.devriese@kuleuven.be ORCID: 0000-0002-3862-6856
Prof. Dr. Matthias Weidlich is a faculty member at Humboldt University of Berlin within the Institute of Computer Science under the Faculty of Mathematics and Natural Sciences . His research focuses on Process Mining , Complex Event Processing , and Data Privacy with applications in Business Process Management and Scientific Workflows . Research Interests: Business Process Management and Process Mining Complex Event Processing and Stream Data Analysis Data Privacy and Security in Process Systems Scientific Workflow Systems and User Behavior Heterogeneous Network Embeddings Algorithm Design and Optimization Recent Publications (2023-2025) demonstrate expertise in: Efficient stream processing techniques Privacy-preserving process mining frameworks Scientific workflow analysis tools Graph neural network applications Multi-modal data integration Adaptive querying systems Contact: Office: Unter den Linden 6, 10099 Berlin Phone: 030 2093-41277 Email: matthias.weidlich@hu-berlin.de Web: hu.berlin/data
Kevin Baum is a computer scientist currently serving as the deputy head of the Neuro-Mechanistic Modelling (NMM) department at the German Research Center for Artificial Intelligence (DFKI) since January 2023, and head of the Centre for European Research in Trusted AI (CERTAIN) at DFKI since December 2023. Based at the Saarland Informatics Campus in Saarbrücken, Germany, he completed his doctorate in philosophy in March 2024, combining technical expertise with philosophical depth. His work bridges computer science with ethics, focusing on making AI systems transparent and accountable to human users. Dr. Baum's research program centers on interdisciplinary questions concerning the explainability and transparency of AI systems. His work spans multiple significant projects including the Explainable Intelligent System (EIS) initiative and project E7 of the Transregional Collaborative Research Centre 248 "Foundations of Perspicuous Software Systems" (CPEC). He has developed frameworks for understanding stakeholder perspectives on explainable AI and investigated how different information types about automated systems affect user perceptions of fairness and justice. His approach consistently combines theoretical foundations with practical implementations across diverse contexts. Analysis of his publication trends reveals a clear trajectory from theoretical foundations in machine ethics toward practical implementations of explainability requirements in real-world contexts. His work demonstrates increasing focus on human oversight effectiveness, fairness monitoring, and ethical considerations across various AI applications. He has made significant contributions to both academic discourse and practical AI development guidelines, with publications spanning computer science, philosophy, psychology, and human-computer interaction venues. Award for Ethics for Nerds lecture series As a research leader, Dr. Baum contributes to shaping AI development practices through his departmental leadership and interdisciplinary collaborations. His current work with CERTAIN focuses on establishing European research standards for trusted AI development and deployment, emphasizing the practical implementation of ethical requirements in AI systems. He maintains active collaborations across multiple institutions and disciplines, reflecting his commitment to bridging technical and philosophical considerations in AI development. At DFKI, he leads research that combines neuroscientific insights with AI development to create more interpretable systems. The NMM department focuses on both theoretical research on explainable AI foundations and practical applications in various domains, with particular attention to how different stakeholders understand and require explanations from AI systems.
Prof. Dr. Enkelejda Kasneci is a Distinguished Professor at the Technical University of Munich (TUM), leading the Chair of Human-Centered Technologies for Learning. She holds dual affiliations within TUM School of Social Sciences and Technology and TUM School of Computation, Information and Technology. Her research integrates AI, eye-tracking, and immersive technologies to advance educational paradigms. She directs the TUM Center for Educational Technologies and chairs the MSc program 'AI in Society.' Education: PhD in Computer Science from University of Tübingen (2013), M.Sc. from University of Stuttgart (2007). Earlier roles include Assistant Professor and Dean of Studies at University of Tübingen. Research Focus: Human-centered AI applications in education, multimodal interaction design, and privacy-preserving eye-tracking. Her work bridges technology and pedagogy through projects like AI tutor PEER, VR Classroom, and Privacy-Preserving Eye-tracking. Key Projects: Leads EU-funded projects VIVA (€1.125M), DigiProMIN (€163K), and SARA Kids (€244.8K). Active in policy initiatives like Europe’s AI Imperative. Awards: TUM Heinz Maier-Leibnitz Medal (2024), Liesel Beckmann Distinguished Professorship (2022), and Südwestmetall Research Prize (2014). Grants & Advising: Over €5M in secured funding across 12+ projects. Supervises 14+ PhD researchers and mentors postdocs in AI education and HCI. Labs & Teams: IT-Stiftung EdTech Lab houses advanced VR/eye-tracking setups. Research group includes 20+ members spanning AI, HCI, and educational technology.
Mor Naaman is a Professor at Cornell University specializing in Human-Computer Interaction, Social Media Analysis, and AI-Mediated Communication. With a prolific publication record spanning over two decades, his research focuses on how people interact with social computing systems, particularly examining trust, information exposure, and community dynamics in online environments. His research interests span several interconnected domains: Human-Computer Interaction with emphasis on social media platforms, AI-Mediated Communication examining how AI systems influence human communication patterns, Misinformation Detection and analysis of information ecosystems, Location-Based Social Networks and community awareness systems, and Trust in Online Systems. His work often bridges technical and social aspects of computing, with publications appearing in top venues like CHI, CSCW, and ICWSM. Analysis of his recent publications (2022-2025) reveals a strong focus on the emerging challenges of AI in social contexts, particularly examining AI-generated content, trustworthiness evaluations of AI systems, and the social implications of generative AI. His research shows consistent interest in understanding community dynamics across platforms like Reddit, Facebook, and Twitter, with recent work examining hyperlocal communities, news consumption patterns, and cross-cultural aspects of AI-mediated communication. Mor Naaman has mentored numerous students and collaborators, including Xiao Ma, Yiqing Hua, and Marianne Aubin Le Quéré, who frequently appear as co-authors on his publications. His work demonstrates strong interdisciplinary connections between computer science, social science, and communication studies. His research methodology typically combines large-scale data analysis of social media platforms with user studies and system design, contributing both theoretical insights and practical applications for designing more effective social computing systems. Recent projects have examined AI writing assistants, community governance of AI content, and the cultural implications of AI-mediated communication.
PD Dr. Lutz Rzehak is an academic staff member at the Institute for Asian and African Studies (IAAW) within the Faculty of Humanities at Humboldt University of Berlin, serving as a Teacher for special tasks specializing in Modern Iranian languages and the ethnography and cultural history of Afghanistan and Central Asia. His educational background includes: Oriental Studies/History from the State University of Leningrad (1985) Doctorate in Iranian Studies, Humboldt University of Berlin (1991) Habilitation in Central Asian Studies / Iranian Studies, Humboldt University of Berlin (2001) Dr. Rzehak's research spans Central Asian Studies , Iranian Studies , Ethnography , and Linguistics , with fieldwork focusing on Baloch, Pashtun, and Tajik communities. His work examines language evolution, social structures, and cultural practices through historical and contemporary lenses, particularly regarding Soviet influence and post-Taliban Afghanistan. Key contributions include grammatical analyses of Iranian languages and ethnographic studies of religious rituals and tribal systems. His recent publications (2016-2021) reveal consistent focus on Iranian language dynamics (especially Dari and Pashto), ethnic identity politics in Afghanistan, and cultural history of Central Asia. These works address language change mechanisms, ethnic consolidation strategies, and the interplay between tradition and modernity, often utilizing comparative linguistic and ethnographic methodologies. His scientific awards include: Heisenberg Fellow of the German Research Foundation Dr. Rzehak has held significant research positions including Research Associate in the Crossroads Asia Competence Network (2011-2016) and Heisenberg Fellow (2002-2011). While his CV does not list formal PhD advisees, his language lecturing and research supervision have mentored numerous students in Central Asian and Iranian studies through course instruction and fieldwork guidance. He has been actively involved in the Crossroads Asia Competence Network, a major interdisciplinary research initiative examining transregional connections and historical trajectories across Central, South, and West Asia.
Xin Peng is a Professor and Deputy Dean at the School of Computer Science, Fudan University, China. He leads the CodeWisdom research team focusing on intelligent software engineering techniques for development, maintenance, and operation of software systems. His educational background includes a PhD in Computer Science (2001-2006) and Bachelor's degree in Computer Science (1997-2001), both from Fudan University. He progressed through the academic ranks from Assistant Professor (2006-2010) to Associate Professor (2010-2015) and finally to Professor (2015-present). Professor Peng's research interests span Software Analytics, Intelligent Software Development, Microservice systems, and AIOps. His work leverages AI technologies including deep learning and knowledge graphs to develop intelligent software engineering techniques. A significant portion of his recent work focuses on applying Large Language Models to various software engineering tasks, including vulnerability detection, API usage analysis, and test automation. His publication record shows a clear trend toward increasingly sophisticated applications of AI in software engineering, with recent work heavily featuring LLMs for tasks ranging from vulnerability patch porting to resource leak detection. The research spans multiple domains including microservice systems, automotive software, and Web of Things security. Best Paper Award of ICSM 2011 ACM SIGSOFT Distinguished Paper Award of ASE 2018 and 2021 IEEE TCSE Distinguished Paper Award of ICSME 2018, 2019, and 2020 IEEE Transactions on Software Engineering Best Paper award for 2018 Professor Peng serves in numerous leadership roles including Deputy Director of CCF Technical Committee on Software Engineering, Co-Editor-in-Chief of Journal of Software: Evolution and Process, and Associate Editor for ACM Transactions on Software Engineering and Methodology. He has been actively involved in program committees for major software engineering conferences including ICSE, ASE, ESEC/FSE, and ICSME. He leads the CodeWisdom research team at Fudan University, which has developed several benchmark systems including TrainTicket for microservice research. The team's work bridges academic research with industrial applications, particularly in microservice systems analysis and intelligent software development tools.
Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.
Shuvendu K. Lahiri is a researcher at Microsoft Research, focusing on formal verification, program synthesis, and software testing. His work bridges artificial intelligence with formal methods, particularly in blockchain security and automated code generation. 2025 : Published LLM-Vectorizer (verified loop vectorizer) and neural synthesis for SMT-assisted proof-oriented programming 2024 : Explored LLM-based test-driven code generation and natural precondition inference 2023 : Developed resource management specifications and contributed to test generation with pre-trained models 2022 : Advanced Solidity type systems and merge conflict resolution using language models His research combines large language models with formal verification tools to improve software correctness. He actively contributes to conferences like ICSE, PLDI, and ISSTA as author and committee member.
Dr. Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology (Illinois Tech), where she explores logical foundations of concurrency and develops formal methods for program verification. She earned her Ph.D. in Pure and Applied Logic from Carnegie Mellon University in 2021 under Frank Pfenning, followed by a postdoctoral fellowship at CMU with Limin Jia and Stephanie Balzer. Current affiliation: Illinois Tech (since ~2021) Previous affiliation: Carnegie Mellon University (Ph.D. and postdoc) Research focus: Type theory, logical verification, and security for concurrent systems Teaching: Courses on programming languages, type systems, and security Her research addresses fundamental challenges in concurrent programming, including: Developing modal logic frameworks for system verification Designing type systems for intermittent computing Creating behavioral type systems for security guarantees Applying relational logic to GPU security and secure compilation Investigating logical foundations of session-typed processes Formal verification of cyclic process networks Current research trends include: Hybrid dynamic verification for parallel systems Logical approaches to side-channel security Formal methods for cyber-physical systems Crash-resilient computing models Security verification in decentralized applications Noninterference proofs in session-typed concurrency Scientific recognition: NSF SaTC CORE Collaborative Award #2350217 Organizing committee member at Dagstuhl Seminar 26071 Professional leadership: Program committee co-chair for PLACES 2025 Committee roles at LICS 2026, ESOP 2026, ICFP 2025, and ECOOP 2025 Regular reviewer for ACM Transactions journals Laboratory involvement: Co-director of behavioral types research at Illinois Tech Collaboration with Carnegie Mellon's formal verification group Key participant in the FACCT workshop
