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

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

استاد

• Operations Research
• Risk Management
• Complex Systems Optimization
• +۳ مورد دیگر

Prof. Dr. Stefan Pickl is a full Professor of Operations Research at Universität der Bundeswehr München, where he leads the Chair of Operations Research and the Core Competence Center COMTESSA. His research integrates operations research, risk management, and complex systems optimization, with applications in critical infrastructure resilience, disaster reduction, and network security. Education includes a diploma in Mathematics and Philosophy from TU Darmstadt (1993), a doctorate (1998), and habilitation (2005) from TU Darmstadt and Universität zu Köln. He was an ERASMUS scholar at EPFL Lausanne. Research focuses on: Optimization of stochastic systems and game-theoretic frameworks for decision support. Risk analysis in transportation security (e.g., BMBF projects RIKOV and REHSTRAIN). Resilience modeling for critical infrastructure against hybrid threats. His recent publications emphasize stochastic positional games, humanitarian logistics, and ethical infrastructure challenges, reflecting interdisciplinary collaboration across computer science, engineering, and social sciences. Awards include three Best Paper Awards (CASYS 2003, 2005, 2007) and the Acquisition Research Symposium Award (2013). He secured significant grants for projects like RIKOV (terrorism risk in rail transport) and REHSTRAIN (high-speed train resilience). Leads the COMTESSA research team with 15+ members, including junior professors, scientists, and engineers. Collaborates with international centers like MUNICH AEROSPACE, CENETIX-NPS, and CODE.

Chandrakana Nandiمشاهده پروفایل

استادیار

• programming languages
• compilers
• computational geometry
• +۵ مورد دیگر

