جستجوی استاد راهنمای دانشگاهی

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Databases
• +۵ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Örs Legezaمشاهده پروفایل

استاد مهمان

• Quantum Physics
• Condensed Matter Physics
• Computational Physics
• +۵ مورد دیگر

Örs Legeza is a physicist and scientific advisor at the Wigner Research Centre for Physics of the Hungarian Academy of Sciences in Budapest, leading the Strongly Correlated Systems Research Group. He holds a visiting professorship at Philipps University Marburg, Germany, and has held fellowships at institutions like ETH Zurich and LMU Munich. His research focuses on developing tensor network state (TNS) methods for strongly correlated quantum systems, with applications in condensed matter physics, quantum chemistry, and nuclear structure calculations. Education: PhD from Budapest University of Technology and Economics (1997). He has collaborated with European institutions such as FAU Erlangen-Nuremberg and has been an Alexander von Humboldt awardee. His work bridges quantum information theory and computational mathematics to advance simulations of complex quantum systems. Research interests include quantum phase transitions, magnetic properties in solids, and ultracold atomic systems. His methods push computational boundaries for larger systems, integrating techniques like density matrix renormalization group (DMRG) and matrix product states (MPS). Notable awards include the 2021 Academy Prize and 2018 Humboldt Research Award. Recent articles explore quantum crystal imaging, tensor network algorithms, and nuclear structure calculations. His work emphasizes interdisciplinary approaches to quantum many-body problems.

Andrzej M Oleśمشاهده پروفایل

استاد

• model
• Spin Orbital
• doping
• +۷ مورد دیگر

Prof. Dr. Andrzej M Oleś serves as a Professor at the Institute of Theoretical Physics within the Faculty of Physics, Astronomy and Applied Computer Science at Jagiellonian University in Kraków, Poland. His research centers on condensed matter theory with emphasis on quantum materials and electronic structure phenomena. His primary research interests include spin-orbital coupling in transition metal compounds, electron correlation effects, doping mechanisms in metal oxides, and magnetic phenomena in antiferromagnetic/ferromagnetic systems. He employs advanced theoretical frameworks including model Hamiltonians and density functional theory to investigate quantum phases, lattice dynamics, and topological states in complex materials. Recent publications reveal a strong focus on kagome lattice systems (FeGe, RhPb), infinite-layer nickelates, and quantum computation optimization. His work demonstrates consistent exploration of charge density waves, topological surface states, and nonadiabatic quantum control across high-impact journals including Physical Review series and Condensed Matter. Oleś maintains an extensive international collaboration network with researchers from Italy, the United States, and other European institutions, as evidenced by co-authorship patterns across his publication record. His theoretical contributions address fundamental challenges in strongly correlated electron systems and quantum material design.

• Optimal Control of Partial Differential Equations
• Variational Inequalities
• Nonsmooth Infinite-dimensional Optimization
• +۵ مورد دیگر

Dr. Constantin Christof is a Lecturer (Akademischer Rat auf Zeit) at the Department of Mathematics , Technische Universität München , with prior roles as a W2 Stand-in Professor at Universität Augsburg and Research Associate at TUM and TU Dortmund. His research focuses on Optimal Control of PDEs , Variational Inequalities , and Nonsmooth Optimization , with applications in Non-Newtonian Fluids and Neural Networks . May 2015 - July 2018: Dr. rer. nat. in Mathematics, TU Dortmund Oct. 2013 - July 2014: MAST (Part III of Mathematical Tripos), University of Cambridge Oct. 2009 - Sept. 2012: B.Sc. in Technomathematics and Mathematics, TU Dortmund Christof's work bridges Finite Element Error Analysis , Sensitivity Analysis , and Physics-Guided Machine Learning , particularly in problems involving Contact Mechanics and Parabolic PDE Constraints . His recent publications address challenges in Semilinear Elliptic PDEs , Obstacle Problems , and Nonsmooth Superposition Operators , with a focus on theoretical and numerical advancements. Scientific awards include the Dissertation Award and Best Graduate Award from TU Dortmund, and the Award for Academic Excellence by the Minister President of North Rhine-Westphalia. He has supervised 11 theses at the Master's and Bachelor's levels, covering topics from Neural Network Surrogate Models to Bingham Fluid Simulations .

Anne Remkeمشاهده پروفایل

استاد

