Program Synthesis Professors and Supervisors in Germany | ApplySharif

فیلترهای فعال:

جست‌وجوی استاد و پژوهشگر

استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشی‌تان را پیدا کنید و با او ارتباط بگیرید.

نمایش ۴۶-۶۰ از ۱٬۰۲۲ استاد راهنما

اطلاعات این پروفایل‌ها از صفحات عمومی دانشگاه‌ها جمع‌آوری شده و ممکن است به‌روز نباشد.

Jörg Stülkeمشاهده پروفایل

استاد

University of GöttingenGermany

Prof. Dr. Jörg Stülke is a full Professor of Microbiology and Head of the Department of General Microbiology at the Institute of Microbiology and Genetics, University of Göttingen. He has held this position since 2003 and leads an active research group focused on bacterial metabolism and gene regulation. His research spans two major model systems: the pathogenic bacterium Mycoplasma pneumoniae and the well-studied Bacillus subtilis . His group employs systems-level approaches including transcriptomics, metabolomics, and bioinformatics to understand metabolic regulation and gene expression. Key interests include protein phosphorylation, RNA-mediated regulation, mRNA processing, and the role of second messengers such as cyclic di-AMP in bacterial physiology and pathogenicity. The recent publications reveal a strong trend in molecular microbiology, functional genomics, and systems biology. His work often integrates experimental and computational methods, particularly evident in the development and maintenance of the SubtiWiki database for B. subtilis . The research bridges fundamental mechanisms of life with applications in understanding bacterial virulence and cellular homeostasis. He is affiliated with several graduate programs under the Göttingen Graduate Center for Neurosciences, Biophysics, and Molecular Biosciences (GGNB), including: Molecular Biology (IMPRS) Biomolecules: Structure - Function - Dynamics (GZMB) Molecular Biology of Cells (GZMB) Microbiology and Biochemistry Genome Science (IMPRS) While no individual students are listed, he clearly supervises doctoral candidates through these programs. His group has secured significant research output, including publications in Science , Nucleic Acids Research , and PLOS Pathogens , indicating successful grant funding and collaborative research. The lab maintains a dedicated website at http://genmibio.uni-goettingen.de/ , which serves as a hub for research activities and resources like SubtiWiki.

پروفایل رسمی دانشگاه

Yingfei Xiongمشاهده پروفایل

دانشیار

Max Planck Institute for Software SystemsGermany

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مشاهده پروفایل

پژوهشگر

Max Planck Institute for Software SystemsGermany

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.

پروفایل رسمی دانشگاه

Matthias Rareyمشاهده پروفایل

استاد

University of HamburgGermany

Prof. Dr. Matthias Rarey is a computer scientist and Professor at the University of Hamburg's Center for Bioinformatics. He holds a Ph.D. in Computer Science from the University of Bonn (1996) and has been leading the Algorithmic Molecular Design working group since 2002. His research focuses on molecular design algorithms, cheminformatics tools, and 3D bioinformatics. Co-founder of BioSolveIT GmbH Former cheminformatics group leader at Fraunhofer SCAI Former researcher at SmithKline Beecham and Roche Bioscience Head of Helmholtz Data Science Graduate School DASHH Director of Center for Data and Computing in Natural Science (CDCS) Research interests span algorithmic molecular design, cheminformatics, structure-based drug discovery, and machine learning applications in bioactivity prediction. His group developed widely used tools like FlexX, PoseView, and SpaceLight for molecular modeling and fragment space analysis. Recent publications focus on geometric pattern matching in protein-ligand interfaces, combinatorial fragment space encoding, adverse drug reaction network analysis, and efficient shape-based virtual screening. The work emphasizes scalable algorithms for billion-sized compound libraries and integration of machine learning with traditional cheminformatics approaches. Scientific awards include: GMD Award 1996 (Best Dissertation) GMD Award 2000 (Best Project) NRW Wissenschaftspreis 2002 Corwin Hansch Award 2005 Emerging Technologies Award 2011 Norddeutscher Wissenschaftspreis 2020 Academic leadership roles: Founding director of Center for Bioinformatics Co-founder of M.Sc. Bioinformatics and B.Sc. Computing in Science programs Chair of doctoral committee at Faculty of Computer Science Member of EMBL-EBI's Molecular and Cellular Structure advisory board Former Associate Editor of Journal of Chemical Information and Modeling

پروفایل رسمی دانشگاه

Steve Zdancewicمشاهده پروفایل