Chandrakana Nandi is the Director of US R&D at Certora and an Affiliate Assistant Professor at the University of Washington (UW), Seattle. She earned her PhD from the UW PLSE group under advisors Zachary Tatlock and Dan Grossman. Education & Affiliation PhD in Computer Science (2021) from University of Washington MS in Computer Science (2014) from Georgia Institute of Technology BS in Computer Science (2012) from Georgia Institute of Technology Research Interests Her work focuses on automated formal verification for real-world programs, particularly DeFi applications. She develops verification tools for languages like WASM and uses mutation testing to simplify specification writing. She pioneered equality saturation applications in synthesis, verification, and optimization through projects like egg and Ruler . Her computational fabrication research includes LambdaCAD and Reincarnate. Publications & Awards Distinguished Paper Award (OOPSLA 2021) Distinguished Paper Award and Sigplan Research Highlight (POPL 2021) Community Involvement She chairs sessions at PLDI and OOPSLA, co-organizes EGRAPHS workshops, and contributes to the egg open-source library. Her NSF grants (#1813166, #1644558) and Adobe Research Fellowship support her work. Contact Email: chandra@certora.com

Arjun Guhaمشاهده پروفایل

دانشیار

• Programming Languages
• Program Synthesis
• Low-Resource Programming Languages
• +۳ مورد دیگر

Arjun Guha is an Associate Professor of Computer Science at Northeastern University's Khoury College of Computer Sciences, where he also serves as Area Chair for Software. Additionally, he holds a Visiting Professor position at Roblox Research. His work spans programming languages, program synthesis, and the intersection of large language models with computer science education. Guha's research primarily focuses on two areas: program synthesis for "low-resource" programming languages (those not widely supported by existing AI code generation tools but widely used in specialized fields like scientific computing), and understanding how large language models impact computer science education. His work has led to significant contributions in benchmarking neural code generation across multiple languages and examining how students interact with AI-generated code. He is particularly interested in knowledge transfer between high-resource and low-resource programming languages for code LLMs. Guha's recent publications show a strong trend toward examining the practical applications and limitations of large language models in programming contexts. His work spans from developing benchmarks like MultiPL-E for cross-language code generation evaluation to studying how beginners understand and interact with AI-generated code. There's a clear emphasis on making code generation more accessible for specialized domains and understanding the educational implications of these technologies. Guha actively mentors students at all levels, leading a research group within Northeastern's Programming Research Laboratory. His current advisees include several PhD students and postdocs working on topics related to code LLMs, program synthesis, and computer science education. His research has been generously supported by the National Science Foundation, Department of Energy, Office of Naval Research, and industry partners including Google, JPMorgan Chase, MathWorks, Meta, Oracle, and Roblox. Guha is an active contributor to the programming languages research community, serving on program committees for major conferences including PLDI, POPL, SPLASH, and OOPSLA. He has chaired workshops and sessions at these conferences and continues to be an influential voice in the programming languages community.

Aalok Thakkarمشاهده پروفایل

استادیار

• Programming Languages
• Formal Logic
• Artificial Intelligence
• +۳ مورد دیگر

Aalok Thakkar is an Assistant Professor in the Department of Computer Science at Ashoka University, specializing in Programming Languages , Formal Logic , and Artificial Intelligence . He earned his Ph.D. in 2023 from the University of Pennsylvania , advised by Rajeev Alur and Mayur Naik. His research focuses on example-guided synthesis of relational queries , with applications in program verification, automated reasoning, and AI. Recent work includes the Mobius framework (OOPSLA 2023) and Relational Query Synthesis ⋈ Decision Tree Learning (VLDB 2023). Published in npj Digital Medicine (2021) on pandemic risk modeling Contributed to Natural Computing (2020) on Boolean network concurrency Workshop papers on synthesis algorithm complexity (SYNT 2022) and reactive systems (SYNT 2020) He was previously affiliated with Adobe Systems, Aptos Labs, Amazon AWS, and Bell Labs. Awards include the Alt Carbon Darjeeling Revival Fellowship . Teaching includes courses on Symbolic Logic , Rust programming , and Games on Graphs . He will host an IndiCS Seminar on Automated Synthesis in 2025.

Işıl Dilligمشاهده پروفایل

دانشیار

• programming languages
• program analysis
• program verification
• +۴ مورد دیگر

Işıl Dillig is an Associate Professor of Computer Science at the University of Texas at Austin, where she leads the UToPiA research group. Her work focuses on programming languages, with specific emphasis on program analysis, verification, and synthesis. B.S., M.S., and Ph.D. from Stanford University Her research aims to enhance software reliability, security, and development efficiency through advanced synthesis techniques. Recent work spans: Neurosymbolic and semantic synthesis Blockchain and smart contract optimization Type systems for safety She has received prestigious accolades including: Sloan Fellowship NSF CAREER award Contributions to the field include leadership roles in conference organization and mentoring initiatives. Her lab actively explores applications in databases, security, and concurrent programming.

Ondřej Lengálمشاهده پروفایل

دانشیار

• Formal Verification
• Automata Theory
• Logic
• +۳ مورد دیگر

Ondřej Lengál is an Associate Professor at the Faculty of Information Technology, Brno University of Technology, Czech Republic. He earned his Ph.D. from the same institution in 2015 and was promoted to Associate Professor in 2025. His academic career centers on theoretical computer science with applications in formal verification and quantum computing. Education: Ph.D. in Computer Science, Brno University of Technology, 2015 Research Focus: Lengál's work bridges Formal Verification , Automata Theory , and Quantum Computing . He develops automata-based frameworks for string constraint solving and quantum circuit verification, with significant contributions to counting automata determinisation and regex matching algorithms. His research integrates logic and formal methods to address challenges in program analysis and quantum software correctness. Publication Trends: Analysis of his 12 publications (2017-2025) reveals a strategic evolution from classical automata theory (2017-2020) toward quantum verification (2023-2025). String constraint solving remains a consistent thread, while recent work demonstrates pioneering integration of tree automata in quantum circuit analysis. His research shows increasing interdisciplinary collaboration, particularly in quantum computing applications. Professional Engagement: Lengál actively contributes to the programming languages community as a PLDI Review Committee member (2026), VMCAI 2026 co-chair, and program committee member for APLAS (2022). He has served as session chair for TACAS 2019 and artifact evaluation co-chair, demonstrating leadership in conference organization and research validation.

Will Crichtonمشاهده پروفایل

استادیار

• Programming Languages
• Human-Computer Interaction
• Type Systems
• +۴ مورد دیگر

Will Crichton is an Assistant Professor of Computer Science at Brown University. His research bridges programming language theory and cognitive psychology to improve developer experience, particularly in Rust and type systems. He has developed tools like Flowistry (Rust IDE plugin) and Argus (trait error debugger) used by over 100,000 developers. Education: PhD from Stanford University (2022), advised by Pat Hanrahan and Maneesh Agrawala Prior Roles: Postdoctoral researcher with Shriram Krishnamurthi at Brown University His research focuses on: Type Systems: Creating usable type-level programming frameworks like Tyrade Rust Ecosystem: Ownership models, trait error debugging, and learning tools Human Factors: Applying cognitive psychology to programming language design Key contributions include: Interactive visualizations for Rust (AquaScope) Scientific programming workshops and educational materials Foundational work on security type systems and session types in Rust

Jonathan Immanuel Brachthäuserمشاهده پروفایل

پژوهشگر

• Programming Languages
• Type Systems
• Compiler Design
• +۷ مورد دیگر

Jonathan Immanuel Brachthäuser is a researcher at the University of Tübingen in Germany. He serves as a program committee member across multiple conferences including IWACO, ICFP, POPL, and SPLASH, and has held organizing roles such as Hybridisation Co-Chair and Sponsorship Chair . His research focuses on algebraic effects , effect handlers , and continuation-passing style in programming language design and compilation. Conference Contributions : 15+ peer-reviewed papers on effect systems, type inference, and compilation techniques. Advising & Mentorship : No formal student advising roles listed, but active participation in academic community building. Technical Leadership : Co-chair for workshops and artifact evaluation committees, reflecting his influence in effect-driven language design.

Anna Hajduمشاهده پروفایل

پژوهشگر

• Sustainability Transition
• Corporate Social Responsibility in Agriculture
• Land Use Economics
• +۵ مورد دیگر

Dr. Anna Hajdu serves as a Research Associate at the Leibniz Institute of Agricultural Development in Transition Economies (IAMO) within the Department of Structural Development of Farms and Rural Areas. Her interdisciplinary work bridges agricultural economics, ecological sustainability, and social sciences, with current focus on European farmers' protests and sustainability transitions in food systems. Her research interests center on corporate social responsibility in agriculture , land use dynamics , and institutional responses to social movements . Through extensive fieldwork across Romania, Bosnia-Herzegovina, Argentina, and Brazil, she examines how farmers navigate sustainability pressures amid public controversies. Her methodological approach combines qualitative fieldwork with quantitative analysis of agricultural enterprises in Eastern Europe and Central Asia. Dr. Hajdu's publication record demonstrates consistent focus on CSR determinants, with recent work analyzing EU environmental policy perceptions and farmer protest movements. Her research spans multiple disciplines including agricultural economics, institutional theory, and sustainability science, reflecting complex interconnections between land governance, corporate behavior, and societal expectations. She serves as a reviewer for prominent journals including Journal of Land Use Science , Habitat International , and International Food and Agribusiness Management Review , contributing to scholarly discourse in her fields of expertise. Her professional trajectory includes ERC-funded research at Erasmus University Rotterdam's International Institute of Social Studies, private sector experience in change management, and academic training from VU Amsterdam and Bucharest University of Economic Studies.

Julia Schwarzkopfمشاهده پروفایل

استاد

• Sustainability
• Sustainable Corporate Management
• Sustainable Supply Chain Management
• +۵ مورد دیگر

Professor Julia Schwarzkopf is faculty at HTW Berlin (Berlin University of Applied Sciences) in the Department of Business and Legal Studies, specializing in Sustainability Management. She teaches in both the International Business Bachelor's and Master's programs with a dedicated focus on environmental sustainability. Her research concentrates on Sustainable Supply Chain Management, Sector Initiatives, CSR Audits, Sustainability Reporting, and Human Rights Due Diligence following OECD guidelines. Professor Schwarzkopf serves as the Liaison Lecturer for the Friedrich Ebert Foundation and maintains an active research portfolio with 8 current projects. With 40 publications to her name, her scholarly work demonstrates consistent contribution to sustainability management literature, particularly examining corporate responsibility frameworks and supply chain transparency mechanisms. Professor Schwarzkopf has supervised 3 doctoral candidates and currently manages thesis supervision with specific capacity constraints - no openings for winter 2025/26 but accepting inquiries for summer 2026 between November 15-30. She maintains strict email protocols, responding only to messages from official HTW email accounts and rejecting attachments in Word, Excel, or PowerPoint formats. During summer term 2025, she is on research leave and not holding regular office hours, reflecting her active engagement in scholarly work beyond teaching responsibilities.

Manuel Ostermeierمشاهده پروفایل

استاد

• Sustainable Logistics
• Resilient Supply Chain Management
• Operations Research
• +۵ مورد دیگر

Prof. Dr. Manuel Ostermeier leads the Chair of Resilient Operations at the Center for Climate Resilience and the Faculty of Business and Economics at the University of Augsburg. His research focuses on sustainable and resilient logistics concepts in supply chains, with applications in food waste prevention , autonomous vehicles , and data-driven optimization . He collaborates internationally with institutions like the Polytechnic University of Porto and industry partners on projects such as the Green Hospital initiative , which addresses healthcare supply chain sustainability. The chair offers interdisciplinary opportunities for research and teaching. Contact: manuel.ostermeier@uni-a.de | rop@wiwi.uni-augsburg.de Address: Universitätsstraße 12, 86159 Augsburg Research Trends : Analysis of the 15 most recent articles reveals expertise in last-mile logistics (robotics, autonomous vehicles), food waste reduction in retail, and multi-compartment vehicle routing for efficient distribution. Quantitative methods (e.g., mixed-integer programming, heuristic algorithms) are applied to grocery retail , quick commerce , and environmental sustainability .

• Evolutionary Biology
• Mycology
• Fungal Ecology
• +۴ مورد دیگر

Dr. Martin Kemler serves as a Postdoctoral researcher at the University of Hamburg within the Faculty of Mathematics, Computer Science and Natural Sciences, Department of Biology, specifically in the Institute of Plant Sciences and Microbiology's Organismic Botany and Mycology group. His research activities are centered at Ohnhorststrasse 18, 22609 Hamburg, Room CvL 3.509, where he conducts specialized work on fungal systematics and ecology. Dr. Kemler's research program focuses on the evolution and ecology of smut fungi and plant-associated fungal communities , with particular expertise in fungal taxonomy, host specificity, and microbial community dynamics. His work bridges molecular phylogenetics with ecological field studies, examining how fungal pathogens interact with their host plants across different environments. He has made significant contributions to understanding the systematics of smut fungi genera including Anthracoidea and Microbotryum , while also investigating endophytic fungal communities in olive trees and across ecological gradients in African ecosystems. His research methodology integrates DNA sequencing, morphological analysis, and ecological modeling to address fundamental questions in fungal evolution and plant-microbe interactions. Analysis of Dr. Kemler's recent publication record (2023-2024) reveals three major research thrusts: (1) fungal systematics and taxonomy, demonstrated through his participation in the Global Consortium for Fungal Classification and Fungal Planet description sheets; (2) evolutionary biology of smut fungi, particularly examining convergent evolution patterns between distantly related lineages; and (3) microbial ecology of plant-associated fungi, with emphasis on how land use change and host domestication affect fungal community structure. His collaborative approach is evident through extensive co-authorship networks spanning multiple continents, reflecting the international nature of modern mycological research. Dr. Kemler actively contributes to the broader scientific community through his methodological innovations in studying fungal evolution and ecology. His work on endophytic communities in olive trees has provided important insights into how agricultural practices affect microbial biodiversity, while his taxonomic work has helped clarify classification systems for challenging fungal groups. His research demonstrates consistent methodological rigor and addresses questions of both theoretical significance and practical application in fungal biodiversity conservation.

• Social participation & vulnerability
• Poverty & Debt
• Basic education
• +۳ مورد دیگر

Dr. Katharina Angermeier is a researcher and teaching staff member in the Department of Social Work at Hamburg University of Applied Sciences (HAW Hamburg), Faculty of Economics and Social Sciences. She holds a PhD in Education from the University of Hamburg (completed 2021) in cooperation with HAW Hamburg and has been working as a research assistant in teaching for the Bachelor of Social Work program since January 2021. Her educational background includes a Master's in Social Work from HAW Hamburg (2015-2017) and a Bachelor's in Social Work from KSH Munich (2011-2015). Her professional experience spans various social work settings including debt counseling, support for people living with disorganization, and mother-child residential care. Angermeier's research focuses on the intersection of social work, vulnerability, and everyday mathematics practices, particularly in contexts of over-indebtedness and poverty. Her work examines how mathematical literacy impacts social participation and how social workers can better address financial vulnerability through educational approaches. She explores disorganized living patterns and their relationship to socioeconomic vulnerability, emphasizing interdisciplinary case processing methods. Her publication record shows a consistent focus on vulnerability, debt counseling, and everyday mathematics practices, with numerous publications between 2017-2022. Her research demonstrates a shift from examining educational expectations in social work toward increasingly specialized investigations of mathematical practices within debt contexts and disorganized living situations. Angermeier contributes to teaching through Specialist Projects on disorganized life in the Hamburg assistance system, communication skills, professional action concepts, interdisciplinary casework, and debt & social work. She also organizes orientation units for first-year students, demonstrating her commitment to social work education. She is actively involved in the Hamburg Numeracy Project, a research initiative examining everyday mathematical practices in adult basic education contexts, particularly focusing on vulnerable populations with financial constraints. Her work bridges theoretical frameworks with practical applications in social work settings, addressing critical issues of social participation and vulnerability.

Pavel Dvurechenskyمشاهده پروفایل

پژوهشگر ارشد

• Optimization algorithms
• Stochastic optimization
• Optimal transport
• +۷ مورد دیگر

Dr. Pavel Dvurechensky is a Research Fellow at the Weierstrass Institute for Applied Analysis and Stochastics (WIAS) since 2015 and a member of Math+, the Berlin cluster of excellence. His research focuses on theoretical and applied aspects of optimization algorithms, particularly first- and second-order methods for convex and non-convex large-scale problems. 2023: Habilitation in mathematics at Humboldt University Berlin 2014-2015: Research assistant at Institute for Information Transmission Problems, Moscow 2009-2015: Junior researcher at Moscow Institute of Physics and Technology His work addresses stochastic optimization, optimal transport, distributed computing, and applications in machine learning, energy systems, and traffic modeling. He has contributed to complexity analysis of mirror descent variants, barrier methods for non-convex problems, and high-probability bounds in heavy-tailed noise scenarios. Recent publications appear in top venues like ICML, NeurIPS, and Mathematical Programming. Selected Scientific Awards: Habilitation in mathematics (2023) He has taught courses on modern optimization at Humboldt University and Higher School of Economics, covering gradient methods, mirror descent, and optimal transport. Collaborations include projects with Math+ cluster on energy system equilibria and brain signal analysis.

Harshit Jitendra Motwaniمشاهده پروفایل

پژوهشگر ارشد

• Computational Algebraic Geometry
• Formal Verification
• Tensors
• +۵ مورد دیگر

Harshit Jitendra Motwani is a Postdoctoral Researcher at the Max Planck Institute for Software Systems (MPI-SWS) , Germany. Previously, he was a Postdoctoral Fellow at the Hong Kong University of Science and Technology (HKUST) (2023-2024), following doctoral research at Ghent University (2021-2023) and earlier engagements at HKUST, Ghent University, and the University of Bristol . Education : PhD in Mathematics: Algebra and Geometry from Ghent University (2021-2023), Thesis on Algebro-Geometric Algorithms for Program Synthesis; Integrated BSc and MSc in Mathematics and Computing from IIT Kharagpur (2015-2020). Research Focus : Integrates mathematics into computational domains, particularly Computational Algebraic Geometry , Formal Verification , and Tensors . His work spans program synthesis , tensor networks , conditional independence models , and control theory applications . Publications : Recent contributions include algorithmic advancements in formal methods (FM, AAAI, LAGOS), algebraic statistics (IMRN), and quantum computing (SIGMA). His research combines symbolic computation with practical software engineering challenges. Awards & Honors : IEEE Computer Society Larson Best Paper Award (2023) ACM SIGPLAN Distinguished Paper Award (2023) Young Researcher of the Heidelberg Laureate Forum (2023) INSPIRE Scholarship (2015-2020) Teaching : Guest Lecturer at HKUST, Teaching Assistant at RPTU Kaiserslautern-Landau and IIT Kharagpur. Mentored multiple bachelor's projects at Ghent University and IIT Kharagpur.