• Dependability
• Security
• Critical Infrastructures
• +۵ مورد دیگر

Professor Anne Remke leads the safety-critical systems group at the Faculty of Mathematics and Computer Science at Westfälische Wilhelms-Universität Münster since October 2014. She is also affiliated with the Design and Analysis of Communication Systems group at the University of Twente, where she served as assistant professor from June 2010 and became associate professor in March 2016. Her research focuses on dependability and security in critical infrastructures, particularly electrical power systems and telecommunication networks. Her educational background includes a PhD (2008) and MSc (2004) in Computer Science from the University of Twente and RWTH Aachen respectively. Her doctoral research focused on 'Model Checking Structured Infinite Markov Chains,' for which she publicly defended her thesis in June 2008. Professor Remke's research interests center on cyber-physical systems, with particular focus on evaluation of charging strategies for local energy storage in smart homes and security of control networks (SCADA) in smart grids. Her work bridges theoretical model checking techniques with practical applications in critical infrastructure protection. She has made significant contributions to the analysis of hybrid Petri nets, stochastic models, and the development of tools for dependability evaluation. Her recent publications demonstrate a strong trend toward integrating machine learning with formal verification methods for cyber-physical systems. The research spans stochastic hybrid systems, reachability analysis, and security evaluation of smart grid infrastructures, showing consistent growth in both theoretical foundations and practical applications of dependability analysis. Veni award from Dutch Science foundation (NWO) for 'Counting on a reliable water supply' GI/ITG MMB prize for best diploma thesis in computer and communication systems Best Paper Award at Valuetools 2023 conference Best Repeatability and Artifact Evaluation Award at QEST21 Teaching award from Fachschaft FB10 (2019) Professor Remke has successfully secured multiple research grants including the DFG project 'RealyST: Reachability Analysis for Stochastic Hybrid Systems' in collaboration with RWTH Aachen. She has supervised numerous students including Katharina Sichma, Pauline Blohm, Joanna Delicaris, Verena Menzel, Mathis Niehage, Jonas Stübbe, and Lisa Willemsen. Her research group actively participates in international collaborations and standardization efforts in critical infrastructure security. The safety-critical systems group maintains several research tools including HYPEG (for simulation and analysis of hybrid Petri nets), TimeNET (a GUI for modeling hybrid Petri nets), and a Smart Neighbourhood Simulation Tool for community energy storage and trading. These tools support their research in modeling and evaluating complex critical infrastructures through both analytical methods and simulation techniques.

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

استاد

• Program Verification
• Automated Deduction
• Termination Analysis
• +۱۲ مورد دیگر

Jürgen Giesl is a Professor at the Teaching and Research Area Computer Science 2 within the Department of Computer Science at RWTH Aachen University , Germany. He leads research in programming languages, formal verification, automated deduction, and term rewriting systems. Research Interests: Automated Termination and Complexity Analysis of Programs Dependency Pairs and Term Rewriting Systems Verification of Probabilistic and Integer Programs Static Analysis and Symbolic Execution Model Checking and Constrained Horn Clauses Development of Automated Tools (AProVE, LoAT) His recent research, reflected in the latest publications, focuses on termination and complexity analysis for probabilistic programs, polynomial loops, and integer programs, using advanced techniques such as dependency pairs, loop acceleration, and semiring semantics. He also contributes to SMT solving and transitive relation learning for infinite-state model checking. Scientific Awards: Best Tool Paper Award at iFM 2017 Silver Medal (Second Best Paper) at SEFM '16 Best Paper Honourable Mention at IJCAR 2024 Best Student Paper Honourable Mention at IJCAR 2024 Advising and Grants: Giesl has supervised numerous PhD and Master’s students, including prominent researchers such as Fabian Frohn, Jens Hensel, Nils Lommen, and Marcel Hark. He leads a large research group focused on automated verification and has contributed extensively to international verification competitions. His work is supported by ongoing research grants and collaborations with leading institutions in formal methods. Labs and Teams: He leads the Programming Languages and Verification research group at RWTH Aachen, which develops and maintains the AProVE and LoAT tools. These tools are central to automated termination and complexity analysis and are regularly submitted to international competitions such as TERMCOMP and VBS.

Rayna Dimitrovaمشاهده پروفایل

استادیار

• Verification
• Reactive Systems Synthesis
• Control and Robotics
• +۳ مورد دیگر

