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

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.

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

Wolfgang Porod is a Professor of Electrical Engineering and holder of the Frank M. Freimann Chair at the University of Notre Dame. He is also a Hans Fischer Senior Fellow at the TUM Institute for Advanced Study (TUM-IAS) since 2009, affiliated with the Nanoimprint and Nanotransfer Focus Group led by Paolo Lugli. His research focuses on nanoelectronics and quantum devices, notably co-inventing the Quantum-Dot Cellular Automata (QCA) framework, a molecular-scale information processing paradigm. Porod earned his Diplom (M.S.) and Ph.D. from the University of Graz, Austria, and held postdoctoral roles at Colorado State and Arizona State Universities before joining Notre Dame in 1986. He directs Notre Dame’s Center for Nano Science and Technology, advancing interdisciplinary nanotechnology research. His academic accolades include Fellowships from the AAAS (2005) and IEEE (2001), and teaching awards such as the Kaneb Teaching Award (2005) and the Ruth and Joel Spira Award (2000). Porod’s work bridges quantum physics and engineering, with applications in low-power computing, spintronics, and nanoscale device fabrication. At TUM-IAS, he collaborates on nanoimprint lithography and nanotransfer technologies, advancing scalable nanomanufacturing methods.

• Nanoelectronics
• Quantum Devices
• Quantum-Dot Cellular Automata (QCA)
• +۴ مورد دیگر

Anna Levina is an Assistant Professor for Computational Neuroscience at the University of Tübingen , affiliated with the Department of Computer Science under the Faculty of Science. Her research focuses on the self-organization of neuronal activity, critical dynamics in neural networks, and the excitation/inhibition balance in cortical circuits. Current positions: Assistant Professor (since 2018), Group Leader (2017-2018), Equality Officer (Computer Science) Previous roles: IST Fellow (2015-2017), Associated Researcher (2011-2015), Postdoc/PI (2011-2015), Postdoc (2008-2011) Her research integrates mathematical modeling , statistical physics , and computational neuroscience to study criticality phenomena, neural avalanches, and adaptive network dynamics. Key interests include: Self-organized criticality in neural systems Excitation/Inhibition balance mechanisms Network topology and dynamics Timescale analysis in neural processing Stochastic modeling of neural activity Recent publications reveal trends in understanding critical dynamics across biological and artificial networks, with applications to memory systems, sensorimotor integration, and disease modeling. She has received recognition as an IST Fellow .

• Self-organized criticality
• Neuronal network dynamics
• Excitation/Inhibition balance
• +۵ مورد دیگر

Prof. Sebastian Rudolph is a Professor of Computational Logic at the Institute for Artificial Intelligence , Faculty of Computer Science , TU Dresden. Since 2021, he has been an Affiliate Member of the Faculty of Mathematics. His research spans theoretical and applied artificial intelligence, focusing on Knowledge Representation and Reasoning through formalisms like Description Logics, Existential Rules, and Formal Concept Analysis, with applications in Semantic Technologies. 2017 : ERC Consolidator Grant for decidability principles in logic-based knowledge representation 2006-2013 : Postdoctoral researcher, project leader, and Privatdozent at KIT's Institute AIFB 2011 : Habilitation at KIT Earlier : PhD in Algebra and teaching qualification in mathematics, physics, and computer science at TU Dresden His recent publications address decidability of logical reasoning, non-monotonic extensions in formal concept analysis, standpoint logics, and multiagent systems. He supervises the DeciGUT and KIMEDS projects, and is involved in the SECAI and ScaDS.AI centers. Teaching activities include courses on Theoretical Computer Science, Existential Rules, and Formal Concept Analysis.

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Description Logics
• +۷ مورد دیگر

