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

Lutz Hellmigمشاهده پروفایل

پژوهشگر

• Computer Science Education
• Didactics of Computer Science
• Teacher Training
• +۳ مورد دیگر

Lutz Hellmig serves as a researcher at the University of Rostock's Institute of Computer Science within the Faculty of Computer Science and Electrical Engineering. His office is located in Konrad-Zuse-Haus Room 252 at Albert-Einstein-Straße 22, 18059 Rostock. He maintains active roles across multiple university governance bodies including as Senate member of the University of Rostock, Deputy Chair of the Senate Commission for Studies and Teachers, and membership in the Study Commission of both the Faculty of Computer Science and Electrical Engineering and the Institute of Computer Science. Dr. Hellmig's research interests focus on computer science education methodology, particularly the development of structured learning frameworks like his "Using-Analysing-Creating-Embedding" approach. His work significantly contributes to educational standards for computer science in German schools, with active participation in the GI Working Group for Educational Standards in Computer Science for Secondary Schools. He specializes in teacher training programs, blended learning methodologies, and the implementation of computer science curriculum in school systems. Analysis of his publication trends (2006-2021) reveals a consistent focus on practical applications of computer science education, with increasing emphasis on national curriculum development and educational standards. His work bridges theoretical pedagogy with practical classroom implementation, particularly evident in his contributions to establishing computer science as a compulsory subject in German schools. The publications demonstrate methodological innovation in structured learning sequences and teacher professional development. Dr. Hellmig holds significant leadership positions in educational reform initiatives, including membership in the speaker teams for both the Specialist group "Information Technology Education in Mecklenburg-Western Pomerania" and the GI expert committee "Information Technology Education in Schools." His committee work extends to the Center for Teacher Education and Educational Research and the Central Examination Board for Teacher Training. His professional journey began as a graduate teacher of computer science, mathematics, and physics in school service from 1989 to 2008. He transitioned to university-level work in 2006, formally joining the Institute of Computer Science in 2008, and completed his doctorate (Dr. rer. nat.) in 2012 with research focused on mathematics teacher training. His expertise spans both school-level computer science education and higher education teacher development programs.

Joachim Falkمشاهده پروفایل

پژوهشگر

• Electronic System Level Design
• Hardware-Software Co-Design
• Data-Flow Graphs
• +۶ مورد دیگر

Joachim Falk is a researcher at the Department of Hardware-Software Co-Design (Computer Science 12) at Friedrich Alexander University Erlangen-Nuremberg. With over 20 years of experience since joining the department in 2004, he specializes in electronic system level design, dataflow programming, and hardware-software co-design, contributing significantly to the field through publications, teaching, and research leadership. His educational background includes: Doctorate degree (Dr.-Ing.) in Computer Science from FAU (2014) Diploma degree in electrical engineering (data processing) from Georg-Simon-Ohm University of Applied Science Nuremberg (2002) Falk's research focuses on Electronic System Level Design, Hardware/Software Code Generation for Data-Flow Graphs, Compiler Optimizations, and Parallel Architectures. His work bridges theoretical computer science with practical embedded systems implementation, particularly through the SystemC framework and his contributions to the SysteMoC language. He actively explores energy-efficient computing approaches for dataflow networks and embedded systems, with recent work emphasizing self-powering networks, clock and power gating techniques, and multi-reader buffer implementations for heterogeneous architectures. His recent publication trends reveal a consistent focus on optimizing dataflow networks for energy efficiency and performance. Key themes include self-powering dataflow networks, innovative clock and power management techniques, buffer management strategies for heterogeneous many-core systems, and invasive computing approaches. His research demonstrates a strong connection between theoretical models and practical implementation challenges in embedded systems design. Dr. Falk teaches courses including 'Entwicklung interaktiver eingebetteter Systeme' (Development of Interactive Embedded Systems) for Winter Semester 2024/2025 and 'SystemC' for Summer Semester 2024, supervising multiple theses on security modeling at the electronic system level and sleep/wake-up strategies for hardware implementations of dataflow networks. His research is conducted within the framework of projects like SysteMoC (representation of computational models in SystemC) and SystemCoDesigner (design space exploration for embedded systems).