Rayna Dimitrova is a Tenure-track faculty member at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. Previously, she held positions as Lecturer (Assistant Professor) at the University of Sheffield and University of Leicester, and postdoctoral roles at the University of Texas at Austin and the Max Planck Institute for Software Systems. She earned her PhD from Saarland University. Her research focuses on formal methods, including verification and synthesis of reactive systems, applications to control and robotics, quantitative analysis of probabilistic systems, and information-flow security. Key interests include strategic synthesis under partial observability, probabilistic uncertainty, and continuous dynamics, with applications to autonomous systems. She has served in numerous prestigious roles, including PC co-chair for VMCAI 2024, HYPER 2023, and SMT 2018. Her awards include the RS3 Best Paper Award (VMCAI 2012) and nominations for ETAPS (TACAS 2015) and EMSOFT (2014) Best Paper Awards. Her research group includes PhD students Rafael Dewes, Philippe Heim, and Saleh Soudijani. She has taught courses on reactive synthesis, program analysis, and decision procedures at multiple institutions, including the University of Sheffield and TU Kaiserslautern.

Nathanaël Fijalkowمشاهده پروفایل

پژوهشگر

• Games
• Machine Learning
• Automata Theory
• +۹ مورد دیگر

Nathanaël Fijalkow is a Researcher at CNRS in LaBRI (Bordeaux) and a Research Fellow at The Alan Turing Institute in London. His primary research fields include games , machine learning , automata theory , and dynamical systems , with a focus on synthesizing programs from logical specifications and probabilistic models. Research Interests span program synthesis (programming by example), controller synthesis (temporal logic specifications), games on graphs (parity/mean payoff games), probabilistic automata (bounded ambiguity), and invariants for linear dynamical systems. He bridges formal methods with machine learning through projects like DeepSynth . Scientific Contributions include: Undecidability results for probabilistic automata Advances in parity game algorithms (quasi-polynomial lower bounds) Foundations of probabilistic modal logics Efficient synthesis techniques using SMT solvers and distributional learning Supervision involves guiding postdocs and PhD students such as Guillaume Lagarde, Antonio Casares, and Pierre Ohlmann. He has secured grants like the Momentum DeepSynth project (2019-2021) , aiming to merge formal methods with ML for program synthesis.

Maria Daghoferمشاهده پروفایل

استاد

• Condensed Matter Physics
• Quantum Materials
• Topological Insulators
• +۳ مورد دیگر

Maria Daghofer is a Professor and Vice Dean of the Department of Physics at the University of Stuttgart. She leads the Institute for Functional Matter and Quantum Technologies, focusing on quantum materials and strongly correlated electron systems. Her research explores topological phases, superconductivity, and magnetism in novel materials like nickelates and Kitaev-based systems. Key themes include Floquet engineering, orbital excitations, and electronic structure modeling. She has contributed significantly to understanding quantum criticality and topological degeneracy in spin chains. Her work bridges theoretical predictions with experimental realizations in quantum materials. Research interests emphasize quantum phase transitions, emergent phenomena in correlated systems, and the interplay between topology and magnetism. Recent studies investigate topological edge states, piezomagnetism in altermagnets, and superconductivity in infinite-layer nickelates. Experimental collaborations focus on fractional Chern insulators and Rydberg atom systems. Daghofer's contributions have advanced theoretical frameworks for analyzing orbital polaron behavior and electronic correlations in layered cuprates. Her role as Head of Institute positions her at the forefront of functional matter research, integrating computational modeling with material synthesis efforts. Though no specific awards are listed, her prolific publication record (over 50 articles since 2006) underscores sustained leadership in condensed matter physics. Current projects explore novel superconducting mechanisms and topological quantum states under external stimuli like circularly polarized light.

• Quantum Information
• Quantum Thermodynamics
• Quantum Foundations
• +۳ مورد دیگر

