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

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

دانشیار

• Program Analysis
• Programming Language
• Machine Learning
• +۳ مورد دیگر

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.

• Machine Learning
• Optimization
• Federated Learning
• +۸ مورد دیگر

Peter Richtarik is a Professor at the King Abdullah University of Science and Technology (KAUST), specializing in Machine Learning, Optimization, and Federated Learning. He actively teaches courses such as Stochastic Gradient Descent Methods and mentors PhD and MS students like Konstantin Burlachenko, Kai Yi, and Lukang Sun. His research spans distributed optimization, parameter-efficient fine-tuning, and theoretical frameworks for non-convex and non-smooth problems. Recent work includes 2025 contributions to Bernoulli-LoRA (theoretical PEFT) and Gluon (LMO-based optimizers). He co-developed Thanos (block-wise pruning) and BurTorch (CPU-optimized training framework). His publications focus on communication efficiency ( ATA , LoCoDL ), differential privacy ( DP-RBCD ), and stochastic proximal methods. Richtarik received the Charles Broyden Prize for his work on quasi-Newton methods. He frequently presents at workshops like MLSS in Senegal and FLOW seminars.

• Behavioral Ecology
• Animal Behavior
• Social Systems
• +۴ مورد دیگر

Eli D. Strauss is a behavioral ecologist and Postdoctoral Researcher at the Max Planck Institute of Animal Behavior and the University of Konstanz. He will transition to an Assistant Professor position at the Department of Integrative Biology, Michigan State University in late 2025. His research focuses on the evolution of stable social systems, particularly in spotted hyenas, analyzing how individual behaviors and relationships shape group-level dynamics. Strauss employs field experiments, computational techniques, and long-term observational data to study dominance hierarchies, social inequality, and the interplay between individual experiences and collective behaviors. Research Interests : Strauss investigates how societies emerge from individual interactions, emphasizing long-term perspectives. Key themes include dominance hierarchy dynamics, social inheritance, and the ecological drivers of social behavior. His work bridges behavioral ecology with computational methods, addressing questions about social structure stability and evolutionary adaptations. Key Projects : Co-director of the Mara Hyena Project in Kenya, a long-term study on hyena behavior and ecology. Developing methodologies for longitudinal studies of dominance hierarchies, including frameworks for analyzing hierarchy dynamics across timescales. His computational tools (e.g., DynaRankR ) are widely used for dominance inference. Upcoming Initiatives : Establishing a lab at Michigan State University focusing on social behavior and collective ecology. Recruiting graduate students and postdocs to study social systems, computational ecology, and animal behavior.

Muhammad Arslan Ansariمشاهده پروفایل

پژوهشگر

• Hybrid Quantum-Classical Computing
• Quantum Computing
• High Performance Computing (HPC)
• +۳ مورد دیگر

Muhammad Arslan Ansari is a researcher at the Department of Computer Architecture and Parallel Systems, Technical University of Munich. He contributes to hybrid quantum-classical computing models and high-performance computing (HPC) integration. Research Focus: Hybrid Quantum-Classical Computing, HPC-QC Integration, Compilation Toolchain Teaching: Seminar leadership on quantum-HPC integration and performance modeling in SS2023-SS2025 Projects: Involved in EuroHPC initiatives like SEANERGYS, PlasmaPEPS, and MUNIQC-ATOMS Software: QMPI, LAIK, and other HPC toolchain developments His publications address quantum accelerator integration challenges and programming tool reviews. He participated in conferences like IEEE QCE 2023.

Aslan Askarovمشاهده پروفایل

دانشیار

• Computer Security
• Programming Languages
• Information Flow Security
• +۴ مورد دیگر

Aslan Askarov is an Associate Professor in the Department of Computer Science at Aarhus University, where he leads research in computer security and programming languages. He is a member of the Logic and Semantics Group and maintains an active research program with several ongoing projects. Dr. Askarov's research interests span computer security and privacy, with a focus on foundations, information-flow, covert channels, metadata privacy, and formal methods for security. He also works extensively in programming languages, particularly in semantics, design, type systems, and program analysis. His work bridges theoretical foundations with practical security applications, particularly in web and mobile security contexts. His active projects include Troupe, a programming language for concurrent and distributed programming with dynamic information flow control, and DenIM, a protocol for secure instant messaging with metadata privacy. These projects reflect his commitment to developing practical security solutions grounded in formal methods. Dr. Askarov has published extensively in top security and programming languages venues, with recent work focusing on metadata privacy in instant messaging, separation logic for virtual machine security, and oblivious execution techniques for reactive programs. His research demonstrates a consistent pattern of addressing fundamental security challenges through formal methods and language-based approaches. CSF 2026 ESOP 2026 PLDI 2025 CSF 2025 CSF 2022 CSF 2021 CSF 2020 PriSC 2020 Nordsec 2019 (co-chair) POST 2019 Euro S&P 2018 PLAS 2017 FCS 2017 (co-chair) HotSpot 2017 FCS 2016 (co-chair) CSF 2016 ESSOS 2015 FCS-FCC 2014 ARES 2014 FCS 2013 ARES 2013 PLAS 2013 ARES 2012 PLAS 2011 (co-chair) ISARCS 2010 PLAS 2009 VODCA 2008 Dr. Askarov teaches advanced courses in computer science, including Compilers in Fall 2024 and Language-Based Security in Spring 2024. He is actively recruiting PhD students and postdocs to work in the areas of Programming Languages and Computer Security, demonstrating his ongoing commitment to mentoring the next generation of researchers.