• Iranian Theatre History
• Gender Studies in Iranian Theatre
• 20th Century Persian Drama
• +۴ مورد دیگر

Dr. Anna Heller serves as a Research Fellow at the Department of Iranian Studies within the Center for Near and Middle Eastern Studies (CNMS) at Philipps University of Marburg, a position she has held since fall/winter 2021. She teaches Persian language courses and specialized seminars on Iranian history, culture, and theatre for BA and MA programs across multiple semesters through SoSe 2025. Her academic credentials include a PhD in Iranian Studies (2021) from Otto Friedrich University of Bamberg with the dissertation "Nationalism on Stage: The New Iranian Drama as a Forum of National-Secular Discourse in early Pahlavi rule," complemented by an MA (2012-2014) and BA in Oriental Studies (2011-2012) from Philipps University of Marburg, and a BA in Iranian Studies (2008-2011) from the University of Hamburg. Dr. Heller's research centers on 20th-century Iranian theatre with rigorous focus on gender representation, national identity construction, and women's biographies in theatrical contexts. Her current project develops a gender-inclusive theatre biography of Loreta Hayrapetiyan and Abdolhoseyn Nushin, while her broader work examines politicization processes in Iranian popular culture through frameworks of social identity and gender performance during the Pahlavi era. Her publication trajectory reveals consistent engagement with theatre as a political and cultural battleground in modern Iran, demonstrated through her 2023 monograph on nationalism in early Pahlavi theatre and forthcoming 2025 article on female pioneers. These works synthesize cultural history, gender theory, and literary analysis to map the evolution of Iranian stage arts as sites of social commentary. Her scholarly recognition includes: Gerda Henkel Foundation Doctoral Scholarship (2015-2018) for research on nationalism in early Pahlavi Iranian theatre Through continuous teaching since 2014 and active committee service—including membership on FB 10 Faculty Council since 2024 and CNMS Study Committee since 2022—she contributes significantly to academic governance while mentoring students through specialized coursework on Iranian society and culture. As a core member of CNMS, she drives interdisciplinary scholarship through co-organization of major workshops including the 2024 "Stages of Performing in Pahlavi Iran (1925-1979)" and November 2024 "Cultural History of Late Pahlavi Iran," establishing vital platforms for international scholarly exchange on Iranian cultural history.

• Causal Inference
• Artificial Intelligence
• Machine Learning
• +۳ مورد دیگر

Jonas Gottal is a Research Associate at the Chair of Software Engineering for Business Information Systems within the School of Computation, Information and Technology at Technical University of Munich (TUM). He earned a bachelor's and master's degree in Computer Science from Ludwig-Maximilian University (LMU) Munich, complemented by an Erasmus exchange program at INSA Lyon, France, and a master's thesis on explainable AI methods for black box models at Siemens. Education: BSc/MSc in Computer Science (LMU Munich) Experience: Data Science & AI roles in consulting, finance, and industry His research focuses on causal reasoning and causal structure discovery from unstructured data, leveraging large language models (LLMs) for mathematical reasoning, synthetic data generation, and decision-making applications in medical and business domains. Jonas contributes to the AI-Based Knowledge Assistant for Cancer Care (Aidvice) project, collaborating with the TUM University Hospital. Contact details: Room FMI 01.12.57, phone +49 89 289-17105, email jonas.gottal@tum.de . Office hours available by appointment.

Vladimir Golkovمشاهده پروفایل

پژوهشگر

• Deep Learning
• High-Dimensional Data
• Geometric Data
• +۶ مورد دیگر