Dr. Johan Åberg is a researcher in quantum information and quantum thermodynamics at the University of Cologne's Mathematical Physics group, led by Junior Professor David Gross. His work focuses on foundational aspects of quantum theory with applications in thermodynamics and computation. His research centers on quantum coherence as a resource, single-shot thermodynamics, and geometric phases in quantum systems. Key contributions include catalytic coherence transformations and work extraction protocols that redefine thermodynamic limits in quantum regimes. He investigates how quantum effects like superposition and entanglement enable novel information processing capabilities beyond classical constraints. Analysis of his publication record reveals a consistent trajectory from quantum holonomy and geometric phases (2006-2008) toward quantum thermodynamics and resource theory (2011-2014). His work bridges abstract mathematical physics with practical quantum information applications, particularly in coherence manipulation and thermodynamic resource conversion. No scientific awards were mentioned in the provided text. No information regarding student advising or research grants was provided in the source material. Dr. Åberg is part of the Mathematical Physics research group that relocated to the University of Cologne in 2015, as documented in news archives. The group maintains active research in quantum information foundations, quantum computation theory, and interdisciplinary connections between quantum physics and information science.

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Language-based Security
• +۵ مورد دیگر

Benjamin C. Pierce is the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. As a Fellow of the ACM, he has made significant contributions to programming language theory and formal methods. His academic leadership includes previous editorial roles as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans multiple interconnected domains in programming language theory, with particular emphasis on type systems and their applications to security and verification. Pierce's work bridges theoretical foundations with practical implementations, most notably through his development of the Unison file synchronization tool and contributions to the Clowdr virtual conference platform. His research interests form a cohesive trajectory from foundational type theory to applied security and verification techniques. Pierce's scholarly output shows consistent focus on property-based testing, type systems, and formal verification methods. His recent publications demonstrate evolving interests in differential privacy verification, synchronization technologies, and the practical challenges of implementing formal methods in real-world systems. The progression of his work reflects both theoretical depth and practical relevance to software development challenges. Fellow of the ACM Author of influential textbooks Types and Programming Languages and Software Foundations Lead designer of the Unison file synchronizer Co-developer of the Clowdr virtual conference platform Former editorial leadership for multiple prominent programming languages journals As an educator and mentor, Pierce has contributed to the Programming Languages Mentoring Workshop (PLMW) and has served on numerous conference program committees. His academic service extends to SIGPLAN leadership roles including SIGPLAN Vice Chair and Steering Committee membership. His textbook Software Foundations has become a standard resource for teaching formal methods and proof assistants.

Alexandre Baronمشاهده پروفایل

استادیار

• Metamaterials
• Nanophotonics
• Nonlinear optics
• +۵ مورد دیگر

Alexandre Baron serves as an Assistant Professor at the University of Bordeaux and holds a concurrent position as Adjunct Assistant Professor at Duke University. Based at the Paul Pascal Research Center (CNRS) in Pessac, France, his work bridges fundamental optical physics with materials science applications in nanophotonics and metamaterials. His academic training includes: PhD in Nonlinear Optics from Institute of Optics Graduate School/University Paris-Sud 11 (2007-2011) Master Degree in Physics - Optics and Photonics from Paris-Sud 11 University (2006-2007) Engineering Degree in Optics from Institute of Optics Graduate School (2004-2007) Baron's research program focuses on cutting-edge optical phenomena, particularly in metamaterials including self-assembled structures, optical magnetism, hyperbolic metamaterials, and metasurfaces. His nanophotonics work investigates plasmonic, dielectric and composite nanoparticles, while his nonlinear optics research examines field enhancement effects and nonlinear plasmonics. His photonic crystals studies address slow light phenomena, nonlinear effects, and disorder impacts. Analysis of his publication record reveals consistent contributions to fundamental understanding of light-matter interactions at the nanoscale, with increasing emphasis on engineered nanostructures and their optical properties. His recent work demonstrates sophisticated control over multipolar responses and tailored scattering in metamaterial systems. As a member of the Paul Pascal Research Center - a joint CNRS and University of Bordeaux unit focused on functional materials and soft matter - Baron contributes to an interdisciplinary research environment that brings together chemists, biochemists, physical chemists and physicists across six research teams.

René Hosfeldمشاهده پروفایل

پژوهشگر

• Infinite-dimensional systems and control theory
• Functional analysis
• Operator theory
• +۳ مورد دیگر

