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

• Static Analysis
• Abstract Interpretation
• Fixpoint Algorithms
• +۱ مورد دیگر

Sarah Tilscher, M.Sc., is a researcher at the Chair for Languages and Structures in Computer Science at the Technical University of Munich (TUM). She contributes to teaching tutorials for courses including Advanced Concepts of Programming Languages and Compiler Construction , and has supervised seminars on static analysis and programming paradigms. Her research focuses on: Incremental and interactive static analysis using abstract interpretation Verification of fixpoint algorithms in Isabelle theorem prover Development of the Goblint static analyzer for concurrent C programs Formal methods for program correctness and verification Her publications (11 recent works) predominantly explore static analysis techniques, abstract interpretation frameworks, and verification tools. Key themes include top-down solvers, weak relational domains, parser generators, correctness witnesses, and concurrency modeling, primarily applied to programming languages and compiler design. She actively supervises student theses on topics including incremental static analysis, visualization of analysis results, and verification of fixpoint algorithms. Current opportunities include master's projects on verified top-down solvers and bachelor's projects on solver code generation. As a core member of the Goblint project team, she develops static analysis tools for memory safety and termination verification, collaborating with TUM researchers and external partners.

Davide Anconaمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Methods
• Runtime Verification
• +۶ مورد دیگر

Davide Ancona is an Associate Professor at the University of Genova's DIBRIS department, specializing in Programming Languages , Formal Methods , and Runtime Verification . With over 150 publications, his work spans type systems, object-oriented programming, coinduction, and behavioral types. President of AITO's executive board since 2024 Editorial board member for multiple journals Recipient of ECOOP 2009 Best Paper Prize Active in organizing conferences like ECOOP and VORTEX His research focuses on formal verification of infinite computations, coinductive methods , and software reliability . Recent publications explore hybrid verification techniques, Java's runtime monitoring, and coFJ's corecursive type systems. Scientific contributions include: 2009 : ECOOP Best Paper (with G. Lagorio) He participates in program committees for conferences like POPL, OOPSLA, and RV, emphasizing trustworthy software systems and language design.

• EEG analysis
• Eye-tracking
• Computational neuroscience
• +۴ مورد دیگر

Benedikt Ehinger is a computational neuroscientist at the University of Stuttgart, leading an Emmy Noether research group on "EEG in motion" funded by DFG. He specializes in integrating EEG with eye-tracking, developing statistical methods for neuroimaging and creating open-source tools. DDFG Emmy Noether grant recipient (2019) Director of Computational Cognitive Science lab Co-developer of open-source tools: Unfold toolbox, ClusterDepth algorithm His research focuses on three main areas: 1. Methodological foundations of EEG/MEG analysis, particularly cluster-based statistics and deconvolution methods; 2. Eye-tracking methodology and visualization techniques; 3. Statistical modeling of human perception using linear mixed models and Bayesian approaches. Key trends in his recent publications include: Advancing EEG methodology with linear deconvolution and cluster permutation tests Developing open-source neuroscience tools in Julia/MATLAB Investigating perceptual inference and reliability estimation Creating art-science interfaces through "thesis art" projects Scientific contributions: Emmy Noether research group leadership Over 10 thesis supervisions (Master's/Bachelor's) Co-development of multiple open-source toolboxes Methodological innovations in ERP analysis and statistical testing As an educator, he creates interactive tutorials on statistical concepts and provides thesis art for each supervised student. His lab maintains strong software engineering practices with GitHub-hosted code repositories.

Shigehiko Schamoniمشاهده پروفایل

مدرس

• Natural Language Processing
• Medical Data Analysis
• Speech Translation
• +۳ مورد دیگر

Shigehiko Schamoni is a Lecturer and Compute Lab Manager at Heidelberg University's Institute of Computer Engineering (ZITI), where he oversees scientific computing infrastructure and teaches computer science courses. He is completing his PhD under Prof. Stefan Riezler in the Statistical NLP group. His dual roles bridge technical management and academic instruction, with teaching responsibilities spanning undergraduate and graduate courses since 2011. Research Focus: Schamoni's work intersects clinical AI and natural language processing, with emphasis on: Machine learning for medical applications (sepsis prediction, clinical validity) Speech translation and automatic speech recognition Cross-lingual information retrieval Data augmentation techniques Multimodal machine learning His 15 most recent publications (2016-2024) demonstrate strong thematic clustering: 47% focus on medical AI (primarily sepsis prediction and clinical data validation), while 53% address NLP challenges (speech translation, ASR, and multimodal systems). This bifurcation reflects consistent collaboration with medical researchers alongside core NLP innovation. Teaching Experience includes instruction across 10+ courses since 2011, such as: Graduate courses: "Tools – Werkzeuge für effizientes wissenschaftliches Arbeiten" (2023-2024) Undergraduate courses: "Einführung in die Nutzung computerlinguistischer Ressourcen" (2021-2022) Programming courses: "Advanced Programming" and "Parallel Programming Paradigms" (2012-2015) He maintains affiliations with both the ZITI infrastructure team and Statistical NLP research group.

• Programming Languages
• Parallel Computing
• Algorithms
• +۲ مورد دیگر

Umut Acar is a Professor at Saarland University and Director at the Max Planck Institute for Software Systems (MPI-SWS), with dual affiliations spanning academic and research domains. His core research focuses on Programming Languages , Parallel Computing , and Algorithms , emphasizing memory management optimizations and functional programming paradigms. Key interests include runtime systems, concurrency models, and language design for scalable computation. He actively mentors graduate students within the Department of Computer Science, though specific advisees are unlisted in source materials.