Dr. Vladimir Golkov is a Postdoctoral Researcher at the Technical University of Munich (TUM) within the School of Computation, Information and Technology, specifically in Informatics 9 (Computer Vision Group). He works under the supervision of Prof. Dr. Daniel Cremers and maintains an active research profile in deep learning applications for medical imaging and biomedical data analysis. His primary research interests focus on deep learning since 2014, with specialization in high-dimensional and geometric data structures, data-processing goals beyond supervised learning (including clustering and anomaly detection), and applications in biomedicine and physics. Dr. Golkov has successfully mentored students who have gone on to pursue PhD studies at prestigious institutions including TUM, LMU, Mila, ETHZ, Cambridge, and Stanford. Analysis of his recent publications reveals a strong trend toward medical imaging applications, particularly in MRI technology, where he combines deep learning approaches with traditional physics-based methods. His work frequently bridges the gap between theoretical machine learning advances and practical medical applications, with significant contributions to diffusion MRI, sequence optimization, and 3D data processing. He has also expanded into emerging areas including large language models for medical applications and equivariant deep learning architectures. Dr. Golkov receives grant support from the Deutsche Telekom Foundation and maintains an active publication record with numerous contributions to leading conferences including ISMRM, MICCAI, and NeurIPS workshops. His research demonstrates a consistent trajectory of innovation at the intersection of computer vision, deep learning, and biomedical applications. He is actively involved in teaching and mentoring, with students from his projects advancing to top PhD programs worldwide. His office is located at Boltzmannstrasse 3, 85748 Garching, Germany (Office: 02.09.061), and he can be contacted at vladimir.golkov@tum.de.

Johannes Zinkمشاهده پروفایل

پژوهشگر

• Graph Drawing
• Computational Geometry
• Algorithmic Complexity
• +۱ مورد دیگر

Dr. Johannes Zink is a Post-Doc researcher at the Chair of Efficient Algorithms (Prof. Kobourov) at Technical University of Munich (TUM), Campus Heilbronn since October 2024. Previously, he was a Post-Doc at University of Würzburg (2023-2024) and completed his PhD there under the supervision of Prof. Alexander Wolff. His research focuses on graph drawing, computational geometry, and algorithmic complexity problems. Zink's research interests span multiple areas within theoretical computer science, with particular emphasis on graph drawing algorithms, computational geometry problems, and complexity analysis. His work often involves finding efficient algorithms for geometric representations of graphs, analyzing the segment number of planar graphs, and developing techniques for polyline simplification. He has made significant contributions to understanding upward planar drawings, tangle complexity, and level planarity problems. His publication record shows a strong trend toward geometric graph representations, with many papers focusing on visualization techniques, algorithmic solutions for drawing problems, and complexity analyses. His research combines theoretical insights with practical applications, particularly in visualization systems and geometric data processing. Awards and Recognition Multiple 1st place wins at Graph Drawing Live Challenges (2018, 2020, 2023, 2024) PhD prize from Lower Franconian Memorial Year Foundation (2024) PhD prize from University of Würzburg Institute of Computer Science (2023) Deutschlandstipendium scholarship (2015-2017) Bachelor's thesis prize from University of Würzburg (2016) Zink has supervised numerous bachelor's and master's theses, demonstrating his commitment to mentoring the next generation of researchers. His teaching portfolio includes courses on computational geometry, advanced algorithms, and graph visualization. He has also served on program committees for major conferences including EuroCG 2025 and GD 2023, reflecting his standing in the academic community.

Thomas W. Repsمشاهده پروفایل

استاد

• Program analysis
• Abstract interpretation
• Model checking
• +۷ مورد دیگر