استاد

Max Planck Institute for Software SystemsGermany

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He is a leading researcher in programming languages, formal methods, and computer security with over two decades of impactful contributions to the field. His research interests span programming languages, type theory, logic, computer security, quantum programming, and formal verification. Zdancewic has made significant contributions to information-flow security, memory safety, program synthesis, and the verification of low-level systems. His work often bridges theoretical foundations with practical applications, particularly through the development of verified systems using Coq and other proof assistants. Analysis of his recent publications reveals a strong focus on formal verification techniques, particularly using Interaction Trees and the Coq proof assistant. His research trajectory shows consistent evolution from foundational work on information-flow security toward increasingly sophisticated verification of complex systems including LLVM, quantum computing, and distributed systems. His work demonstrates a commitment to building practically useful verification tools while maintaining rigorous theoretical foundations. Distinguished Paper Award for Semantics for Noninterference with Interaction Trees (ECOOP 2023) Schlein Family President's Distinguished Professor (2021) Distinguished Paper Award for Interaction Trees (POPL 2020) Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching (2018) IEEE MICRO top picks (2013) Alfred P. Sloan Fellow (2009-2010) NSF CAREER award (2004) Zdancewic has advised numerous PhD students who have gone on to successful careers in academia and industry. His research has been supported by significant grants from NSF, including the NSF Expedition on the Science of Deep Specification. He is actively involved in multiple major research projects including Vellvm (verified LLVM), DeepSpec, and quantum programming verification. Zdancewic also co-organizes Penn's PL Club programming languages research group with Benjamin Pierce and Stephanie Weirich.

پروفایل رسمی دانشگاه

Yang Fanمشاهده پروفایل

دانشیار

Heilbronn UniversityGermany

Yang Fan is an Associate Professor at the Shenzhen University of Technology, currently serving as Deputy Director of the Shenzhen Key Laboratory of Marine Energy and Environmental Safety and Deputy Director of the Center for Frontier Science and Engineering Applications of Surfaces and Interfaces. He is a recipient of the Shenzhen 'Peacock Plan' Overseas High-Level Talent Program and Pingshan District Second Prize in the 2020 Shenzhen Innovation and Entrepreneurship Competition. Educational Background: Bachelor in Materials Science (2006), Huazhong University of Science and Technology Master in Materials Science (2009), University of Alberta PhD in Chemical Engineering (2015), University of Alberta Research Interests: Focuses on magnetic functional materials, silicon-carbon anode materials for lithium-ion batteries, and superhydrophobic coatings. His work on oil-water emulsion stability mechanisms and nanosilver composite applications has been recognized by major energy companies. Prominent Research Trends: Publications highlight advancements in energy storage materials (e.g., potassium-ion battery anodes), functional coatings for water treatment, and innovative carbon encapsulation strategies for silicon nanoparticles in batteries. Scientific Awards: Shenzhen 'Peacock Plan' Overseas High-Level Talent Program Nanshan District Pilot Talent Guangdong Province Yuyue Card 2019 Guangdong Provincial University Achievement Transformation Competition - First Place in Environmental Protection and New Materials 2020 Shenzhen Innovation and Entrepreneurship Competition - Third Place in Finals Grants & Projects: Currently leads the Shenzhen Key Laboratory of Marine Energy and Environmental Safety (5000k RMB, 2021-2023) and co-leads the Shenzhen University of Technology's Center for Surface and Interface Science (10,000k RMB, 2021-2023). Previously contributed to NSERC-funded projects in Canada and Guangdong's leading talent program. Labs & Teams: Associated with the Shenzhen Key Laboratory of Marine Energy and Environmental Safety and the Center for Surface and Interface Science and Applied Engineering at Shenzhen University of Technology.

پروفایل رسمی دانشگاه

Jana Zaumseilمشاهده پروفایل

استاد

Heidelberg UniversityGermany

