Find Academic Supervisors

Giuseppe Thadeu Freitas de AbreuView profile

Professor

• Wireless Communications
• Signal Processing
• Machine Learning for Wireless Systems
• +7 more

Giuseppe Thadeu Freitas de Abreu is a Professor of Electrical Engineering at the School of Computer Science & Engineering, Constructor University Bremen, Germany. He holds a Docent (Habilitation) in Statistical Signal Processing and Communication Theory from the University of Oulu (2006), a PhD in Physics from Yokohama National University (2004), and a Master’s in Physics from the same institution (2001). His research focuses on wireless communications, signal processing, and next-generation networks, including 5G/6G systems, massive MIMO, and physical-layer security. He has held roles such as Full Professor at Ritsumeikan University (2015–2018) and Adjunct Professor at the University of Oulu (2006–2011). Education: Docent (Habilitation): Statistical Signal Processing and Communication Theory, University of Oulu, 2006 PhD in Physics, Yokohama National University, 2004 Masters in Physics, Yokohama National University, 2001 Bachelor in Electrical Engineering, Universidade Federal da Bahia, Brazil, 1997 Research Interests: Machine Learning for Wireless Communications, Cell-Free Massive MIMO, 5G/6G Systems, Millimeter Wave, Physical-Layer Security, Localization, and Random Matrix Theory. His work emphasizes practical applications in next-gen networks, including ISAC (Integrated Sensing and Communications) and quantum-aided systems. Grants & Projects: Continental AG Project ADVANTAGE Phase 2 (2021–2024) EIG Concert Japan Integrated Project ORACLE (2021–2024) EU H2020 HIGHTS (2015–2018) EU FP7 BUTLER (2011–2014) Awards: IEEE Fellowships, Heiwa Nakajima Fellowship (2013), and numerous grants from JSPS, NICT, and others. His contributions span editorial roles in IEEE Transactions on Wireless Communications and leadership in international research initiatives. Labs & Groups: Leads the Abreu Group (abreugroup.pages.constructor.university), focusing on cutting-edge wireless research with industrial collaborations.

Marc-Thorsten HüttView profile

Professor

• Computational Systems Biology
• Mathematics
• Physics
• +5 more

Prof. Marc-Thorsten Hütt is a Professor of Computational Systems Biology at the School of Science, Constructor University Bremen gGmbH. His research integrates mathematical, physical, and computational approaches to understand biological systems, including gene regulatory networks, metabolic systems, and neural dynamics. He leads a research group focused on systems biology, network analysis, and interdisciplinary applications in medicine and environmental science. His work bridges theoretical frameworks with experimental data, addressing challenges in bioinformatics, epigenetics, and complex systems. Research interests include the interplay between network topology and dynamics, particularly in excitable systems and biological networks. Notable contributions involve analyzing microbial interaction networks, perturbation therapies for neurodegenerative diseases, and the impact of environmental factors on marine ecosystems. Recent studies explore interdisciplinary citation patterns and machine learning applications in network inference. His publications span computational biology, neuroscience, and network theory, with a focus on attractor analysis, node centrality, and systems-level modeling. The most recent work addresses sampling bias in networks and 5G radiation effects on cellular genetics. Despite extensive contributions, no specific awards are listed in the provided texts. Prof. Hütt collaborates with industry on steel production optimization and maintains a research group active in bioinformatics and systems medicine. His lab's work is accessible via his research website .

• Optimization
• Operations Research
• Revenue Management
• +3 more

Prof. Thomas Winter is a Professor at Berlin University of Technology's Department II - Mathematics - Physics - Chemistry. His expertise spans optimization, operations research, revenue management, and mobile communications. He teaches courses in mathematics, numerical methods, and optimization for engineering and data science programs. Research interests focus on optimization in transport logistics, revenue management, and mobile communication networks. His work includes real-time dispatch systems, UMTS network design, and e-commerce customer journey analysis. Over 20 years, he has contributed to 15+ publications, emphasizing algorithmic solutions for complex systems. No scientific awards are listed. He advises students on thesis topics involving optimization algorithms, revenue management models, and network analysis. No specific grants or labs are mentioned in the provided texts.

Giovanni PaoliniView profile

Associate Professor

• Combinatorics
• Topology
• Group Theory
• +3 more