Thomas W. Reps is the J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair in the Computer Sciences Department of the University of Wisconsin-Madison, where he has been a faculty member since 1985. He is also President of GrammaTech, Inc., which he co-founded in 1988 to commercialize research on programming environments. Reps received his Ph.D. in Computer Science from Cornell University in 1982, winning the ACM Doctoral Dissertation Award. His research spans program analysis, abstract interpretation, model checking, programming languages, and computer security. Reps's most influential work includes pioneering program slicing techniques with Susan Horwitz, development of the Cornell Program Synthesizer and Synthesizer Generator with Tim Teitelbaum, and significant contributions to interprocedural dataflow analysis. His recent work extends into quantum computing and advanced program synthesis techniques. The analysis of his publications reveals consistent focus on program analysis techniques, with recent papers exploring quantum circuit verification, abstract transformer synthesis, and program synthesis. His work bridges theoretical foundations with practical applications, often addressing scalability challenges in program analysis. NSF Presidential Young Investigator Award (1986) Packard Fellowship (1988) ACM Fellow (2005) ACM SIGPLAN Programming Languages Achievement Award (2017) Elected foreign member of Academia Europaea (2013) Multiple best paper awards including ETAPS (2004, 2008) Reps has advised numerous students, several of whom have received departmental and national recognition. His work on the Wisconsin Program-Slicing Tool led to commercial products through GrammaTech. He has served on advisory boards for significant projects including Year 2000 remediation for the Department of Defense and F/A-22 avionics software integration.

Delphine Demangeمشاهده پروفایل

دانشیار

• Programming languages implementation
• Compiler verification
• Formal semantics
• +۳ مورد دیگر

Delphine Demange is an Associate Professor in Computer Science at the University of Rennes, affiliated with Inria, CNRS, and IRISA. She works in the Epicure research group (formerly Celtique) and focuses on formal semantics, compiler verification, program transformations, static analysis, computer-aided verification, and language-based security. Her career spans roles at the University of Pennsylvania as a postdoctoral researcher and a PhD at ENS Cachan-Brittany Extension under Thomas Jensen and David Pichardie. Her research interests center on formal methods for programming languages , particularly through compiler verification , static analysis , and language-based security . She has mechanized semantics for dataflow circuits and SSA-based optimizations, bridging theoretical rigor with practical compiler correctness. Her work often leverages interactive theorem provers like Coq to ensure robustness. Delphine’s recent publications (2025–2010) highlight her expertise in formal verification of compilers, dataflow analysis , and concurrent systems . Notable trends include mechanized semantics for gated SSA and dataflow circuits , verified intermittent computing models, and concurrent garbage collectors using rely-guarantee methodologies. Scientific Awards: EAPLS Best PhD Dissertation Award (2012) Gilles Kahn PhD Thesis Award (2013) Teaching: She has taught undergraduate and master’s courses including Java programming, algorithmics, deductive verification with Why3, compilation, and software security. Her pedagogical contributions span functional programming, semantics, and logic. Professional Service: Delphine has served on steering committees for CC (2021–2024), co-chaired JFLA 2024 and 2023, and participated in program committees for conferences like CGO, OOPSLA, and POPL.

Marieke Huismanمشاهده پروفایل

استاد

• Program verification
• Reliability of concurrent and distributed applications
• Software specification
• +۳ مورد دیگر

Marieke Huisman is a Professor in Software Reliability at the University of Twente, where she leads the Formal Methods and Tools (FMT) Group within the Electrical Engineering, Mathematics and Computer Science faculty. She serves as the Chair of the Computer Science department and holds several significant leadership positions including President and Steering Committee chair of the ETAPS association, which runs the ETAPS conferences. As a Fellow of the Netherlands Academy of Engineering (NAE), she contributes to national and international research initiatives including serving on the board of the ICT-Research Platform Netherlands (IPN) and the NWO advisory table for Computer Science. Her research focuses on program verification, reliability of concurrent and distributed applications, software specification, and formal methods. She has pioneered work in the verification of concurrent data structures and parallel programming models, with a particular emphasis on developing practical verification techniques that can be applied to real-world software systems. Her research has led to the development of the VerCors verification toolset, which is designed to verify concurrent and distributed software. Analysis of her recent publications reveals a strong focus on practical applications of formal verification techniques, with significant work on GPU programming verification, embedded systems verification, and the development of tools that bridge the gap between theoretical verification methods and industrial practice. Her work spans multiple subdomains including memory safety for concurrent programs, verification of heterogeneous systems, and automated invariant generation. Netherlands Prize for ICT Research 2013 - A prestigious award worth 50,000 euros for innovative research in ICT 2023 Athena Award - Recognizing female researchers who stand out as role models for others Professor Huisman has secured substantial research funding through multiple NWO projects including the ERC Starting Grant for the VerCors project, the NWO VICI project Mercedes (Maximal reliability of concurrent and distributed software), and the NWO OC M project Pallas. She actively supervises PhD students and master's projects, with a focus on practical verification techniques. Her leadership extends to major collaborative efforts such as the VerifyThis verification competition series and the development of the VerCors verification infrastructure. She also co-initiated the Alice & Eve project, which celebrates women in computing and promotes diversity in computer science.

