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

• Modular development of specification languages
• Algorithms for models of computation
• Coalgebra
• +۴ مورد دیگر

Alexandra Silva is a Professor of Computer Science at Cornell University with prior affiliations as a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation at University College London . She leads a research group focusing on the modular development of specification languages and algorithms for models of computation, emphasizing coalgebra as a unifying mathematical framework. Research Interests Her work spans foundational and applied areas in theoretical computer science, including: Coalgebraic methods for formal verification Automata theory and learning algorithms Probabilistic programming and semantics Programming language design (e.g., NetKAT, Kleene Algebra with Tests) Concurrency theory and distributed systems Algebraic structures in computation Recent publications address network verification (StacKAT), symbolic automata learning, probabilistic regular expressions, and outcome logic for correctness/incorrectness reasoning. She is actively involved in organizing academic events like OPLSS 2025 and co-authoring foundational works in Formal Aspects of Computing and Theoretical Computer Science . Scientific Awards Distinguished Paper Award (ACM SIGPLAN POPL, 2020) Best Paper Award (RTA, 2015) She teaches courses on Kleene Algebra with Tests (KAT) and verification at summer schools like Marktoberdorf 2025 , and her research includes collaborations on probabilistic network verification (ProbNV) and stochastic system modeling.

Paolo G. Giarrussoمشاهده پروفایل

پژوهشگر

• Programming Language Theory
• Domain-Specific Languages
• Distributed Systems
• +۵ مورد دیگر

Paolo G. Giarrusso is a researcher at the Institute for Programming Languages and Software Engineering within the Faculty of Informatics at the University of Tübingen . Previously, he was a Ph.D. student at the University of Marburg , where he defended his thesis Optimizing and Incrementalizing Collection Queries by AST Transformation in January 2018.

Silke Schmidمشاهده پروفایل

استاد

• Educational Transformation & Music Education for Social Change
• Education for Sustainable Development (ESD) in music contexts
• Children's music experiences and wellbeing in primary school age
• +۴ مورد دیگر

Prof. Silke Schmid serves as Professor for Music and its Didactics and Head of the Institute of Music at Freiburg University of Education. She has held this professorship since 2017 and has led the Institute since Summer Semester 2019. Previously, she was a Substitute Professor at the University of Koblenz-Landau (2015/2016) and a Research Assistant at the University of Music Basel (2011-2017), where she was responsible for the music education research focus. She completed her PhD at Goethe-University Frankfurt in 2013 with research on children's music experiences. Prof. Schmid's research centers on educational transformation through music, with particular emphasis on music education for social change and education for sustainable development (ESD). She explores children's music experiences and wellbeing, creativity and playfulness in post-digital music practices, and professionalization in music teacher education. Her work increasingly integrates ecological perspectives, most notably through her leadership of the Soil Music project, which creates aesthetic-ecological learning spaces through regenerative practices and artistic research. Her research demonstrates how music education can serve as a catalyst for social and ecological transformation. Prof. Schmid leads multiple externally funded projects including Soil Music (2024-present), Nährboden der Zukunft (2025-2026), MusicBeing? (2023-2027), and Maker Music Education (2023-2026). Her publication record reveals a strong trajectory toward sustainable music education, children's wellbeing through music, and innovative approaches to music teacher training. She serves on editorial boards including Sustain: Journal of Sustainability and Futures in Music Education and has reviewed for numerous international journals in music education and psychology. Music-related wellbeing as teaching objective: A critical interpretive synthesis (2024) Zeit für Zukunftsmusik! Musik und Unterricht im Spiegel der UN-Nachhaltigkeitsziele (2024) Equitable musical-aesthetic practice in elementary school (2024) Grundschul(musik)unterricht for Future? Grundzüge einer Eco-Literate Music Pedagogy (2023) "Like a room without a roof": Children's wellbeing as a teaching objective (2022) As Head of Institute, Prof. Schmid oversees music teacher education programs and fosters collaborations between schools, music institutions, and community organizations. She is active in professional organizations including the International Society for Music Education (ISME) and the European Association for Music in Schools (EAS), and serves on research councils and cultural education juries. Her Soil Music project represents a significant interdisciplinary effort connecting music, ecology, and community engagement through the SoilKulturLab and related initiatives, reflecting her commitment to using music education as a catalyst for sustainable futures.

• Business Informatics
• Enterprise Software
• Open Source Systems
• +۶ مورد دیگر