Giovanni Paolini is an Associate Professor of Mathematics at the University of Bologna (Italy) since 2023. Previously, he worked as an Applied Scientist/Senior Applied Scientist at Amazon Web Services and Caltech (2019–2023), and held a postdoctoral position at the University of Fribourg (2019). He earned his PhD in Mathematics from Scuola Normale Superiore (Pisa, Italy) in 2019, under Prof. Mario Salvetti, with a thesis on topology and combinatorics of affine reflection arrangements. His research spans combinatorics, topology, group theory , and machine learning (deep learning and NLP). Notable contributions include resolving the K(π,1) conjecture for affine Artin groups and developing AI for strategic games like 7 Wonders Duel. He organizes events such as MATH-MIND: Mathematics-Industry Networking Days (2025) and has participated in workshops like Artin Groups and Arrangements at MSRI (2024). Teaching roles include courses on geometry, combinatorial topology, and machine learning at the University of Bologna. His work bridges pure mathematics and applied AI, with publications in journals like Inventiones Mathematicae and conferences like ICLR and ICML. Collaborations include projects with Stefano Soatto (UCLA), Mario Salvetti, and interdisciplinary teams at Amazon.

Ruben BachView profile

Research Fellow

• Computational Social Science
• Data Quality
• Survey Methodology
• +3 more

Ruben Bach serves as a Research Fellow in the Data and Methods Unit at the Mannheim Centre for European Social Research (MZES), University of Mannheim, where he advances computational methodologies in social science research through interdisciplinary collaboration. His research centers on Data Quality as the cornerstone of valid social science inquiry, integrating Survey Methodology with Natural Language Processing and Machine Learning to design questionnaires that optimize human response accuracy while generating algorithm-ready data structures. Bach actively employs transformer-based language models and classification/regression tree algorithms to analyze textual data, with future work targeting audiovisual analysis techniques. He advocates for prioritizing high-quality data over algorithmic complexity, arguing current social science research overemphasizes analysis pipelines at the expense of foundational data integrity. MZES provides Bach's primary research ecosystem as a leading interdisciplinary hub for European social science innovation, fostering methodological advancements across its specialized units. No student advising details or research grants are documented in available sources, reflecting his current focus on independent methodological development within the Data and Methods Unit.

• French Language Practice
• Romance Studies
• Computer Vision
• +3 more

Viridiane Fay is a researcher in the Institute of Modern Languages and Romance Studies at the University of Würzburg , specializing in French language practice and applied computational methods. During lecture periods, she holds office hours every Tuesday from 1 p.m. to 2 p.m., with appointments available during semester breaks. Role: French Editor, Language Practice Location: Am Hubland, 97074 Würzburg Contact: viridiane.fay@uni-wuerzburg.de Her research spans two distinct domains: French language pedagogy and computer vision/AI . While her institutional affiliation focuses on Romance Studies, her publication record reveals expertise in: Medical and underwater image processing Transformer-based architectures Federated learning and network optimization Watermarking and security algorithms Multi-modal AI applications Neuroscience signal analysis Recent work includes lightweight segmentation models (e.g., ContextFormer), drone/aerial imagery detection frameworks (CH-YOLO-Lite), and privacy-preserving AI systems (Find). Despite limited biographical details in the scrape, her 30+ publications since 2017 suggest significant technical contributions.

• Algebra
• Finite Group Theory
• Galois Theory
• +5 more

Prof. Dr. Peter Müller is a Professor of Mathematics at the University of Würzburg, leading the Chair of Mathematics I (Algebra). He is affiliated with the Institute of Mathematics and is based at Campus Hubland Nord, Emil-Fischer-Straße 30. His research focuses on algebraic structures, finite groups, Galois theory, coding theory, and geometric configurations. He actively contributes to the Algebra Seminar and supervises research within his team. Research interests include permutation polynomials, group actions, finite field applications, and combinatorial geometry. His recent work explores topics like Segre’s theorem on ovals, Kakeya sets in finite vector spaces, and Galois groups of multivariate polynomials. Contact: peter.mueller@uni-wuerzburg.de | Office: Building 30 (Mathematics West), Room 03.03 | Phone: +49 931 31-85012

• Probability Theory
• Mathematical Physics
• Combinatorics
• +3 more

Alexey Bufetov is a Professor at Leipzig University , supported by an ERC Starting Grant 'Integrable Probability' (2022–2027). Previously, he held roles as W2-Professor (Bonn Junior Fellow) at the Hausdorff Center for Mathematics (2018–2021) and CLE Moore Instructor at MIT (2015–2018). He completed his Ph.D. in 2015 under advisor G. Olshanski. His research focuses on Probability Theory , Mathematical Physics , and Combinatorics , with emphasis on stochastic particle systems, integrable probability, random matrix theory, and asymptotic analysis. His work bridges algebraic structures (e.g., representation theory) with probabilistic methods, addressing topics like exclusion processes, vertex models, and limit shape phenomena. Recent articles highlight contributions to ASEP dynamics, Mallows measures, and Yang-Baxter integrability. His work often intersects with statistical mechanics and combinatorial identities. No scientific awards are explicitly listed, though his ERC grant underscores research impact. Advising and grants include ERC support and collaborations with institutions like Bonn University. His research outputs span 20+ years, with a focus on advancing probabilistic frameworks for complex systems.