Valérie Berthé is a Research Director at CNRS, based at the Institut de Recherche en Informatique Fondamentale (IRIF), Université Paris Cité. Her research lies at the crossroads of theoretical computer science and mathematics, with a focus on symbolic dynamics, combinatorics on words, discrete geometry, and numeration systems. She is a Principal Investigator of the prestigious ERC Synergy project DynAMICs, which unites experts from mathematics and computer science to tackle fundamental problems in dynamical systems and model checking. Research Interests: Her primary research areas include symbolic dynamics, combinatorics on words, discrete geometry, tilings, aperiodic order, continued fractions, and their connections to number theory and automata. She is particularly interested in the algorithmic and arithmetic aspects of dynamical systems, aiming to develop automated verification methods and resolve open conjectures such as the Skolem problem on reachability. Scientific Leadership: She leads a major collaborative research program and is involved in significant national and international projects. Grants & Projects: ERC Synergy Grant: DynAMICs (Model checking seen from a dynamic and arithmetic point of view) ANR PRCI: SymDynAr (2024–2027) ANR Blanc: CODYS (2018) Academic Service: Member, CNRS National Committee, Section 6 Member, Steering Committee of INSMI (Institut national des sciences mathématiques et de leurs interactions) Member, Scientific Council of the Société Mathématique de France (SMF) Advising and Editorial Work: Valérie Berthé has supervised numerous PhD students who have gone on to successful academic careers. She is a co-editor of several influential volumes in her field, including works published by Cambridge University Press and Birkhäuser, covering topics in sequences, automata, number theory, and symbolic dynamics. She is also involved in organizing scientific events and seminars, such as the One World Numeration Seminar, fostering international collaboration in her research community.

• Symbolic Dynamics
• Combinatorics on Words
• Discrete Geometry
• +۹ مورد دیگر

Manfred Droste is a Professor at the Institute of Computer Science of the University of Leipzig, where he leads the Research Group on Automata and Formal Languages. He serves as Director of the Graduate Centre Mathematics, Computer Science and Natural Sciences and is Vice-speaker of the DFG-Research Training Group Quantitative Logics and Automata. His academic career spans decades of research and leadership in theoretical computer science and algebra. Prof. Droste's research focuses on theoretical computer science, particularly automata theory, logic, algebraic models for concurrent systems, and domain theory. In algebra, his interests include model theory, automorphism groups, and ordered algebraic structures. His work bridges theoretical foundations with practical applications in formal language theory and quantitative systems. His extensive publication record demonstrates a consistent focus on weighted automata, formal languages, and their logical characterizations. Over the years, his research has evolved to address increasingly complex quantitative models, with recent work focusing on weighted complexity classes, weighted linear dynamic logic, and decidability boundaries for weighted automata. Prof. Droste has received significant recognition including election to Academia Europaea, an honorary doctorate from Immanuel Kant Baltic Federal University, and fellowship in the Asia-Pacific Artificial Intelligence Association. These honors reflect his substantial contributions to theoretical computer science. He has supervised numerous PhD students including Dietrich Kuske, Paolo Boldi, and Karin Quaas, many of whom have become prominent researchers. His extensive grant portfolio includes multiple DFG projects on weighted automata and international collaborations through DAAD funding. Prof. Droste leads a vibrant research team including Andrea Hesse, Karin Quaas, Erik Paul, and others. He has organized the international workshop series "Weighted Automata: Theory and Applications" since 2002, fostering global collaboration in this specialized field.

• Theoretical Computer Science
• Automata Theory
• Logic
• +۶ مورد دیگر