Walid Tahaمشاهده پروفایل

استاد

• Programming Languages
• Cyber-Physical Systems
• Domain-Specific Languages
• +۴ مورد دیگر

Walid Taha is a Professor of Computer Science at Halmstad University with a part-time research professor appointment at University of Houston. He serves as founding director of the Halmstad Colloquium and has held leadership roles in numerous academic conferences including founding the ACM Conference on Generative Programming and Component Engineering (GPCE) and the IFIP Working Group on Program Generation (WG 2.11). His research focuses on the design, semantics, and implementation of programming and modeling languages, with particular emphasis on cyber-physical systems. Taha is credited with developing the concept of multi-stage programming (staging) and has designed several influential systems including MetaOCaml, ConCoqtion, Java Mint, the Verilog Preprocessor, RT-FRP, and E-FRP. His work spans programming languages innovations such as statically typed macros, tag elimination, tagless staged interpreters, and event-driven functional reactive programming. Taha's publication record shows consistent contributions to cyber-physical systems modeling, with publications spanning from foundational programming language theory (Environment Classifiers, POPL'03) to practical applications in cyber-physical systems education and verification. His recent work focuses on executable models and simulation challenges in complex systems. His notable honors include an NSF CAREER award for developing Java Mint. He has served on program committees for numerous conferences including POPL, SPLASH, ICFP, and PEPM. As a principal investigator, Taha has secured research funding from the National Science Foundation (NSF), Semiconductor Research Consortium (SRC), and Texas Advanced Technology Program (ATP). His current work centers on the development of the Acumen modeling language for cyber-physical systems.

• Pharmacology
• Neurodegenerative Diseases
• Neuropharmacology
• +۴ مورد دیگر

Francisco López-Muñoz is a Professor of Pharmacology and Director of the International Doctorate program. He earned his PhD in Medicine from Complutense University (1993) with the Doctorate Extraordinary Award and a second PhD in Spanish Language and Literature from the University of Alcalá (2015). His research spans neuropharmacology, antioxidant therapies, and public health in mental health frameworks. His recent publications focus on neuroprotective agents for cerebral ischemia, multifunctional ligands for neurodegenerative diseases, and historical analyses of antidepressants and neuroleptics. These works emphasize pharmacological innovation and oxidative stress mechanisms. He has received the Doctorate Extraordinary Award and serves in editorial roles for Frontiers in Neuroscience , Frontiers in Pharmacology , and Frontiers in Molecular Neuroscience , including Associate Editor and Review Editor positions.

Hisami Shimbaمشاهده پروفایل

مدرس

• Language Teaching Methods
• Machine Translation
• Japanese Language Education
• +۱ مورد دیگر