Bernd FinkbeinerView profile

Professor

• Formal Verification
• Reactive Synthesis
• Hyperproperties
• +4 more

Prof. Bernd Finkbeiner is a faculty member at CISPA Helmholtz Center for Information Security and holds a Professorship in Computer Science at Saarland University. He earned his Ph.D. in 2003 from Stanford University. Leading the Reactive Systems Group since 2003, now part of CISPA, his research focuses on ensuring safety and security in computer systems through formal methods like specification, program synthesis, and verification. Key projects include output-sensitive reactive synthesis (OSARES), hyperproperty logics (HYPER), and real-time monitoring (RTLOLA). Education : Ph.D. in Computer Science, Stanford University, 2003 His research interests span hyperproperties, formal verification, runtime monitoring of cyber-physical systems, and distributed synthesis. He has pioneered tools like StreamLAB and AutoHyper for hyperproperty analysis. His work on temporal causality and information-flow guided synthesis addresses challenges in distributed and secure systems. Key Achievements : Recipient of ERC Advanced Grant 2022–2027 for Project HYPER Best Paper Awards at ICALP 2009, FSEN 2007, and VMCAI 2012 Leader of the Reactive Systems Group at CISPA Grants & Funding : ERC Advanced Grant supporting research on hyperproperties His lab develops cutting-edge tools for formal methods, including BoSy for bounded synthesis and RTLola for runtime verification. Current research explores compositional synthesis, explainable reactive systems, and robust monitoring for medical and autonomous systems.

• Database Systems
• Query Optimization
• Cardinality Estimation
• +3 more

Dan Suciu is a Professor at the University of Washington, specializing in database systems and theoretical computer science. His research focuses on query optimization, cardinality estimation, information theory, and the intersection of databases with programming languages and fairness concerns. He has collaborated extensively with researchers like Magdalena Balazinska, Mahmoud Abo Khamis, and Christopher Ré. His work spans foundational database theory, algorithm design, and practical systems. Key areas include worst-case optimal joins, equality saturation for query optimization, and applying information theory to cardinality estimation. Recent projects explore causal reasoning in databases and algorithmic fairness through database repair techniques. Publications highlight advancements in join algorithms, estimation frameworks (e.g., SafeBound, LpBound), and theoretical results in semiring-based query evaluation. His work bridges theory and practice, influencing both academic research and industrial systems. Notable contributions include the Seattle and Cambridge reports on database research, outlining field priorities. His systems like Mosaic and Themis address open-world data and approximate query processing.

• Web Services
• Formal Verification
• Software Security
• +3 more

Xiang Fu is a researcher in the Department of Computer Science at Hofstra University, with affiliations to institutions including Georgia Southwestern State University, University of California, Santa Barbara, and Massachusetts Institute of Technology. His work spans formal verification of web services, software security, zero-knowledge proofs, and automated testing frameworks. His research interests include: Web Services Formal Verification Software Security Zero-Knowledge Proofs Automated Testing Software Engineering Recent publications focus on zero-knowledge auditing for financial systems, formal verification of web services, and secure software analysis. Notable tools developed include APOGEE for automated grading and WISEngineering for scalable online learning. No explicit scientific awards are documented in the provided data.

Oleg SobchukView profile

Researcher

• Cultural Evolution
• Arts
• Literature
• +4 more

Oleg Sobchuk is a postdoctoral researcher at the Department of Human Behavior, Ecology and Culture, Max Planck Institute for Evolutionary Anthropology in Leipzig, Germany. He previously worked at the Max Planck Institute for the Science of Human History (now Max Planck Institute for Geoanthropology) in Jena, Germany from 2018 to 2023. Sobchuk studies the cultural evolution of arts, focusing on long-term patterns in the history of literature, film, and music. His research employs large digital libraries and artistic datasets (such as IMDb or Spotify), statistical models, and text mining techniques to analyze how artistic forms evolve over time. His work addresses fundamental questions including whether films have become more complex during the 20th century, if phylogenetic trees adequately model literary evolution, and what makes certain artworks 'canonical' and persistent throughout history. His research interests span across cultural evolution, digital humanities, and quantitative analysis of artistic traditions. He has published extensively on topics including literary and film evolution, cultural attraction mechanisms, and computational approaches to thematic analysis in fiction. His methodological approach combines large-scale data analysis with theoretical frameworks from evolutionary theory to uncover patterns in artistic production and transmission across generations. Sobchuk's scientific contributions reveal significant trends in cultural evolution, particularly regarding how artistic forms innovate, transmit, and persist over time. His work on first-mover advantage in music genres and the evolution of literature demonstrates how quantitative methods can illuminate previously obscured historical patterns in artistic development. As a collaborator, Sobchuk works with researchers like Olivier Morin and Bret Beheim, contributing to interdisciplinary projects that bridge humanities scholarship with computational science. His research represents an important contribution to building what he describes as 'a theory-driven quantitative history of culture.'