Professor Jana Zaumseil is a distinguished academic at Heidelberg University, holding the position of Professor for Applied Physical Chemistry at the Faculty of Chemistry and Earth Sciences since 2014. She also maintains a co-opted position with the Faculty of Physics and Astronomy since 2016. Currently serving as Executive Director of the Institute for Physical Chemistry and Spokesperson for the DFG Research Training Group GRK 2948, she leads the Zaumseil research group (also known as the Nanomaterials for Optoelectronics group) at Heidelberg University's Institute for Physical Chemistry. Her educational background includes a PhD in Physics from the University of Cambridge (2003-2007) with a Gates Cambridge Trust Scholarship, and a Diplom (equivalent to M.Sc.) in Chemistry from the University of Leipzig (1997-2022). Prior to her position at Heidelberg, she served as Professor for Nanoelectronics at Friedrich-Alexander-Universität Erlangen-Nürnberg (2009-2014), and completed postdoctoral work at Argonne National Laboratory (2007-2009) following an internship at Bell Laboratories (2002-2003). Zaumseil's research program focuses on the optical and electronic properties of carbon-based nanomaterials, particularly single-walled carbon nanotubes (SWCNTs) and organic semiconductors. Her group specializes in processing, functionalization, characterization and application of these unconventional semiconductors for optoelectronic devices and sensors. They investigate charge transport and light-matter interaction using a wide range of experimental techniques including synthesis, optical spectroscopy, atomic force microscopy, device fabrication, and electrical/optical device characterization. Their work bridges fundamental understanding with potential applications in sensing, imaging, circuits, and energy conversion. Analysis of her recent publications reveals a strong trend toward defect engineering in carbon nanotubes, particularly creating and optimizing luminescent sp 3 defects for near-infrared applications. Her research increasingly integrates fundamental studies of charge transport with practical device applications, especially in neuromorphic computing, biosensors, and thermoelectrics. The interdisciplinary nature of her work is evident in the combination of chemistry, physics, and materials science approaches across her publication record. Dan Maydan Prize for Nanoscience and Nanotechnology (2024) Jahrespreis der Universität Heidelberg (2023) ERC Consolidator Grant (2019) ERC Starting Grant (2012) Alfried-Krupp-Award for Young University Professors (2010) Professor Zaumseil has secured substantial research funding including multiple ERC grants and leads several major collaborative projects such as the ERC Advanced Grant SCALE-NT, Collaborative Research Center SFB 1249, Cluster of Excellence 3D Matter Made to Order, and Research Training Group GRK 2948. She has mentored numerous doctoral and master's students, with her group recently receiving recognition including a Student Poster Presentation Award for Niklas Herrmann. As Dean of the Faculty of Chemistry and Earth Science (2019-2021) and current Vice Dean (2021-), she has played significant leadership roles within the university structure. The Zaumseil research group operates within Heidelberg University's Institute for Physical Chemistry, utilizing advanced facilities for nanomaterial synthesis, optical spectroscopy, and device characterization. The group participates in several major collaborative initiatives including the Cluster of Excellence 3D Matter Made to Order and the Collaborative Research Center SFB 1249, reflecting its integration within Heidelberg's broader research ecosystem focused on molecular systems and materials science.

پروفایل رسمی دانشگاه

Sabine N. Meyerمشاهده پروفایل

استاد

Rhenish Friedrich Wilhelm University of BonnGermany

Prof. Dr. Sabine N. Meyer is a Professor of American Studies and Co-Director of the North American Studies Program at the University of Bonn. Her research focuses on Native American writing and law, Indigenous identity formation, and the history of social movements in the U.S. She holds a Ph.D. from Johannes Gutenberg University Mainz and habilitation from the University of Osnabrück. Her major works include Native Removal Writing: Narratives of Peoplehood, Politics, and Law (2022) and We Are What We Drink: The Temperance Battle in Minnesota (2015). Her current projects include analyzing Black Indigenous expression and the transformative potential of contemporary literature. She has held fellowships at the University of Minnesota and the Center for Advanced Study 'Law as Culture' in Bonn. Awards include the Feodor Lynen Research Fellowship and nominations for teaching and research excellence. Meyer has participated in major collaborative projects such as the DFG-funded The Claims of History (2016–2020) and serves as an editorial board member for Brill Research Perspectives in Art and Law . Her work bridges law, literature, and Indigenous studies, addressing themes like settler colonialism, legal narratives, and cultural sovereignty. Key affiliations include the Bonn Center for Slavery and Dependency Studies and the TRA-Research project on democratization. Her research also explores transnational Indigenous perspectives and the intersection of race, gender, and migration in North America.

پروفایل رسمی دانشگاه

Franziska Thomasمشاهده پروفایل

استادیار

Heidelberg UniversityGermany