Prof. Dr. Alexandra Kees is a full-time Professor of Applied Computer Science specializing in Business Informatics at the Department of Computer Science, Bonn-Rhein-Sieg University of Applied Sciences. Located in Sankt Augustin (Office C 220), her academic focus integrates business processes with information technology solutions. Her research encompasses: Open Source Enterprise Software and ERP systems Business Process Modeling & Digitalization IT Project Management & Ethics Internet of Things applications in business Production planning and control systems Her publication record shows consistent focus on enterprise software evolution, with recent works exploring open-source solutions (2019), IoT business interactions (2018), and ERP system fundamentals (2015). Earlier contributions include foundational work on production planning systems. Professor Kees teaches across bachelor's and master's programs, covering: Enterprise application architecture Business Informatics projects IT project management Digital transformation seminars She actively supervises student theses and company internships, bridging academic and industry practices.

Alexander Zeckeyمشاهده پروفایل

پژوهشگر ارشد

• 3D Digitization
• 3D Shape Analysis
• Machine Learning
• +۲ مورد دیگر

Alexander Zeckey is a Research Fellow at the University of Göttingen, currently affiliated with the Institute for Digital Humanities. He has held research positions since 2016, transitioning from Student Assistant to Research Associate at the SNds Campus Lab Digitization, then at the Institute of Computer Science (2017-2019), and finally at the Institute for Digital Humanities since 2019. His academic background includes: Bachelor of Applied Computer Science (specialization in Embedded Systems) from Fulda University of Applied Sciences (2008-2012) Master in Applied Computer Science from the University of Göttingen with orientation in Medical Informatics and Neuroinformatics (2012-2014) Master's degree specializing in Digital Humanities, thesis: "Natural Interaction in Virtual Museums" (2014-2016) Zeckey's research centers on 3D digitization and shape analysis integrated with machine learning, applied through virtual and augmented reality frameworks. His work bridges computational methods with digital humanities, particularly in virtual museum environments and archaeological artifact analysis, as evidenced by his ongoing DFG project on terracotta statuettes. He is actively involved in the DFG project "Schemata. 3D Classification Methods and Archaeological Identification Criteria Using Ancient Terracotta Statuettes as an Example" under the DFG Research Focus "The Digital Image", building on his doctoral work in the GAUSS program titled "3D Shape Analysis of Similarities: Contributions to automated Object Mining".

Steffen Helkeمشاهده پروفایل

استاد

• Software Engineering
• IT Security
• Functional Software Security
• +۳ مورد دیگر

Prof. Dr.-Ing. Steffen Helke serves as a full Professor in the Department of Electrical Engineering & Information Technology at University of Applied Sciences Südwestfalen. His academic roles include Senate membership, evaluation officer for the department, program coordinator for Media Informatics, and spokesperson for the GI Specialist Group Automotive Software Engineering. Current affiliations span committee work in electrical engineering bachelor programs and leadership in safety-critical software research. His research focuses on functional software security , safety-critical system verification , and model-based quality assurance . Key areas include information flow control languages, automotive software security, hierarchical statechart validation, and requirements delta analysis for efficient development estimation. Methodologies emphasize formal verification, static analysis, and tool-supported refactoring to ensure robustness in embedded systems. Teaching encompasses advanced courses in Software Engineering, IT Security, Ethical Hacking, and Competitive Programming. Thesis supervision occurs in research areas like NLP-based requirements analysis, refactorings for security languages (Jif), and model checking for Statecharts. Industrial collaborations facilitate project/bachelor theses with real-world security applications. Research trends from publications show consistent focus on bridging formal methods with industrial software development. Dominant disciplines include Software Engineering (72% of works) and Formal Verification (58%), with emerging subfields like NLP-assisted requirements engineering (2019) and automotive security frameworks. Keyword analysis reveals sustained emphasis on verification (100% of works), security (80%), and automotive applications (40%). Administrative contributions include leadership in the combined Electrical Engineering bachelor program and active participation in university governance through department councils. Tools developed in his research (e.g., Delta Analyzer, R2BC) are integrated into curricula using ReqView, Matlab/Simulink, and Enterprise Architect for systematic requirement engineering and UML modeling.

Andreas Dellnitzمشاهده پروفایل

استاد

• Operations Research
• Computational Social Sciences
• Multi-criteria Optimization
• +۴ مورد دیگر