• Digital Circuit Design
• Clock Synchronization
• Distributed Systems
• +3 more

Max Planck is a Lecturer at the Max Planck Institute for Informatics (MPI-INF), specifically within the Department of Algorithms and Complexity. He co-organized the Winter 2020/21 course How To Clock Your Computer , focusing on theoretical aspects of synchronizing digital circuits. The course adopts a flipped classroom model emphasizing student-led discussions and problem-solving. His research interests center on addressing synchronization challenges in modern chip design through distributed solutions, blending CS theory with hardware realities. Course Role: Co-lecturer alongside Christoph Lenzen and others, overseeing a team of assistant lecturers and PhD student scribes. Research Focus: Clock domain synchronization, metastability mitigation, and gradient synchronization algorithms in distributed systems. Teaching Methodology: Weekly discussion sessions with guided exploration of topics like phase-locked loops and network synchronization. While no personal awards or publications are explicitly mentioned in the text, his academic contributions are reflected through course materials addressing cutting-edge challenges in chip design theory.

Anthony Widjaja LinView profile

Professor

• Automated Reasoning
• String Constraint Solving
• Formal Language Theory
• +5 more

Anthony Widjaja Lin is a Full Professor (W3) in Theoretical Computer Science (Automated Reasoning) and Max-Planck Fellow at University of Kaiserslautern-Landau, Germany. Previously, he was an Associate Professor in Programming Languages at Oxford University Department of Computer Science and Governing Body Fellow at Kellogg College (2016-2019), and an Assistant Professor at Yale-NUS, Singapore (2014-2016). He completed his PhD in Informatics at University of Edinburgh in 2010 under Leonid Libkin (supervisor) and Richard Mayr (co-advisor). Dr. Lin's educational background includes: PhD in Informatics, University of Edinburgh (2010) MSc, University of Toronto BSc (Honours), Melbourne University Dr. Lin's research focuses on automated reasoning, particularly over strings, formal language theory, learning/synthesis, and foundations of machine learning. His work has significant applications in software verification, program synthesis, querying graph databases, and computer security. He leads the development of the OSTRICH string solver, which won the QF_S (Single Query Track) in SMT-COMP 2023. His research has evolved from foundational work on string constraint solving to applications in verification of string-manipulating programs and more recently to connections with machine learning models like transformers. Dr. Lin has received numerous prestigious awards including an ERC Consolidator Grant (2023), Amazon Research Award (2021), ERC Starting Grant (2017), Google Faculty Award (2017), and the LICS Kleene Award (2010). Dr. Lin has advised several PhD students to completion, including Pascal Bergsträßer, Chih-Duo Hong, and Xuan-Bach Le, who have gone on to become Assistant Professors at institutions like National Chingchi University and Nanyang Technical University. He currently supervises multiple PhD students and postdocs working on string solving, automated reasoning, and verification. Dr. Lin leads the AV-SMP project (Algorithmic Verification of String-Manipulating Programs), which was supported by an ERC Starting Grant (2017-2022) and an Amazon Research Award (2021). His research group develops tools like OSTRICH, SLOTH, and CertiStr for string constraint solving and verification.

Kristin KnorrView profile

Researcher

• Theoretical Computer Science
• Computer Science
• Algorithms
• +3 more

Kristin Knorr is a Scientific Associate at the Institute of Computer Science within the Department of Mathematics and Computer Science at Freie Universität Berlin. Her affiliation includes roles in managing ongoing academic projects and supervising theses. She is involved in theoretical computer science research, with contributions to areas like algorithms and discrete mathematics. Her work is integrated with the university's broader research groups in theoretical computer science. Kristin contributes to academic infrastructure through her role in organizing events such as the 'Lunchtime seminar on theoretical computer science' and managing the institute's project archives. Contact details include her office at Takustraße 9, Room 122, Berlin, and professional phone/fax numbers.