Jun.-Prof. Dr. Franziska Thomas is a Junior Professor at the Institute of Organic Chemistry, Heidelberg University, leading an active research group at the interface of organic chemistry, biochemistry, and biophysics. Her work centers on understanding protein folding mechanisms and their implications for biological function. Dr. Thomas established her independent research group at Georg-August-Universität Göttingen in June 2015 before moving to Heidelberg University in February 2020. She was offered her current tenure track position at Heidelberg on April 26, 2019. Her research program has two primary focuses: (1) designing peptide scaffolds with catalytic activity using de novo designed components that can be chemically synthesized and modified, and (2) studying protein aggregation mechanisms relevant to neurodegenerative diseases such as amyotrophic lateral sclerosis. She employs small, well-characterized self-assembling peptides to create novel materials and understand disease pathways. Analysis of her publication record reveals consistent advancement in peptide and protein engineering, with recent work emphasizing WW domains, β-sheet miniproteins, and innovative solid-phase synthesis techniques. Her research bridges fundamental protein science with applications in materials engineering and disease mechanism understanding. Her work has received significant funding including: The excellence cluster 3DMM2O for the project 'Design of Structured Adhesion Miniproteins for Tissue Engineering' The Deutsche Forschungsgemeinschaft for the research grant 'The WW-domain scaffold as a model system for the de novo design of miniaturized phosphate receptors, phosphatases and sulfatases' Dr. Thomas actively mentors a large research team including 11 PhD students and 2 Master's students, with numerous past students who have successfully completed their theses. She teaches courses including 'Chemische Biologie' and 'OC-Z6 Synthese und Retrosynthese' and participates in seminar series such as IMSEAM and 3DMM2O. The Thomas Lab maintains strong collaborative connections with multiple research groups including the Kivala, Kemerink, Blasco, Klein, Comba, and Gräter groups, reflecting an interdisciplinary approach to peptide and protein science.

پروفایل رسمی دانشگاه

Sabine Emingمشاهده پروفایل

استاد

University of CologneGermany

Professor Sabine Eming is a Principal Investigator at the Department of Dermatology & FMNS at the University of Cologne, affiliated with the CMMC and collaborating with CECAD. Her research focuses on the molecular basis of age-related skin pathologies and regenerative responses. Investigates tissue regeneration, immunometabolism, and TOR signaling Develops therapeutic strategies for injured/aging tissues Uses cross-species models (mice, zebrafish, Drosophila, humans) Her work bridges basic science and clinical expertise to translate findings into therapeutic approaches, particularly examining: Metabolic reprogramming in wound healing Immune system's role in regeneration vs. scarring Lipid synthesis and filaggrin processing in skin barrier formation Scarless repair mechanisms in zebrafish vs. mammals She leads research into molecular control systems including: Cell death regulation (FADD-RIPK3 pathways) Nutrient-sensing TOR pathway in skin aging Glutamine metabolism in stem cell maintenance Her group develops genetically modified mouse models and collaborates on clinical trials for impaired healing conditions.

پروفایل رسمی دانشگاه

Allison Sullivanمشاهده پروفایل

استادیار

Max Planck Institute for Security and PrivacyGermany

Allison Sullivan is an Assistant Professor of Computer Science at the University of Texas at Arlington (UTA), where she also serves as the Undergraduate Software Engineering Program Director. She is a member of the Software Engineering Research Center (SERC) at UTA and serves as faculty advisor for UTA's Society of Women Engineers (SWE) club. Dr. Sullivan received her PhD in Software Verification, Validation and Testing (SVVAT) from the University of Texas at Austin in 2017 under Sarfraz Khurshid. Her educational background includes: PhD in Software Verification, Validation and Testing, University of Texas at Austin (2017) M.S. in Software Engineering, University of Texas at Austin (2014) B.S. in Software Engineering, University of Texas at Dallas (2012) Dr. Sullivan's research focuses on two primary areas: Automated Software Engineering : Test/Oracle Generation, Automated Bug Localization and Repair, Mutation Testing, and Regression Testing Formal Methods and Programming Languages : Abstractions, Finite Model Finders, Program Synthesis, and SAT/SMT Solvers She leads the SCOPE lab which focuses on 'showing the correctness of all program executions' and has published extensively on Alloy modeling language applications. Her recent publications demonstrate a strong focus on applying formal methods to software engineering problems, with a growing emphasis on the intersection of large language models and software development practices. Her work spans theoretical foundations, tool development, and empirical studies of how developers use modeling languages. Her scientific achievements have been recognized with: NSF CAREER Award (2024) UTA CSE department Rising Star Research Award (2024) UTA College of Engineering Outstanding Early Career Faculty Award (2025) NSF grant for building an educational tool for software modeling ($400k) Dr. Sullivan has successfully advised two PhD students to completion: Dr. Ana Jovanovic (defended November 2024) and Dr. Anahita Samadi (defended February 2025). She actively mentors undergraduate researchers and has secured significant research funding including the NSF CAREER grant. Her service includes committee roles for major conferences including ASE, ISSRE, and FormaliSE. She leads the SCOPE lab at UTA, which brings together graduate and undergraduate researchers to develop techniques for improving software verification and validation, with particular emphasis on making formal methods more accessible to practitioners.

