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

• Formalized Mathematics
• Proof Assistants
• Homotopy Type Theory
• +۳ مورد دیگر

Floris van Doorn is a Professor at the Mathematical Institute of the University of Bonn where he leads the Formalized Mathematics group. His research focuses on making it viable to formalize research mathematics in proof assistants that can check the correctness of such proofs. He primarily works with the Lean Theorem Prover and is a maintainer of its mathematical library (mathlib). University of Bonn: Professor (2023-present) University of Paris-Saclay: Postdoc with Patrick Massot (2021-2023) University of Pittsburgh: Postdoc with Tom Hales (2018-2021) Carnegie Mellon University: PhD under Jeremy Avigad and Steve Awodey (2013-2018) Van Doorn's research interests center on formalized mathematics, tools and automation for formalization, and homotopy type theory. He has made significant contributions to several major formalization projects including the Carleson project (proving Carleson's theorem), the sphere eversion project (formalizing Gromov's h-principle), the Flypitch project (formalizing the independence of the continuum hypothesis), and the Spectral sequences project. His work demonstrates that proof assistants can handle complex areas of mathematics beyond algebra, including differential topology and analysis. His recent publications show a consistent focus on advancing formalized mathematics, with his most recent work formalizing the Gagliardo-Nirenberg-Sobolev inequality and continuing the Carleson project. His publications span theoretical foundations of type theory, practical applications of formalization, and educational resources for learning proof assistants. Skolem award (2025) for the paper 'The Lean Theorem Prover (System Description)' Van Doorn actively mentors students and collaborators, with Maria, Michael, and Arend recently joining his formalization group in Bonn. He has taught various courses on formalized mathematics and proof assistants at the University of Bonn, University of Pittsburgh, and Carnegie Mellon University. His educational efforts include developing learning resources such as the Natural Number Game and the online book 'Mathematics in Lean.' He also maintains an active presence in the Lean community through the Formalized Mathematics group and collaborative projects like the Carleson project, which invites participation from those familiar with Lean.

• Network Security
• Privacy-Preserving Technologies
• Machine Learning for Networking
• +۵ مورد دیگر

Ke Xu is a Professor in the Department of Computer Science at Tsinghua University's School of Information Science and Technology. With extensive research contributions in network security, privacy-preserving technologies, and machine learning applications for networking, Professor Xu has established himself as a leading researcher in computer science. Professor Xu's research interests span network security, privacy-preserving technologies, machine learning for networking, federated learning, internet protocols, encrypted traffic analysis, blockchain applications, and AI in networking. His work bridges theoretical foundations with practical implementations, focusing on real-world security challenges and network optimization problems. He has developed novel frameworks for secure network operations, privacy-preserving data sharing, and efficient AI deployment in distributed environments. Professor Xu's publication record shows a clear trend toward integrating artificial intelligence with traditional networking challenges. His recent work explores federated learning security, encrypted traffic analysis using deep learning, and novel approaches to network security that leverage machine learning techniques. The interdisciplinary nature of his research spans computer networking, security, privacy, and artificial intelligence. Professor Xu has received recognition for his contributions to network security and privacy-preserving technologies through publications in top-tier venues including IEEE journals, ACM conferences, and security symposia. His work has appeared in IEEE Transactions on Dependable and Secure Computing, IEEE/ACM Transactions on Networking, and security conferences like CCS and NDSS. Professor Xu actively collaborates with researchers across institutions, supervising students and junior researchers in exploring cutting-edge problems in network security and AI. His research has been supported by significant grants focusing on network security, privacy, and intelligent networking infrastructure. He leads projects that address fundamental challenges in secure communication, privacy-preserving data analysis, and intelligent network management. Professor Xu is involved with research laboratories focusing on network security and intelligent systems at Tsinghua University. His team works on developing practical security solutions, privacy frameworks, and AI-enhanced networking protocols that address real-world challenges in today's increasingly connected world.

Valérie Berthéمشاهده پروفایل

پژوهشگر

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

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.

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

استاد

• Virtual Reality
• Immersive Visualization
• Scientific Visualization
• +۵ مورد دیگر

Prof. Torsten Wolfgang Kuhlen serves as a Universitätsprofessor at RWTH Aachen University, leading the Teaching and Research Area for Virtual Reality and Immersive Visualization within the Department of Computer Science. He is affiliated with Chair of Computer Science 12 (High Performance Computing), the Visual Computing Institute, and remains an integral part of the RWTH IT Center where his research group operates one of the world's largest Virtual Reality laboratories including the 30 sqm aixCAVE visualization chamber. The group maintains strong connections with Computational Science & Engineering Division, National High Performance Computing Center for Computational Engineering Science (NHR4CES), and VR in Science and Industry Network NRW e.V. Prof. Kuhlen's research spans virtual reality, immersive visualization, and multimodal 3D user interfaces with applications across simulation science, production technology, neuroscience, and medicine. His work combines basic research on advanced methods and algorithms with interdisciplinary collaborations involving RWTH Aachen institutes, Forschungszentrum Jülich, and industry partners. Recent publications demonstrate strong focus on audiovisual perception, immersive analytics, collaborative virtual environments, and practical VR applications in education and manufacturing. His research group has produced significant work on listening effort in virtual environments, immersive authoring techniques, and VR applications for scientific visualization. Notable projects include VRScenarioBuilder for automated vehicle testing and applications in monitoring additive manufacturing processes. The group actively participates in major conferences including IEEE VIS and EuroVis, with several award-winning contributions. Prof. Kuhlen has advised PhD students including Martin Bellgardt who recently completed his doctoral degree on "Increasing Immersion in Machine Learning Pipelines for Mechanical Engineering". The research group maintains state-of-the-art VR infrastructure including the aixCAVE facility which is open to all RWTH research groups.

• Embedded Systems
• Real-Time Systems
• Cyber-Physical Systems
• +۷ مورد دیگر

Marco Caccamo is a Professor at the Technical University of Munich (TUM) , holding the Chair of Cyber-Physical Systems in Production Engineering within the Faculty of Mechanical Engineering. He is also a Principal Investigator and Professor at the Department of Computer Science, with courtesy appointments in Electrical and Computer Engineering, Coordinated Science Lab (CSL), and Aerospace Engineering at the University of Illinois at Urbana-Champaign (UIUC). His research spans Embedded Systems , Real-Time Systems , and Cyber-Physical Systems (CPS) , focusing on resource management, reinforcement learning architectures, and 6D pose recognition for robotics. University of Pisa (B.Sc., 1997) Scuola Superiore Sant'Anna (Ph.D., 2002) Research highlights include predictable resource management on heterogeneous platforms, security frameworks for AI-based controllers , and UAV testbed development . His work integrates deep learning and real-time constraints in industrial applications like avionics, farming, and automotive systems. His 15 most recent publications emphasize cache optimization , memory bandwidth regulation , and reinforcement learning for CPS , with a focus on multi-core processors and DNN inference . Awards include the IEEE Fellow (2018), Alexander von Humboldt Professorship (2018), and multiple Best Paper Awards at RTSS, RTNS, and RTAS. NSF CAREER Award (2003) IEEE Fellow (2018) Alexander von Humboldt Professorship (2018) Best Paper Awards (RTSS 2024, RTNS 2023, ECRTS 2019) He has advised numerous Ph.D. students and postdocs, with a track record in UAV development and industrial collaborations . His lab, the Real-Time and Embedded System Laboratory , focuses on real-time OS and predictable computing .

Victor Vianuمشاهده پروفایل

استاد

• database theory
• verification
• computational 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.

Felix Brandtمشاهده پروفایل

استاد

• Algorithmic Game Theory
• Computational Social Choice
• Theoretical Computer Science
• +۲ مورد دیگر

Prof. Felix Brandt is a Professor of Algorithmic Game Theory at the Technical University of Munich (TUM), within the School of Computation, Information and Technology. His research focuses on algorithmic game theory, computational social choice, and their intersections with theoretical computer science, AI, and economics. Education: Diploma and PhD from TUM, postdoctoral research at Carnegie Mellon University and Stanford University. Habilitation from LMU Munich (2010). Research interests include social choice theory, mechanism design, and strategic behavior in multi-agent systems. Notable contributions include work on tournament solutions, probabilistic social choice, and Nash equilibrium characterizations. Recent articles explore Condorcet-consistent voting systems, stability in hedonic games, and axiomatic foundations of Nash equilibrium. Awards include the DFG Heisenberg Professorship (2010) and TUM Supervisory Award (2021). Advises over 10 PhD students and has supervised numerous postdocs. Active in editorial roles for journals like Games and Economic Behavior and Social Choice and Welfare .

Ralf Beckمشاهده پروفایل

استاد

• Control Engineering
• Automation Technology
• Regulation Systems
• +۵ مورد دیگر

Prof. Dr.-Ing. Ralf Beck serves as Professor for Control and Regulation Technology and Automation Technology at Hochschule Düsseldorf University of Applied Sciences within the Faculty of Electrical Engineering & Information Technology. His academic responsibilities span multiple degree programs including BEng Electrical Engineering, BEng Industrial Engineering, and MSc Electrical Engineering and Information Technology. His educational background includes Mechanical Engineering studies at TU Braunschweig (1998-2004), followed by doctoral research at RWTH Aachen's Institute of Control Engineering where he earned his Dr.-Ing. in 2010 with a dissertation on predictive energy management for hybrid vehicles. Prior to his current professorship, he held progressive roles at FEV Europe GmbH from 2009-2018, culminating as Senior Project Manager for Vehicle and Powertrain Electronics. Beck's research focuses on control engineering systems with particular emphasis on automation technology, regulation systems, and model-based development approaches. His work bridges theoretical control methodologies with practical automotive applications, especially in hybrid vehicle energy management, multi-robot systems, and intelligent air path control. The Modellfabrik Fab21 serves as his primary experimental platform for model-based development applications. His publication record since 2005 demonstrates consistent contributions to control engineering, particularly in hybrid vehicle systems, emission control optimization, and calibration methodologies. Recent work shows increasing focus on distributed robotics and intelligent transportation systems, reflecting evolving research directions while maintaining core expertise in control theory applications. As an educator, Beck teaches foundational and advanced courses including Electrical Engineering III, Control and Regulation Technology, Model-Based Development, Technical Mechanics, and Advanced Control Engineering at the Master's level. His teaching integrates theoretical concepts with practical laboratory applications through the university's Moodle platform, emphasizing hands-on implementation of control algorithms and system modeling techniques.

Jelena Mirkovicمشاهده پروفایل

عضو هیئت علمی

• Network Security
• Denial-of-Service Attacks
• Vulnerability Scanning
• +۶ مورد دیگر

Jelena Mirkovic serves as Principal Scientist at USC Information Sciences Institute (USC/ISI) and Research Associate Professor at the University of Southern California's Thomas Lord Department of Computer Science. She has held faculty positions at USC since 2010, progressing from Research Assistant Professor to her current role as Research Associate Professor since 2017, while also serving as Project Leader at USC/ISI. Her educational background includes: PhD in Computer Science from UCLA (2003) MS in Computer Science from UCLA (2000) B.Sc. in Computer Science from University of Belgrade, Serbia (1998) Mirkovic's research spans network security, human-centered attacks, and cybersecurity experimentation infrastructure. Her work focuses on critical security challenges including botnets, denial-of-service attacks, IP spoofing, vulnerability scanning, and user-centric privacy. She has pioneered methodologies for security experiments and led major infrastructure projects including the DETER testbed and SPHERE (Security and Privacy Heterogeneous Environment for Reproducible Experimentation). Analysis of her recent publications reveals consistent innovation across multiple security domains. Her work demonstrates strong technical depth in DDoS defense systems (particularly DNS protection), binary vulnerability analysis, privacy-preserving systems, and security experimentation infrastructure. A notable trend is her focus on bridging theoretical security concepts with practical implementation through large-scale testbeds and real-world data analysis. Her significant scientific achievements include: IEEE Senior Member distinction Best paper award at IEEE COMSNETS 2023 for DNS DDoS defense research Mirkovic has secured substantial research funding as Principal Investigator or Co-PI on numerous grants from NSF, DHS, and other agencies. Current major projects include SPHERE (Security and Privacy Heterogeneous Environment for Reproducible Experimentation), DISCERN (Datasets to Illuminate Suspicious Computations), and modernizing DeterLab education infrastructure. She has successfully led multiple REU sites focused on cybersecurity education and workforce development. She directs the STEEL (Security Research Lab) at USC/ISI, which develops innovative security solutions through interdisciplinary research in network security, human factors in security, and cybersecurity experimentation infrastructure. The lab emphasizes practical implementations that address real-world security challenges while advancing theoretical understanding of security systems.

• Artificial Intelligence
• Human-Computer Interaction
• Computer Vision
• +۴ مورد دیگر

Prof. Dr. Julius Schöning is a Professor at the Faculty of Engineering and Computer Science , Osnabrück University of Applied Sciences. His research focuses on Artificial Intelligence , Human-Computer Interaction , and Computer Vision within agricultural contexts. 2019–Present: Professor, Hochschule Osnabrück 2018–2019: System Architect, ZF Friedrichshafen AG 2014–2018: Researcher, University of Osnabrück 2009–2013: Project Lead/System Engineer, CLAAS Harsewinkel Education: M.Sc. in Intelligent Embedded Microsystems (Freiburg), B.Eng. in Mechatronics (DHBW Stuttgart) His research spans smart agriculture , quantum NLP , and explainable AI systems , with recent work on vibrotactile warning systems, AI compliance frameworks, and hybrid dataset applications in farming. Publications emphasize interdisciplinary approaches bridging technology and agricultural practice . Scientific honors include: DAAD Stipendium for conference participation Best Paper Award (2018) IEEE GHTC Student Paper Contest Winner (2016) Sonderpreis für gute Lehre (2017) Finalist/Falling Walls Lab (2015)

• Quantum Computing
• Quantum Foundations
• ZX-calculus
• +۷ مورد دیگر

John van de Wetering is an Assistant Professor at the Theoretical Computer Science group of the Informatics Institute, University of Amsterdam, working with the QuSoft research center. He co-authored the open-access book Picturing Quantum Software and developed the PyZX quantum compiler. His research spans quantum computation and quantum foundations, focusing on diagrammatic methods like the ZX-calculus and ZH-calculus. Quantum circuit optimization and verification Quantum foundations via algebraic/compositional methods Co-creator of PyZX His recent publications explore multi-qutrit systems, completeness of graphical calculi, and quantum state representations. Supervises students in quantum computing, including Lia Yeh and Sarah Li. Directs the new Master's program in Quantum Computer Science at UvA. Actively contributes to open-source projects and international conferences. Notable collaborations include Aleks Kissinger, Neil J. Ross, and QuSoft researchers. Uses GitHub for DiZX development (qudit extension of PyZX). No explicit scientific awards mentioned.

Jonas Schützenederمشاهده پروفایل

استاد

• Digital Journalism
• Artificial Intelligence in Media
• Social Media and Journalism
• +۷ مورد دیگر

Prof. Dr. Jonas Schützeneder is a Professor of Digital Journalism at the University of the Bundeswehr Munich, where he serves as Deputy Chair of the Examination Board. He holds a doctorate in Sports Journalism and Sports Communication and completed his habilitation in Innovation Communication. His academic responsibilities include teaching digital journalism in the Management and Media program (BA/MA), with a focus on data journalism, social media strategies, and online formats. Schützeneder's research explores transformative trends in journalism, with core interests in: Artificial intelligence applications in newsrooms Social media's impact on journalism practices Innovation communication and media evolution Podcast formats and audio storytelling strategies Ethical dimensions of digital journalism His publications demonstrate a consistent focus on journalism's digital transformation, particularly examining how emerging technologies like AI and social platforms are reshaping content production, distribution, and ethical frameworks across European media landscapes. His scientific recognitions include: University Teaching Award from Catholic University of Eichstätt-Ingolstadt (awarded twice) Multiple nominations for Teaching Award at Magdeburg-Stendal University of Applied Sciences Schützeneder leads the podcast project 'Held:innen von Magdeburg' where students research and produce content about contemporary and historical figures. Since 2018, he has served on the editorial board of Communicatio Socialis, an academic journal on media ethics, where he manages peer review processes. Since 2024, he co-heads the DGPuK Journalism Section, a 400-member organization within the German Society for Journalism and Communication Studies.

Andrea Bastoniمشاهده پروفایل

پژوهشگر ارشد

• Real-Time Systems
• Cyber-Physical Systems
• Operating System Design
• +۵ مورد دیگر

Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.

Tibor Szabóمشاهده پروفایل

استاد

• Combinatorics
• Extremal Graph Theory
• Random Structures and Algorithms
• +۵ مورد دیگر

Tibor Szabó is a Professor in the Combinatorics and Graph Theory group at the Department of Mathematics, Freie Universität Berlin. He holds a PhD from The Ohio State University, advised by Ákos Seress. Prior to his current position, he held roles at McGill University, ETH Zürich, the Institute for Advanced Study (Princeton), and the University of Illinois (UIUC) as a J.L. Doob Research Assistant Professor. Research Interests: His work focuses on combinatorics and combinatorial optimization, including extremal problems, random structures and algorithms, pseudorandom graphs, positional games, and the combinatorics of linear programming. He explores tools from algebra, probability theory, and topology applied to combinatorics. Teaching: He teaches courses such as Algorithmic Combinatorics, Extremal Combinatorics, and runs the Combinatorics Seminar. His lecture notes include works on positional games and explicit constructions in extremal combinatorics. Students & Postdocs: Notable PhD advisees include Yamaan Attwa, Silas Rathke, Simona Boyadzhiyska, and Patrick Morris. Postdoctoral fellows include Olaf Parczyk and Anurag Bishnoi. His research has involved collaborations with over 50 co-authors. Funding & Grants: Supported by grants from the Swiss National Science Foundation (SNF) and German Research Foundation (DFG), focusing on topics like positional games and extremal graph theory.

• Algorithms and Complexity
• Logic
• Database Theory
• +۲ مورد دیگر

Martin Grohe is a Professor at the School of Logic and Theory of Discrete Systems , part of the Department of Computer Science at RWTH Aachen University . His research spans Algorithms and Complexity , Logic , Database Theory , Graph Theory , and Machine Learning , with a focus on integrating logical frameworks into computational models. His recent work explores graph neural networks , Weisfeiler-Leman algorithms , and parameterized complexity , as seen in publications on isomorphism testing , database repairing , and probabilistic query evaluation . While no specific scientific awards are mentioned, his contributions to graph theory and machine learning are widely recognized through numerous peer-reviewed publications.