René Hosfeld is a Research Associate in the Department of Numerical Mathematics at the Institute of Mathematics, Technical University of Berlin (since December 2023). His work focuses on infinite-dimensional systems and control theory within functional analysis and operator theory frameworks. His educational background includes a Master of Science in Mathematics (2017-2019) and Bachelor of Science in Mathematics (2014-2017), both from the University of Wuppertal. He is currently completing his doctorate at the University of Wuppertal (scheduled February 2025), with prior research stays at the University of Bordeaux (2021-2022) and University of Hamburg (2020-2022). Hosfeld's research centers on stability analysis of infinite-dimensional control systems, particularly examining input-to-state stability for bilinear systems with unbounded operators, Orlicz space admissibility characterizations, and funnel control methodologies. His recent publications demonstrate strong integration of functional analytic techniques with control-theoretic problems, often addressing challenges in semilinear dynamics and evolution equations. His publication trends reveal consistent focus on stability theory for infinite-dimensional systems, with increasing sophistication in handling unbounded operators and nonlinear dynamics. Recent works bridge abstract operator theory with concrete applications in PDE control, particularly through bilinear system analysis and Orlicz space generalizations of classical Lp frameworks. SS25: Assistant for Linear Algebra I for Mathematicians (TU Berlin) WS 24/25: Assistant for Numerical Mathematics I (TU Berlin) SS24: Assistant for Functional Analysis I (TU Berlin) WS 22/23: Assistant for Analysis 1 and Linear Algebra for Engineers (TU Berlin) DFG Project JA735/18-1/SCHW 2022/2-1: "Evolution equations: input functions and stability" (2020-2023) Hosfeld works within the Numerical Mathematics department's research ecosystem at TU Berlin, collaborating closely with Professor Birgit Jacob and Felix Schwenninger. His office (MA 470) is situated in the main mathematics building at Straße des 17. Juni 136, where he maintains regular office hours on Tuesdays from 12:00-13:00.

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

دانشیار

• Formal Methods
• Logic in Computer Science
• Automata Theory
• +۱۲ مورد دیگر

Shibashis Guha is an Associate Professor (Reader) at the School of Technology and Computer Science, Tata Institute of Fundamental Research (TIFR), where he conducts research and teaches in formal methods, logic, automata theory, and verification. His work focuses on reactive controller synthesis, probabilistic systems, timed automata, and the integration of machine learning with formal verification. Institution: Tata Institute of Fundamental Research School: School of Technology and Computer Science Department: Department of Computer Science Academic Rank: Associate Professor His research interests span formal methods, logic in computer science, automata theory, probabilistic systems, algorithmic game theory, and reinforcement learning. He investigates the synthesis of reactive controllers, behavioral equivalences, and the application of learning in verification. His work often intersects with infinite games and descriptive complexity. The recent publications highlight a strong trend in stochastic games, mean-payoff objectives, window properties, probabilistic model checking, and the synthesis of controllers under logical specifications. There is a clear emphasis on bridging formal methods with learning, especially in continuous-time and probabilistic settings. Scientific Awards: Best paper award at MFCS 2021 Guha advises several students and collaborates widely across institutions. His research is funded by the DST-SERB project on zero-sum and nonzero-sum games for controller synthesis. He has served on program committees for major conferences including CAV, ATVA, CONCUR, LICS, and VMCAI, and has organized workshops such as iVerif. He teaches advanced graduate courses like Automata and Computability, Descriptive Complexity, and Automata, Verification, and Infinite Games. He is actively involved in the research community, delivering invited talks at institutions like IST Austria, ENS Paris-Saclay, and Indian Statistical Institute. He also leads seminar series and participates in panels on AI and verification.

• Automata Theory
• Concurrency Theory
• Formal Verification
• +۱ مورد دیگر

Slawek Lasota is a Professor at the Automata Theory Group within the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw. His research focuses on automata theory, concurrency theory, formal verification, and systems biology, with a strong emphasis on computational complexity and algorithmic analysis of systems with infinite-state spaces. Research Interests : Automata theory (infinite alphabets, nominal sets), concurrency theory (timed automata, vector addition systems), formal verification (reachability problems, model checking), systems biology (computational models of biological systems). Grants : Coordinator of NCN grants on data-enriched models and automatic analysis of concurrent systems; participant in ERC projects Lipa and FOX . Community Service : Managing editor of Fundamenta Informaticae (2018-), member of EATCS Council (2019-), and Rada Doskonalosci Naukowej (2019-). His work has received recognition including the STOC'19 Best Paper Award and EATCS BEST ETAPS PAPER AWARD . He supervises PhD students in topics ranging from Petri nets to timed automata and has contributed extensively to advancing verification techniques for systems with data, timed models, and concurrency.