Prof. Dr. Andreas Dellnitz is a Professor of Quantitative Methods at Leibniz University of Applied Sciences, specializing in Operations Research and Computational Social Sciences. He also serves as Head of the Sustainable and Digital Transformation program and has been Vice President for Research since 2025. Education Dr. Dellnitz holds the following academic qualifications: Master of Science (Business Information Systems), FernUniversität in Hagen (2019) Doctor of Economics (summa cum laude), FernUniversität in Hagen (2015) Diploma in Economics (honors), Ruhr University Bochum (2010) Research Interests Dr. Dellnitz's research centers on multi-criteria optimization and (eco-)efficiency analysis , with applications in sustainability. His methodological focus includes linear and combinatorial optimization, algorithmic geometry, and entropy-driven analytics for social and power networks. He investigates sustainability-oriented production planning, energy systems, and social network structures. Publication Trends His recent work (2021-2025) integrates Data Envelopment Analysis (DEA) with machine learning for cost estimation and eco-efficiency assessment. Key applications include sustainable production planning under energy pricing schemes, gas-to-power demand response, and battery storage systems. His research bridges theoretical operations research with industrial sustainability challenges. Scientific Awards No scientific awards were mentioned in the available information. Grants and Advising Dr. Dellnitz has led third-party funded projects such as MaXFab I (2016-2018) and MaXFab II (2019-2021) on energy-flexible factories. He supports student projects and participates in study committees, emphasizing practical applications of operations research in business and sustainability.

Yves Ledruمشاهده پروفایل

استاد

• Software Engineering
• Formal Methods
• Specification and Modeling
• +۵ مورد دیگر

Yves Ledru is a Professor at UFR IM2AG of Université Grenoble Alpes (formerly Université Joseph Fourier), where he also serves as Deputy Director. He is a member of the Laboratoire d'Informatique de Grenoble (LIG) and heads the VASCO research team. Additionally, he serves on the bureau of the GDR GPL national research group of the CNRS. Professor Ledru's research focuses on Software Engineering and Formal Methods. His primary interests include Specification and Modeling, Software Architecture, Testing, and the application of formal specification languages such as JML, VDM, and Z Notation. His team has developed several tools including RoZ (for integrating UML and Z specifications), B4MSecure, Tobias (for combinatorial testing), and ParTraP. His recent research projects include ANR Philae (2018-2022), ANR MODMED (2015-2019), and NExTRegio project of IRT Railenium (2015-2019). Professor Ledru has been actively involved in the academic community, serving on program committees for numerous conferences including Crisis 2024, MEDI 2023, and RSSRail 2023. He was a member of the steering committee of the ASE conference from 1997 to 2013, serving as chair from 2001 to 2007. His publication record shows a consistent focus on bridging formal methods with practical software engineering applications, particularly in specification languages and testing methodologies. He has supervised twelve PhD students to completion and currently supervises Alexandre Monnier. His former administrative responsibilities include leading the ISLE research cluster of the Rhône-Alpes Region (2007-2011) and serving as scientific responsible for the ARC6: Technologies de l'Information et de la Communication (2011-2017).

Wing-Kwong Chanمشاهده پروفایل

دانشیار

• Software Engineering
• Deep Learning
• Blockchain Systems
• +۴ مورد دیگر

Wing-Kwong Chan is an Associate Professor in the Department of Computer Science at City University of Hong Kong. With a background that includes industry experience as a software engineer, Dr. Chan returned to academia and has established himself as a leading researcher in software engineering with a focus on emerging technologies. Dr. Chan received his BEng, MPhil, and PhD all from The University of Hong Kong. His academic journey began with a hardware-oriented Computer Engineering degree before shifting to software engineering for his graduate studies. His research interests center on software engineering, particularly the technical aspects interfacing with machine learning, blockchain, and GPU technologies. He addresses challenges in program analysis and concurrency, with recent work focusing on deep learning model verification and robustness. His publications span top venues including TOSEM, TSE, ICSE, ESEC/FSE, and ASE. Dr. Chan's recent publications demonstrate a strong trend toward integrating software engineering principles with deep learning systems, particularly in verification, testing, and robustness of AI models. His work bridges theoretical software engineering concepts with practical applications in emerging technologies. Best Paper Award from COMPSAC'04 Best Paper Award from COMPSAC'08 Best Paper Award from COMPSAC'10 Best Paper Award from QSIC'11 Best Paper Award from QRS'16 Best Paper Award from ISET'18 CityU President's Award 2017 Dr. Chan has successfully advised numerous PhD and MPhil students, with alumni dating back to 2006. He has secured substantial research funding through multiple Hong Kong Research Grants Council projects, ITF grants, and international collaborations. His current research focuses on patch robustness certification for deep learning models, reflecting his ongoing commitment to advancing software engineering practices for emerging technologies. As Program Leader for the MSc in E-Commerce program from the CS Department, Dr. Chan also contributes significantly to academic administration and curriculum development at City University of Hong Kong.