پروفایل رسمی دانشگاه

Juan Zhaiمشاهده پروفایل

استادیار

Max Planck Institute for Security and PrivacyGermany

Juan Zhai is an Assistant Professor in the Manning College of Information & Computer Sciences (CICS) at University of Massachusetts Amherst, where she co-directs the Laboratory for Advanced Software Engineering Research (LASER) and participates in the UMass NLP group. Her academic career spans over 7 years of active service including program committee roles at top-tier conferences like ICSE, FSE, and ASE. Her research focuses on Software-AI Synergy with core areas including: Formal Specification Synthesis for precise software behavior definition Comment Generation and Maintenance using LLMs Trustworthy AI through bias detection and framework testing Deep Learning Infrastructure Reliability Recent work demonstrates strong emphasis on practical tools for AI safety and software dependability. Her publication trends show consistent output in top software engineering venues (ASE, ICSE, FSE) with increasing focus on AI/ML conferences (ACL, CVPR, ICLR). Key themes include metamorphic testing for deep learning frameworks, bias analysis in LLMs, and formal methods for specification synthesis. She actively serves the community through: Program committees for 13 major conferences Reviewing for 5 top journals including TOSEM and TSE 40+ total reviews across SE and AI venues Juan mentors PhD students including Gehao Zhang (research focus: Software Engineering, AI Safety) and teaches graduate courses like CS520 (Theory and Practice of Software Engineering) and CS692P (Hot Topics in SE Research). She leads the LASER lab which develops tools like C2S, CPC, and DevMuT for software reasoning and AI infrastructure testing.

پروفایل رسمی دانشگاه

Phil Kingمشاهده پروفایل

استاد

Max Planck Institute for Chemical Physics of SolidsGermany

Quantum Materials
Topological Materials
Angle-Resolved Photoemission Spectroscopy
+۷ مورد دیگر

Professor Phil King leads a research group within the School of Physics and Astronomy at the University of St Andrews, where he is part of the Centre for Designer Quantum Materials. His research focuses on the electronic structure and many-body interactions of quantum materials using electron spectroscopy, particularly angle-resolved photoemission (ARPES), and creating new designer quantum materials through atomic layer-by-layer growth. King's research interests center on quantum materials, with particular emphasis on topological matter, transition-metal oxides, and 2D quantum materials. His group investigates strain and pressure tuning of quantum materials, photoemission spectroscopy of correlated systems, and engineering band structures in 2D conductors. They develop methods to exploit strong electronic interactions in 2D systems to create new functional materials with tunable properties. Their approach combines experimental screening of candidate materials, bottom-up atomic assembly of custom heterostructures, and advanced spectroscopic feedback. Analysis of King's recent publications reveals a strong focus on the electronic structure of quantum materials, particularly transition metal dichalcogenides, delafossite metals, and topological systems. His work frequently examines charge density waves, spin-orbit coupling effects, Van Hove singularities, and quantum phase transitions. A notable trend is the integration of materials synthesis with advanced spectroscopic characterization, enabling precise control over electronic properties through strain engineering, doping, and heterostructure formation. King actively supervises PhD students on projects related to quantum materials, including probing elastic coupling in exotic magnets, angle-resolved photoemission from tailored mesostructures, thermodynamics and spectroscopy, oxide metals, and gate tuning of 2D quantum materials. His research is supported by major funding sources that enable access to cutting-edge equipment and international facilities. The King Group operates advanced experimental facilities including a high-resolution lab-based ARPES system with multiple light sources, and two DCA R450 molecular-beam epitaxy systems optimized for transition-metal oxides and chalcogenides. They are developing the UK's first spin-resolved ARPES capability. The group regularly utilizes major international facilities including Diamond Light Source, Elettra, SOLEIL, and HiSOR synchrotrons, as well as the ARTEMIS facility for time-resolved studies.