• High Performance Computing
• Parallel Programming
• OpenMP
• +۲ مورد دیگر

Matthias S. Müller is affiliated with RWTH Aachen University's IT Center, with additional associations to TU Dresden's Center for Information Services and High Performance Computing and the University of Stuttgart's High Performance Computing Center. His research focuses on parallel computing paradigms, OpenMP optimizations, and energy-efficient high-performance computing. Recent publications demonstrate specialization in parallel pattern compilers, OpenMP runtime optimizations, and energy-aware computing benchmarks. His team develops tools for performance analysis and optimization in heterogeneous computing environments, with applications in computer vision and scientific computing.

• Cognitive Neuroscience
• Comparative Neuroscience
• Consciousness Studies
• +۳ مورد دیگر

Andreas Nieder is a Professor at the Max Planck Institute for Empirical Aesthetics (MPIEA) in Frankfurt, Germany, leading research within the Department of Neuroscience, specifically the Neural Circuits, Consciousness, and Cognition group. His work focuses on the neural basis of consciousness across species, with groundbreaking research on avian cognition. Dr. Nieder's research challenges the long-held assumption that a layered cerebral cortex is necessary for consciousness. Through innovative experiments with crows, his team has demonstrated that single-neuron activity in the avian endbrain correlates with perceptual awareness, providing empirical evidence for consciousness in brains with radically different architectures from mammals. This work suggests consciousness either evolved before the mammalian-avian split 320 million years ago or emerged independently in different evolutionary lineages. Cognitive Neuroscience Comparative Neuroscience Consciousness Studies Avian Cognition Neural Correlates of Perception Evolutionary Neurobiology His publication record reveals a consistent trajectory exploring how subjective experience emerges in non-mammalian brains. The research demonstrates sophisticated cognitive processing in birds, particularly corvids, with neural mechanisms that parallel mammalian consciousness despite vastly different brain structures. This work bridges neuroscience, evolutionary biology, and philosophy of mind, fundamentally reshaping our understanding of the biological requirements for conscious experience. Nieder's research program represents a paradigm shift in consciousness studies, demonstrating that the capacity for conscious awareness is not exclusive to mammals with layered cortices but can emerge in alternative neural architectures. His findings have profound implications for understanding the evolution of cognition and the minimal neural requirements for subjective experience across the animal kingdom.

Martin Schulzمشاهده پروفایل

استاد

• Parallel and Distributed Architectures
• Performance Monitoring and Analysis
• Memory System Optimization
• +۴ مورد دیگر

Prof. Martin Schulz is a Full Professor and Chair for Computer Architecture and Parallel Systems at Technische Universität München (TUM), joining in 2017. He also serves on the board of directors at the Leibniz Supercomputing Centre. Previously, he worked at Lawrence Livermore National Laboratory (LLNL) and Cornell University. His research focuses on parallel architectures, quantum computing integration, HPC optimization, and fault tolerance. He has published over 250 papers and chairs the MPI Forum, a key standard in HPC. Education: Doctorate in Computer Science (TUM, 2001), Master of Science (UIUC). Research Interests: Parallel systems, performance analysis, quantum computing, memory optimization, and tool support for HPC. Awards: Gordon Bell Award (2006), R&D 100 Award (2011), Best Paper Awards at IPDPS and SC. Grants/Projects: SEANERGYS, PlasmaPEPS, OpenCUBE, and others. Active in academic service, including program chairs for ISC, EuroMPI, and IPDPS.

Yoram Reichمشاهده پروفایل

استاد

• Systems Engineering
• Engineering Design
• Innovation
• +۵ مورد دیگر

Prof. Yoram Reich is a Full Professor at the School of Mechanical Engineering within The Iby and Aladar Fleischman Faculty of Engineering at Tel Aviv University, where he has been affiliated since 1993. He holds the Chair of Engineering Design and Systems Engineering and serves as head of the Systems Engineering Research Initiative (TAU-SERI) and the MSc in Systems Engineering program. His academic journey includes a BSc (Summa Cum Laude) and MSc (Cum Laude) in Mechanical Engineering from Tel Aviv University, followed by a PhD in Civil Engineering from Carnegie Mellon University (1991) as a Rothschild and Fulbright Fellow. His research spans interdisciplinary domains with core interests in Systems Engineering , Engineering Design , Innovation Methodologies , and Sustainable Biomimicry . He pioneered frameworks like the Interdisciplinary Engineering Knowledge Genome (IEKG) and Infused Design, focusing on cross-disciplinary innovation. His work integrates biological principles with technological solutions through biomimetic design strategies. Analysis of his 15 most recent publications (2014-2019) reveals strong emphasis on: (1) Advanced systems engineering frameworks for enterprise collaboration and verification, (2) Mechanical design innovations in robotics and parallel mechanisms, and (3) Theoretical foundations of design science. Recurring themes include model-based systems engineering, singularity analysis in kinematics, and sustainable design paradigms. Scientific Awards & Honors: Fellow of Design Research Society (2014) & Design Society (2023) Honorary Fellow, Israeli Society of Systems Engineering (2021) Reviewers' Favorite Awards at ICED'11, ICED'13 Outstanding Paper Award at ICED'09 Rothschild & Fulbright Fellowships (1986) Academic Leadership: He founded the Israel Institute for Empowering Innovation (2012) and TAU's Systems Engineering Research Initiative (2018). Current responsibilities include: Heads MSc in Systems Engineering program Leads Final Project in Mechanical Engineering program Editor-in-Chief of Research in Engineering Design Senate Member at Tel Aviv University He directs research in enterprise process integration, biomimetic sustainability, and design theory development through the TAU-SERI laboratory, collaborating with international partners across engineering disciplines.