Victor Vianu is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego, within the Jacobs School of Engineering. His work focuses on the intersection of database theory and verification techniques, particularly in the context of data-driven business processes and workflows. Research Interests Professor Vianu's primary research interests span database theory, verification of database-driven systems, and computational logic. His current work focuses on automatic verification of interactive data-driven web services and business processes, exploring how to provide customized workflow views for different stakeholders in organizational settings. His research addresses significant technical challenges at the intersection of data management and process modeling, requiring novel approaches that go beyond traditional relational algebra to handle both data and process aspects simultaneously. His work on data-driven business processes investigates how to specify, analyze, and synthesize views of workflows that expose only information relevant to specific user roles. This research has important applications in e-commerce, digital government, healthcare, and scientific infrastructure, where different stakeholders require varying levels of workflow abstraction and detail. Research Contributions and Trends Professor Vianu's recent publications demonstrate a consistent focus on the integration of data management and workflow processes. His work has evolved from foundational database theory to increasingly practical applications in business process management. A key trend in his research is the development of formal frameworks for workflow views that maintain consistency while providing appropriate abstractions for different user roles. His publications reveal a progression from theoretical foundations to more applied aspects of workflow verification and integration, often in collaboration with researchers from INRIA and other institutions. Advising and Research Support Professor Vianu leads the UCSD Database Laboratory, which conducts research on database systems and theory. He currently advises graduate student Marysia Tran and has likely mentored numerous other students throughout his career. His research is supported by the National Science Foundation under grant "Views of Data-Driven Business Processes: Foundations and Applications" (NSF Project III 1815247). This project brings together techniques from logic, automata theory, complexity theory, algorithms, and automatic verification to address challenges in workflow management. Research Environment Professor Vianu is an active member of the UCSD Database Laboratory, which maintains a regular research seminar series. He has collaborated extensively with researchers including Alin Deutsch (UC San Diego), Serge Abiteboul (INRIA and ENS-Paris), Pierre Bourhis (Univ. of Lille and CNRS), and Adrien Koutsos (ENS Cachan). His foundational work includes co-authoring the influential textbook "Foundations of Databases" with S. Abiteboul and R. Hull, which remains a standard reference in database theory.

• database theory
• verification
• computational logic
• +۳ مورد دیگر

Prof. Harald Sternberg is a distinguished academic at HafenCity University Hamburg, holding the position of University Professor for Hydrography and Geodesy. His affiliations include the Department of Geodesy and Geoinformatics, where he leads research in hydrographic education and advanced geomatics technologies. He previously served as Vice President for Teaching and Studies (2009-2022) and Acting President (2010) of HCU. Education: Ph.D. in Geodesy from University of the Bundeswehr Munich (1999), specializing in trajectory determination of land vehicles using hybrid systems. Early career included roles as scientist at Bundeswehr University (1991-2001) and academic leadership at HAW Hamburg (2005-2009). Research focuses on underwater mapping, navigation systems, and sensor integration. Key projects include: Level 5 Indoor Navigation (5G-based positioning), hydrothermal vent exploration using deep-towed multibeam systems, and low-cost mobile mapping solutions. He also investigates smartphone-based inertial navigation and autonomous underwater vehicles for infrastructure monitoring. Publications span underwater vision systems, satellite-derived bathymetry, and 3D point cloud analysis. Over 200 peer-reviewed articles and book chapters reflect expertise in geomatics applications. Current research emphasizes 5G-enabled indoor navigation and environmental sensor networks. Grants include BMWK-funded autonomous deep-sea monitoring and BGR exploration projects in the Indian Ocean. His lab develops innovative tools like the HOMESIDE sled for seafloor surveys. Supervises Ph.D. research on hydrothermal vent analysis and data-driven inertial localization.

• Hydrography
• Geodesy
• Navigation Systems
• +۷ مورد دیگر

Ario Sadafi is a researcher at the Technical University of Munich (TUM) , affiliated with the Chair of Computer Science Applications in Medicine under Prof. Nassir Navab. His work spans medical image analysis , machine learning , and computational pathology , with a strong focus on developing AI-driven solutions for microscopic imaging in hematology and oncology. Research Focus: Multiple Instance Learning for weakly supervised medical image classification. Explainable AI for biomedical single-cell imaging. Continual and cross-domain learning for robust diagnostic models. Microscopic image analysis for blood cell disorders and leukemia subtyping. Teaching Contributions: Sadafi has been actively involved in teaching courses such as Computer Aided Medical Procedures , Medical Augmented Reality , and Deep Learning for Medical Applications . He also supervises practical courses and seminars in 3D Computer Vision and Machine Learning in Medical Imaging . Labs & Collaborations: He works closely with the MEDIA (Medical Image Analysis) and NARVIS labs at TUM, contributing to projects in surgical data science , generative models , and robotics & ultrasound . Publications Impact: His research output (2018–2025) emphasizes AI-driven hematology , with applications in red/white blood cell classification, leukemia subtype diagnosis, and interpretable deep learning models for clinical use.

• Medical Image Analysis
• Machine Learning
• Multiple Instance Learning
• +۳ مورد دیگر