• Cryptography
• Post-quantum cryptography
• Cryptographic engineering
• +۴ مورد دیگر

Peter Schwabe is a scientific director at the Max Planck Institute for Security and Privacy and holds academic positions as a part-time professor for cryptographic engineering in the Digital Security Group at Radboud University, Faculty of Science, and as an adjunct professor in the Faculty of Computer Science at Ruhr University Bochum. His career spans multiple prestigious institutions including Academia Sinica and National Taiwan University. Dr. Schwabe's research focuses on cryptography, particularly post-quantum cryptography, cryptographic engineering, and implementation security. His work addresses critical challenges in secure cryptographic implementations, side-channel resistance, and the transition to quantum-resistant algorithms. He has made significant contributions to NIST's post-quantum cryptography standardization project, particularly with CRYSTALS-Kyber which was selected for standardization in July 2022. His publication record shows a strong emphasis on practical implementations of cryptographic algorithms, formal verification of security properties, and addressing real-world security challenges. Recent work centers on verifying Kyber implementations, protecting against Spectre variants, and developing high-assurance cryptographic software. Dr. Schwabe has received significant recognition in the field, serving as an elected member of the IACR Board of Directors and participating in various steering committees including the IACR CHES and RWC Steering Committees. He also serves on advisory boards for several security-focused companies. As an advisor, he has supervised numerous PhD students working on cutting-edge cryptographic research, with recent graduates focusing on post-quantum cryptography, side-channel resistance, and formal verification of cryptographic implementations. His research group actively contributes to both theoretical advances and practical implementations in cryptography.

Jürgen Citoمشاهده پروفایل

دانشیار

• Software Engineering
• Explainable AI
• Performance Engineering
• +۳ مورد دیگر

Jürgen Cito is an Associate Professor with tenure at Vienna University of Technology (TU Wien), specializing in software engineering, explainable AI, and performance engineering. He leads research at the IPA Lab (as indicated by his personal website) and maintains a visiting researcher position at Google. His academic journey began with joining TU Wien as an Assistant Professor in Spring 2020, with promotion to Associate Professor announced in April 2024. His research interests span multiple critical areas of modern software development, with particular focus on developer experience, program comprehension, and the intersection of AI with software engineering practices. His work bridges theoretical foundations with practical industrial applications, as evidenced by collaborations with major technology companies. Analysis of his recent publications reveals a strong emphasis on practical tools and methodologies that enhance software quality, performance, and security. His research trajectory shows increasing focus on explainable AI techniques applied to software engineering problems, performance prediction from source code, and automated security testing approaches that leverage large language models. best teaching award for distance learning for Web Engineering (2020) Cito actively contributes to the software engineering community through numerous conference committee roles, including program committee positions at ASE, ICSE, ESEC/FSE, and other major venues. His lab appears to focus on developer tools, program analysis, and AI-assisted software engineering, with connections to both academic and industrial research environments.

Fabian Gerd Mederمشاهده پروفایل

دانشیار

• Surface phenomena
• Contact electrification
• Soft robotics
• +۳ مورد دیگر

Prof. Fabian Meder is an Associate Professor at the BioRobotics Institute of Scuola Superiore Sant'Anna in Pisa, Italy, leading the Lab for Surface Phenomena and Integrated Systems . He holds a PhD in Materials Science (2013) from the University of Bremen and has held positions at EMPA (Switzerland), University College Dublin (Ireland), and the Max Planck Institute (Germany). His research focuses on surface phenomena and their applications in energy harvesting, soft robotics, and biohybrid systems, particularly leveraging plant surfaces for sustainable technologies. Education: Bachelor's in Bio- and Nanotechnology (2008) – South Westphalia University of Applied Sciences PhD in Materials Science (2013) – University of Bremen Research Interests: Triboelectric charging and energy conversion on biological surfaces Plant-inspired biohybrid systems for autonomous energy generation Epicuticular electrification mechanisms and their ecological implications Soft robotics and sensor technologies integrated with natural systems Grants & Awards: ERC Consolidator Grant (2024) for the EpiC project on epicuticular electrification National Italian Habilitation (ASN) as Associate Professor in Physical Chemistry (2022) Labs & Teams: Leads the Lab for Surface Phenomena and Integrated Systems, collaborating on interdisciplinary projects in biohybrid robotics and energy harvesting.