Hisami Shimba (born in Shizuoka, Japan) is a Lecturer in Japanese Language at the East Asian Studies Department, Institute of Asian and African Studies, Humboldt-Universität zu Berlin. She has held similar roles at Ruhr-Universität Bochum (2009-2015), the University of Bonn (2019-2021), and Heidelberg University (2022). Her career spans international engagements with the Japan Foundation, including advisory and teaching roles in Australia (1998-1999), Ireland (2005-2007), and Germany (2015-2018). Studied psychology and English at Shizuoka University (1979-1984) M.Ed. in Teaching English as a Second Language, Boston University (1988-1989) M.Ed. in Language Acquisition, Harvard University (1989-1990) Her research focuses on modern language pedagogy, integrating machine translation tools and online learning platforms into Japanese language education. She has developed teaching resources like the official Irish leaving certificate textbook Nihongo Kantan (2007) and led teacher training programs internationally. Contact: Johannisstr. 10, 2. OG, Raum 205 | Phone: (030) 2093-66927 | Office hours: Wednesdays 10:00-11:00 (from 23.10.2023) with prior email coordination.

• Comparative Literature
• Jewish Studies
• Philosophy
• +۶ مورد دیگر

Prof. Dr. Dorothee Gelhard is a full Professor of Comparative Literature (Slavic/German/Romance Philology) at the University of Regensburg since 2002. She founded the Yiddish studies program (2007) and co-established the Master's program in General and Comparative Literature with Jewish studies focus (since 2007). As Principal Investigator of the Graduate School for Eastern and Southeastern European Studies (since 2012), she leads the research group 'Construction, Translation and Transgression in Art and Literature'. She also holds guest professorships at Hebrew University of Jerusalem (2012-2013) and University of Haifa (2014-2015). Specializes in Ernst Cassirer, Aby Warburg, Walter Benjamin, and Emmanuel Levinas Focus on German-Jewish, Russian-Jewish, and Italian-Jewish literatures Key research areas: Literary forms of philosophy, dance studies, and intermediality Her publications and editorial work (E.g., the Pegisha – Begegnung book series) emphasize Jewish cultural encounters with European modernity, including assimilation, secularization, and cultural memory. She has led seminars on dance-literature interactions, analyzing works like Romeo und Julia and Les Ballets Russes collaborations.

• German Literature
• Slovene Literature
• Translation Studies
• +۲ مورد دیگر

Slavo Šerc is a Lecturer (Lektor) for Slovene at the University of Regensburg, Germany, where he teaches beginning and advanced Slovene language courses each semester. His research spans German and Slovene literature, translation studies, and comparative cultural analysis. Research Interests Contemporary and modern German literature Slovene literary and cultural studies Translation theory and practice Comparative literature and cultural transfer Editorial and Translation Work Šerc has edited several anthologies of contemporary German and Swiss short prose, translated numerous German-language authors into Slovene, and authored critical studies on writers such as Peter Handke, Thomas Bernhard, and Herta Müller. Publications Overview His scholarly output includes the monograph Nemška književnost danes (1996), edited volumes, and over two hundred translations, reviews, and essays published between 1980 and 2018, demonstrating sustained engagement with both canonical and emerging voices in Germanophone literature.

Lena Sowadaمشاهده پروفایل

پژوهشگر

• Historical Sociolinguistics
• Contact Linguistics
• French Language History
• +۳ مورد دیگر

Lena Sowada , a researcher at the Department of Romance Studies of the University of Heidelberg , focuses on historical sociolinguistics, language contact, and writing practices in multilingual contexts. Since 2022, she has been a member of the Junge Akademie of the Heidelberger Akademie der Wissenschaften. PhD (2019) in cotutelle between Heidelberg University and Université Paul-Valéry Montpellier 3 BA in Spanish and French Linguistics Her research explores French language history (19th-20th centuries) Writing practices of less-experienced scribes Language contact in bilingual spaces (e.g., Alsace-Lorraine, Balearic Islands) Recent projects examine multilingualism and WWII correspondence. Her publications analyze Ego-documents from WWI Discursive traditions in private texts Orthographic challenges in historical writing She coordinates Erasmus programs for Spain and serves on the university's research commission.