Dmitriy Traytel is an Associate Professor at the University of Copenhagen's Department of Computer Science since August 2020, where he currently heads the Software, Data, People & Society (SDPS) section. Prior to this position, he worked as a senior researcher (Oberassistent) in the Information Security Group led by David Basin at ETH Zürich. He completed his PhD at TU München under Tobias Nipkow's supervision in 2015. His research focuses on formal methods, particularly logic, automata theory, runtime verification and monitoring, decision procedures, (co)induction and (co)recursion, and interactive theorem proving. Traytel develops formally verified tools for runtime monitoring including VeriMon, TimelyMon, and WhyMon, emphasizing correctness and efficiency in monitoring complex temporal properties. His recent publications (2021-2025) demonstrate a strong focus on first-order temporal logic monitoring, with particular attention to explainable verdicts, scalable parallel implementations, and formal verification of monitoring algorithms. The work spans theoretical foundations in logic and category theory while maintaining practical applications in runtime verification systems. Distinguished Paper Award at POPL 2025 for 'Barendregt Convenes with Knaster and Tarski' Best Student Paper Award at FSCD 2016 Distinguished Paper Award at ATVA 2018 Traytel has supervised numerous PhD, Master's, and Bachelor's students in areas spanning formal verification, runtime monitoring, and theorem proving. His research has been supported through collaborations with major institutions including ETH Zürich and TU München. He actively contributes to the academic community by serving on program committees for major conferences including ITP 2025 and RV 2025. He leads the Software, Data, People & Society section at the University of Copenhagen, focusing on developing formally verified tools for runtime verification that bridge theoretical computer science with practical applications in security and system monitoring.

• Logic
• Automata Theory
• Runtime Verification
• +۷ مورد دیگر

Ina Fichtner is a Professor at the Faculty of Digital Transformation of University of Applied Sciences HTWK Leipzig since 2022. Previously, she led the MINT department at the Institute for Applied Training Science (IAT) in Leipzig for 13 years (2009–2022), focusing on integrating mathematics, informatics, and natural sciences into sports research. Her work bridges computer science , biomechanics , and sports informatics , with extensive projects on athlete movement analysis, data systems (IDA), and digital tools for elite sports. PhD in Computer Science (2007) from TU Dresden and Leipzig University Diplom in Mathematics and Computer Science (2002) from Jena, Dresden, and Sheffield Her research spans data science , sports technology , and applied informatics , particularly in ski jumping , dive analysis , and athlete biomechanics . She has co-authored numerous publications in theoretical computer science and applied sports informatics , including studies on 3D body scanning , inertial sensors , and force-velocity profiling . She served as Alumni Representative and Treasurer of the Friends' Association at HTWK Leipzig, with memberships in German Mathematical Society and German Sports Science Association .

• Computer Science
• Sports Informatics
• Data Science
• +۵ مورد دیگر

Alexandra Kirsch is an Assistant Professor in the Media Informatics Department at the University of Tübingen's Faculty of Informatics. She held the Carl von Linde Junior Fellowship at the Technical University of Munich (TUM) Institute for Advanced Study (TUM-IAS) from 2010. Previously, she was a senior research scientist at TUM's Intelligent Autonomous Systems Group and led the independent Junior Research Group “Planning for Adaptive Robot Assistance” within the Excellence Cluster CoTeSys (Cognition for Technical Systems). Education: Diploma in Computer Science from TUM, 2003 Doctoral degree from TUM, completed between 2003-2007 Research Interests: Kirsch focuses on developing control mechanisms for autonomous robots using artificial intelligence, aiming to create systems that collaborate closely and transparently with humans. Her work emphasizes models of world dynamics, robot action effects, and human behavior. She created the Robot Learning Language (RoLL) to automate model acquisition and update processes during robot operations. Collaborations with psychologists and neuroscientists explore joint human-robot planning tasks and model development for seamless interaction. Scientific Awards: Member of the Bayerische Akademie der Wissenschaften Förderkolleg (2012) Award by Comet Computer GmbH for excellent graduation results (2003) Advising & Grants: Managed interdisciplinary research projects during her junior fellowship at TUM. Previously worked as a management consultant at Booz & Co., 2007-2008. Her grants include the Carl von Linde Fellowship and support for the Junior Research Group. Labs/Teams: Active in the Planning for Adaptive Robot Assistance group (CoTeSys) and collaborates with the Cognitive Technology focus group at TUM-IAS. Engages in cross-disciplinary teams involving neuroscience and psychology for human-robot interaction studies.