پروفایل رسمی دانشگاه

Wolfgang Fritzscheمشاهده پروفایل

استاد

Leibniz Institute of Photonic TechnologyGermany

Professor Wolfgang Fritzsche serves as Head of the Nanobiophotonics Department at the Leibniz Institute of Photonic Technology (Leibniz-IPHT) in Jena, Germany, where he leads cutting-edge research at the intersection of nanotechnology and photonics. His laboratory, located in HG 269, maintains active collaborations across multiple international institutions as evidenced by his extensive publication record. Dr. Fritzsche's research spans multiple nanotechnology domains with particular emphasis on plasmonic nanoparticles, nanozymes, and optical sensing platforms. His work demonstrates exceptional versatility across fundamental nanomaterial synthesis and practical biomedical applications. Recent projects include developing innovative antibiofilm agents using β-cyclodextrin inclusion complexes, engineering laccase-mimetic nanozymes for food safety monitoring, and creating plasmonic nanocomposites for antibacterial applications. His expertise in localized surface plasmon resonance (LSPR) sensing has led to significant advancements in real-time monitoring of nanomaterial interactions and biosensing platforms. Analysis of his recent publication trajectory reveals a strategic research focus on translating nanomaterial discoveries into practical diagnostic and therapeutic applications. His work demonstrates increasing integration of multiple nanotechnology approaches, particularly combining plasmonics with enzymatic mimetics and advanced imaging techniques. The consistent high-impact journal placements across chemistry, materials science, and biomedical engineering publications indicate strong cross-disciplinary recognition of his contributions to nanobiophotonics. While no specific awards are mentioned in the available documentation, Professor Fritzsche's leadership position at a Leibniz Association institute and his prolific publication record in top-tier journals represent significant professional recognition. His research program appears well-funded through the substantial output of collaborative papers spanning multiple application areas. Professor Fritzsche maintains an active research laboratory focused on nanobiophotonics, with particular expertise in plasmonic nanoparticle synthesis, surface functionalization techniques, and optical biosensing platforms. His team appears to specialize in bridging fundamental nanomaterial properties with practical biomedical applications, particularly in infection control, cancer therapy, and diagnostic technologies. The interdisciplinary nature of his publications suggests collaboration across chemistry, physics, biology, and medical research domains.

پروفایل رسمی دانشگاه

Kihong Heoمشاهده پروفایل

دانشیار

Max Planck Institute for Software SystemsGermany

Kihong Heo is an Associate Professor in the School of Computing and Graduate School of Information Security at KAIST (Korea Advanced Institute of Science and Technology) in South Korea. His academic career includes serving as an Assistant Professor at KAIST from 2017-2019 before being promoted to Associate Professor in 2020, following his postdoctoral research at the University of Pennsylvania. He earned both his Ph.D. and B.S. in Computer Science & Engineering from Seoul National University. Dr. Heo's research focuses on developing program reasoning systems for safe and reliable software, with specific interests in AI-based program analysis systems for detecting deep semantic software bugs, general-purpose program simplification systems for secure and efficient software, and scalable program synthesis systems for automatic software generation and repair. His work bridges the gap between programming languages, program analysis, and machine learning techniques to create next-generation programming systems. Analysis of his recent publications reveals a strong trend toward integrating machine learning techniques with traditional program analysis methods, with significant contributions in compiler validation, software security, fault localization, and program debloating. His research has practical impact, with some of his work incorporated into Facebook's Infer static analyzer. ACM SIGSOFT Distinguished Paper Award, FSE 2025 Amazon Research Award, 2024 The Soo-Young Lee Teaching Innovation Award, KAIST, 2024 Prize for Excellence in Teaching, KAIST, 2024 Best Artifact Award, ICSE 2022 ACM SIGPLAN Distinguished Paper Award, PLDI 2019 ACM SIGSOFT Distinguished Paper Award, ICSE 2019 Dr. Heo actively mentors graduate students, currently advising several Ph.D. candidates including Yeonhee Ryou, Taeeun Kim, and Sujin Jang, as well as master's students. He has served on program committees for major software engineering and programming language conferences including PLDI, ICSE, POPL, and SPLASH, demonstrating his active role in the academic community. His laboratory, the Programming Systems Laboratory at KAIST, focuses on creating innovative programming systems that leverage both semantic-based program analysis and AI techniques.

پروفایل رسمی دانشگاه