• GPU Computing
• Parallel Computing
• Domain-Specific Languages
• +۵ مورد دیگر

Prof. Dr.-Ing. Richard Membarth is a Research Professor for System-on-a-Chip and AI at the Edge Computing at Technische Hochschule Ingolstadt (THI). He is affiliated with the Hardware-Software Co-Design group and holds a secondary position at the German Research Center for Artificial Intelligence (DFKI) Saarbrücken. Co-creator of DSL frameworks like AnyDSL and Hipacc Key contributor to MetaDL (AI metaprogramming) and PRIME (predictive rendering) His research bridges GPU computing , domain-specific languages , and compiler technology , with recent work on Vulkan SPIR-V compilation and device-driven SpMV algorithms . Notable awards include the HiPEAC Paper Award (2018) and multiple Best Paper Awards for his compiler frameworks.

Christian Petersمشاهده پروفایل

دانشیار

• Church History
• Reformation
• Pietism
• +۴ مورد دیگر

Dr. Christian Peters is an Associate Professor of Church History at the University of Münster , leading the Institute for Westphalian Church History and the Münster Research Centre for Pietism . His scholarly contributions focus on the evolution of Reformation-era theology , Pietist movements , and territorial church governance from the 16th to 18th centuries. Peters' research spans 21st-century church historiography , confessional text analysis , and regional Protestant developments . His recent publications explore Westphalian church orders , Reformation jubilees , and early modern liturgical materials , with a particular emphasis on Lutheran and Reformed interplay and territorial identity formation . His editorial work includes the Yearbook for Westphalian Church History (2018-2024), reflecting his role in academic publishing and interdisciplinary collaboration . Peters has also contributed extensively to lexicographic entries in Die Religion in Geschichte und Gegenwart and Luther Handbuch , focusing on Reformation figures and confessional doctrines .

Théo Winterhalterمشاهده پروفایل

پژوهشگر

• Formal Methods
• Type Theory
• Proof Assistants
• +۳ مورد دیگر

Dr. Théo Winterhalter is a researcher at the Deducteam within INRIA Saclay and the Laboratoire de Méthodes Formelles (LMF) at École Normale Supérieure Paris-Saclay. Previously, he held a postdoctoral position at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. He completed his PhD in computer science at the University of Nantes under the supervision of Nicolas Tabareau and Matthieu Sozeau, focusing on the formalization and meta-theory of type theory. His research centers on proof assistants, particularly Coq, and involves advancing formal methods for security, type systems, and dependent type theory. Winterhalter's work includes contributions to the MetaCoq project, enabling meta-programming and formal reasoning about Coq itself. He is also involved in developing verified cryptographic frameworks like SSProve and SecRef*, ensuring secure integration of verified and unverified code. His educational background includes a PhD in type theory and prior work in cryptographic algorithms, such as randomized scalar multiplication. He actively participates in academic communities, serving on program committees for ICFP, TYPES, and POPL. His teaching includes co-teaching the MPRI course on proof assistants with Yannick Forster. Supervision activities include PhD student Yann Leray and multiple interns focusing on Coq extensions and formal verification.

Michael Sammlerمشاهده پروفایل

استادیار

• Formal Verification
• Programming Languages
• Systems Programming
• +۳ مورد دیگر

Michael Sammler is an Assistant Professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA). He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and was a postdoctoral researcher at ETH Zürich. His research focuses on formal verification of low-level systems code, combining foundational proofs with automation. Key projects include RefinedC (C verification), Islaris (assembly code verification), and DimSum (multi-language interoperability). Education: PhD at MPI-SWS/Saarland Informatics Campus, postdoc at ETH Zürich. Research interests emphasize tool development for safety-critical systems, including Rust verification (RefinedRust), OCaml/C interoperability (Melocoton), and decentralized multi-language semantics (DimSum). Awards: Runner-Up for Informatics Europe 2024 Best Dissertation Award, Dr. Eduard Martin Prize, Distinguished Paper Awards at PLDI/POPL/USENIX, and Google PhD Fellowship. Labs/Teams: Programming Languages and Verification Group at ISTA, collaborations with MPI-SWS and international researchers. His work bridges foundational theory with practical tools for industry-relevant verification challenges.

• Database Systems
• Stream Processing
• Distributed Data Management
• +۵ مورد دیگر