Marianne Huchardمشاهده پروفایل

استاد

• Formal Concept Analysis
• Software Engineering
• Model-Driven Engineering
• +۳ مورد دیگر

Marianne Huchard is Full Professor of Computer Science at the University of Montpellier, Faculty of Sciences since 2004, serving as Director of LIRMM (Laboratory of Informatics, Robotics and Microelectronics at Montpellier) and head of its Computer Science Department. She also participates in the human resources committee of the MIPS scientific department. She earned her PhD in Computer Science in 1992 researching algorithmic aspects of multiple inheritance in object-oriented programming languages. Her primary research domains are Formal Concept Analysis (theoretical and applied, including Relational Concept Analysis) and Software Engineering (model-driven engineering, component-based development, and software product line migration), with recent work integrating Large Language Models for innovative solutions. Analysis of her 2024-2025 publications reveals a strong interdisciplinary trend: Relational Concept Analysis enhanced by LLMs is being applied to software engineering challenges like user-story generation, class model restructuring, and product line migration, demonstrating significant methodological innovation. Scientific awards: None documented in provided sources. She actively supervises doctoral research: Thomas Georges (defended January 2023): 'Agile Engineering of Software Product Lines for Agricultural Decision Support' Austin Waffo-Kouhoué (defended November 2024): 'Web Accessibility for People with Visual Impairments' Her research is supported by projects including RCAviz (funded by #DigitAg), FCA4J toolkit development, and Web Iris accessibility extension. As leader of the MAREL team (Models And Reuse Engineering, Languages) at LIRMM, she drives research at the formal methods/software engineering intersection and co-created Montpellier's Master's program in Software Engineering.

• Artificial Intelligence
• Digital Engineering
• Cybernetics
• +۵ مورد دیگر

Prof. Dr.-Ing. Tobias Miunske serves as Professor of Artificial Intelligence and Digitalization in Mechanical Engineering at Ravensburg-Weingarten University of Applied Sciences (RWU) since 2025 within the Faculty of Mechanical Engineering. His academic foundation includes: 2010-2015: Technical Cybernetics studies at University of Stuttgart 2020: PhD from University of Stuttgart with dissertation "A Scenario-Adaptive Motion Algorithm for the Longitudinal Movement of a Fully Mobile Driving Simulator" Research expertise spans AI-driven motion cueing algorithms, intelligent trajectory generation for automated driving, and real-time simulation systems. His work bridges mechanical engineering with digital platforms, evidenced by industry projects at Porsche Development Center Weissach (2014-2015 real-time visualization systems) and Harro Höfliger (2020-2025 AI platform development for pharmaceutical engineering). Professional trajectory shows progression from University of Stuttgart research assistant (2015-2020, Automotive Mechatronics Chair) to current academic leadership. No scientific awards or student advisement details are documented in available sources. Laboratory affiliations focus on driving simulator technology and AI-integrated mechanical systems development.

Gerhard Wannerمشاهده پروفایل

استاد

• Software Engineering
• Software Architecture
• Green IT
• +۲ مورد دیگر

Gerhard Wanner serves as Professor of Computer Science at Stuttgart University of Applied Sciences (HFT Stuttgart) within the Faculty of Surveying, Computer Science, and Mathematics since 2002. He leads the Distributed Information Systems Laboratory (LVIS) and previously directed the university's Information Center (2012-2023) and Computer Center (2004-2012), while maintaining freelance management consultancy work. His research focuses on sustainable software engineering, examining how architectural decisions impact CO2 emissions through green IT practices, enterprise architecture management, and software modeling. Wanner investigates resource-efficient development methodologies and digital transformation in educational contexts, emphasizing software architects' critical role in climate crisis mitigation through architectural design choices and quality models. Recent publications demonstrate a clear trajectory toward sustainability, with 2023-2024 works establishing frameworks for measuring CO2 efficiency in software systems, developing sustainability-focused architecture curricula, and creating resource-optimized development pathways. His scholarship bridges theoretical architecture principles with practical environmental impact reduction strategies. Wanner actively contributes to professional communities as a member of the German Informatics Society (GI), Association for Computing Machinery (ACM), Java User Group Stuttgart (JUGS), and International Software Architecture Qualification Board (iSAQB), where he serves as deputy head of the Audit working group. The Distributed Information Systems Laboratory (LVIS) under his direction explores green IT solutions, distributed systems architectures, and cross-platform service integration, notably demonstrated through the HFT-App project providing unified university service access.

Hanna Göbelمشاهده پروفایل

استاد

• Urban Studies
• Urban Anthropology
• Cultural Sociology
• +۷ مورد دیگر

Prof. Dr. Hanna Göbel is Professor and Head of the Methods of Urban Practice research area at HafenCity University Hamburg since 2025. Previously, she served as Substitute Professor for Urban Anthropology and Ethnographic Methods at HCU from 2022 to 2024. Her academic journey includes post-doctoral research at the University of Hamburg (2013-2021), doctoral studies at the University of Konstanz (2008-2012), and a visiting scholarship at the University of Edinburgh (2010-2011). Prof. Göbel's research centers on urban studies, cultural sociology, the anthropology of the body, science and technology studies, and ethnographic methods. Her work develops methodological approaches for researching engaged urban practice in the context of ecological, social, and cultural crises. Current research projects explore physical limitations and digital technologies, aesthetic diversity in society and design, and the sociology of public space at the intersection of urban environments and digital platforms. She integrates digital methods into cultural studies-based urban research and investigates performative approaches to urban futures through collaborations with civil society actors. Prof. Göbel's publication record demonstrates consistent scholarly output across multiple formats, with recent work focusing on urban atmospheres, sensory urbanism, and the material politics of urban design. Her research shows a clear trajectory from early work on urban ruins and atmospheric composition to contemporary investigations of digital publics and performative urban practices. She has published extensively in both German and English, with contributions to edited volumes, handbook chapters, and peer-reviewed journals in urban studies, sociology, and cultural theory. Academy Schloss Solitude Scholarship (2011) Summa Cum Laude for doctoral dissertation (2012) As an educator, Prof. Göbel teaches courses in the Culture-Digitalization-Metropolis bachelor program and Urban Design master program, including Urban Laboratory: Future Practices of the Urban, Methods of Urban Analysis, and History and Theory of Digitalization. Her teaching emphasizes qualitative methods and future-oriented approaches to urban practice. The Methods of Urban Practice research area provides students with opportunities to engage in research on urban atmospheres, digital methods, and performative urban approaches through coursework, research projects, and potential collaborations with civil society organizations.

• Machine Learning
• Object-Oriented Programming
• Distributed Systems

Prof. Dr. Jörg Schäfer is a faculty member at Frankfurt University of Applied Sciences, where he teaches and conducts research in the areas of machine learning, object-oriented programming, and distributed systems. He is the head of the Computer Science (Bachelor) program and teaches courses in these areas. His research interests include machine learning, object-oriented programming, and distributed systems. He is available for student consultations in his office in Building 1, Room 217, and can be reached via email at jschaefer@fra-uas.de. For more information on his courses and research, visit his homepage at https://joerg-schaefer.biz/academics/.

Shing-Chi Cheungمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Software Testing
• +۷ مورد دیگر

Shing-Chi Cheung is a Professor of Computer Science and Engineering at the Hong Kong University of Science and Technology (HKUST), School of Engineering. He founded the CASTLE research group and co-founded the International Workshop on Automation of Software Testing (AST) in 2006. His leadership includes serving as General Chair of FSE 2014 and chairing multiple APSEC conferences. His research focuses on software quality enhancement through program analysis, testing, debugging, and AI techniques, targeting Android apps, open-source software, deep learning systems, smart contracts, and spreadsheets. Current projects include metamorphic testing frameworks, binary analysis tools, and vulnerability detection systems for emerging technologies. His publication portfolio demonstrates consistent contributions to software engineering since 2016, with recent work emphasizing AI-integrated testing methodologies, smart contract security, and deep learning system reliability. Key trends show increasing focus on cross-language analysis, data visualization quality, and compiler-level verification for modern software stacks. Distinguished Member of the ACM Fellow of the British Computer Society Editorial board member: Science of Computer Programming (SCP), Journal of Computer Science and Technology (JCST) Former editorial board member: IEEE Transactions on Software Engineering (2006-2009), Information and Software Technology (2012-2015) Four patents in China and the United States Cheung actively mentors through the CASTLE research group and serves on program committees for major conferences including ICSE, ESEC/FSE, and ISSTA. His work bridges academic research with practical applications through industry collaborations and tool development. He has contributed to numerous workshops and symposia as steering committee member and program chair.