• Artificial Intelligence
• Robotics
• Human-Robot Interaction
• +۳ مورد دیگر

Wolfgang Steiner is a Research Fellow at the Centre National de la Recherche Scientifique (CNRS) working at the Institut de Recherche en Informatique Fondamentale (IRIF), Université Paris Cité since 2005. His affiliations include membership in the Automata & Applications and Combinatorics research groups. Previously, he held visiting positions at Graz University of Technology and Macquarie University. Education: Habilitation à diriger des recherches en informatique, Université de Paris (2021) Ph.D. in Technology, TU Wien (2002) Master's degree (Dipl.-Ing.), TU Wien (2000) Engineering degree, École Centrale Paris (2000) Steiner's research focuses on numeration systems, including beta expansions and continued fractions, with significant work on Rauzy fractals, tilings, and combinatorics on words. His investigations bridge dynamical systems, fractal geometry, and theoretical computer science, exploring the algorithmic and structural properties of number representations. His publications demonstrate a consistent focus on dynamical approaches to numeration, with recent work expanding into multidimensional continued fractions, S-adic systems, and fractal geometry. The articles show strong interdisciplinary connections between number theory, combinatorics, and symbolic dynamics. Research projects: ANR/FWF SymDynAr (2024-present) ANR IZES (2022-present) ANR CODYS (2018-2023) ANR Dyna3S (2013-2018) ANR/FWF FAN (2013-2017) Coordinator of ANR DyCoNum (2006-2010) Steiner leads the One World Numeration Seminar (since 2020) and previously organized the Automata seminar at IRIF (2012-2017). He collaborates with international research teams across Europe and Australia on projects involving dynamical systems and number theory.

• Beta expansions
• Continued fractions
• Numeration systems
• +۳ مورد دیگر

Eric Medvet is a professor specializing in evolutionary computation, genetic programming, and robotics. He is actively involved in research areas such as neuroevolution, soft robotics, and modular robotics. His work bridges theoretical advancements in evolutionary algorithms with practical applications in robotics and AI. Roles: Conference chair for EuroGP (2020-2022), co-chair of multiple workshops and sessions. Key Research: Focus on genetic programming, embodied intelligence, and the design of adaptive robotic systems. Research Interests: His work emphasizes the development of scalable and interpretable AI systems, particularly through evolutionary methods applied to robotics. He explores topics like neuroevolution for soft robots, quality diversity algorithms, and the integration of machine learning with evolutionary computation. Publications: His recent work highlights trends in interpretable AI, modular robotics control, and evolutionary algorithms for complex systems. Notable contributions include studies on MAP-Elites, graph-based genetic programming, and the application of LLMs in automated testing. Grants & Labs: Developed frameworks like JGEA for evolutionary computation experiments. Collaborates on projects integrating evolutionary methods with real-world robotics applications.

• Evolutionary Computation
• Genetic Programming
• Robotics
• +۵ مورد دیگر

Kathrin Flaßkamp is a Professor at Saarland University, specializing in the Department of Systems Engineering. Her work focuses on modeling and simulation of technical systems, with applications spanning robotics, optimal control, and biomedical engineering. She is based at Campus A5 1, Room 1.04, Saarbrücken. Her research integrates control theory, artificial intelligence, and optimization to address challenges in mobile robotics, autonomous vehicles, and medical devices. A key trend in her recent articles involves leveraging model predictive control, neural networks, and Koopman operators for energy-efficient and cooperative trajectory planning. She also explores applications in stereotactic neurosurgery using continuum robots, emphasizing precision and adaptability. Her work frequently bridges theoretical advancements with real-world engineering problems, including systems with symmetries, multi-agent coordination, and data-driven methods for dynamical systems. Despite no explicit awards listed, her contributions to optimal control and robotics are evident in her extensive publication record.

• Control Systems
• Robotics
• Applied Mathematics
• +۳ مورد دیگر