Volker Markl is a Professor at Technische Universität Berlin in the Institute of Software Engineering and Theoretical Computer Science, with additional affiliations at the Berlin Institute for the Foundations of Learning and Data (BIFOLD) and the German Research Center for Artificial Intelligence (DFKI). His research spans database systems, stream processing, and distributed data management with significant contributions to both theoretical foundations and practical implementations. Markl's research interests focus on next-generation data management systems, particularly for streaming and IoT environments. His work addresses critical challenges in distributed query processing, system integration, and performance optimization. He has pioneered approaches for stream processing in volatile infrastructures and developed innovative techniques for GPU-accelerated database operations. His NebulaStream project represents a major contribution to distributed stream processing systems. His publication record demonstrates consistent impact across top database venues including VLDB, SIGMOD, and ICDE. Recent work shows increasing focus on machine learning integration with database systems, privacy-preserving query processing, and educational approaches for teaching large-scale data management. Markl has mentored numerous researchers who have become prominent in the database community, with frequent collaborators including Steffen Zeuch, Tilmann Rabl, and Philipp Grulich. His leadership extends to major research initiatives and collaborations across European institutions.

Kai Gehringمشاهده پروفایل

استاد

• Political Economy
• Development Economics
• Public Economics
• +۲۶ مورد دیگر

Kai Gehring is a Professor for Political Economy and Sustainable Development at the Department of Economics, University of Bern, and a member of the interdisciplinary Wyss Academy for Nature in Bern. He is also a research professor associated with the ifo Institute in Munich. His academic affiliations include CESifo, the European Development Network (EUDN), the Development Economics Committee of the German Economic Association, and the Globalization and Development (GlaD) group. His educational background includes a Ph.D. in Economics from the University of Göttingen (with co-supervision from Heidelberg University), where his supervisors were Axel Dreher and Stephan Klasen, and he graduated summa cum laude . He earned his Diplom (equivalent to M.Sc.) in Business Administration with electives in Economics from the University of Mannheim, and previously studied at the University of Canterbury in New Zealand. Kai Gehring’s research focuses on political economy, development, and public economics. He develops theoretical frameworks grounded in economics and related disciplines and tests them using modern econometric methods, often leveraging novel administrative, geographical, and historical data. His work emphasizes the role of culture, norms, and history in shaping institutional outcomes in both developed and developing countries. Key research themes include development cooperation and aid effectiveness, the political economy of international organizations (such as the IMF, World Bank, and EU), and the origins and consequences of group identities and horizontal inequalities in conflict and power distribution. His current research projects explore narratives on nature, climate change, and migration using natural language processing and media data; analyze resource extraction and pollution through satellite imagery and machine learning; and investigate propaganda and conflict. Although no recent publications are listed in the provided text, his methodological approach combines theory, rigorous empirical analysis, and innovative data sources across political economy and development. Ambizione Grant from the Swiss National Science Foundation Kai Gehring has supervised various research initiatives, including the "Minister Project," a citizen-science effort to compile comprehensive data on African government members’ regional and linguistic origins to study governance and development. He has received research funding through the Ambizione Grant and leads interdisciplinary collaborations with institutions such as the Wyss Academy and ifo Institute. His teaching experience spans the University of Mannheim, Heidelberg University, University of Applied Sciences Kaiserslautern, and the University of Zurich. He leads the "Minister Project," which engages global contributors to collect data on African ministers’ birth regions and native languages. This initiative aims to build a robust dataset to analyze how ethnic and linguistic diversity affects government formation and policy outcomes. The project promotes open, collaborative research and acknowledges contributors on its website, offering incentives such as Amazon vouchers and an iPad.

Thomas Stäckerمشاهده پروفایل

استاد

• Digital Humanities
• Library Science
• Digitization of Early Printed Books
• +۷ مورد دیگر

Prof. Dr. Thomas Stäcker is a Part-time Professor for Digital Humanities at the Department of Information Sciences, University of Applied Sciences Potsdam. He serves as Director of the University and State Library Darmstadt (since 2017) and Deputy Director of the Herzog August Library Wolfenbüttel (since 2009). His career spans roles as a librarian at Herzog August Bibliothek (since 1998) and Johannes a Lasco Library in Emden (1997-1998). Education: Master's degree in History of Philosophy and Latin (1991), doctorate (1994) from TU Braunschweig, University of Essex, and University of Osnabrück Research: Digital Humanities, digitization of early printed books, XML/TEI encoding, OCR technologies, and cultural heritage preservation Leadership: Key roles in major digitization projects (e.g., VD17, Dünnhaupt Digital) and digital library development His work bridges library science with scholarly research, emphasizing open access, digital editions, and metadata standards. He has authored/co-authored numerous monographs, including the 2015 'Grenzen und Möglichkeiten der Digital Humanities' and the 2016 Festschrift chapter on open access. Stäcker co-edited digital editions like Christoph Heidmann's Oratio de Bibliotheca Julia (2013) and maintained active engagement through blogs like 'dhd-blog.org' (2015 post on humanities research data).