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

Edwina Schadeمشاهده پروفایل

پژوهشگر

• Educational Sciences
• Adult Education
• Second-chance Education
• +۵ مورد دیگر

Dr. Edwina Schade is a Researcher and Teaching Coordinator at the Institute of Educational Science within the Faculty of Philosophy at Leibniz University Hannover. She has held various academic positions since 2017, including Research Assistant, Lecturer, and Teaching Coordinator since December 2021, demonstrating her ongoing commitment to educational research and pedagogy. Her educational background includes a Doctorate in Educational Sciences (2018-2023), a Master's degree in secondary school teaching with Mathematics and Philosophy (2015-2017), and an Interdisciplinary Bachelor's degree with Mathematics and Philosophy (2011-2015), all completed at Leibniz University Hannover. Dr. Schade's research program centers on understanding educational dynamics through multiple lenses. She investigates how personal relationships influence educational decisions, particularly in adult and second-chance education contexts. Her work on stereotype threat examines how Turkish-origin pupils experience learning situations and how teacher encouragement can mitigate negative effects. She employs both qualitative and quantitative methods, with a particular expertise in casuistic teacher training approaches and objective hermeneutics. Her publication record shows consistent development of research themes across multiple venues. The 2024 dissertation explores the tension between individual educational aspirations and couple relationships in second-chance education, building on her earlier work examining family dynamics. Her conference presentations since 2021 demonstrate increasing sophistication in measuring and addressing stereotype threat in educational settings, with a growing focus on practical interventions for teachers. Member of the German Sociological Association (Section Ageing and Society) since May 2019 Member of the Association for Objective Hermeneutics since November 2018 Associate Member of the German Educational Research Association (Sections Adult Education and General Education) since August 2018 Member of the workgroup of casuistry since November 2016 As Teaching Coordinator since 2021 and a lecturer since 2017, Dr. Schade has taught across multiple degree programs including Master's in secondary school teaching (Mathematics & Philosophy), Master's in Educational Sciences, Interdisciplinary Bachelor's degree, and Bachelor's in Special Needs Education. Her research projects have included coordinating a study on stereotype threat in vocabulary learning among Turkish-origin pupils since February 2020. She contributes to editorial activities for both "Sozialer Sinn" (Journal for Hermeneutic Social Research) and "falltiefen" (contributions from casuistic teacher training), demonstrating her commitment to both theoretical and practical aspects of educational science.

Mickaël LAURENTمشاهده پروفایل

پژوهشگر

• Dynamic Programming Languages
• Type Systems
• Set-Theoretic Types
• +۹ مورد دیگر

Mickaël LAURENT is a French researcher in computer science currently working at Charles University with Jan Vitek. He completed his PhD in 2024 at Université Paris-Cité under Giuseppe Castagna and Kim Nguyen, focusing on polymorphic type inference for dynamic languages. His research combines parametric polymorphism, ad-hoc polymorphism, and subtyping in set-theoretic type systems. Affiliation: Charles University (Prague, Czech Republic) Previous Affiliation: Université Paris-Cité (IRIF & LMF) Research Interests span dynamic language type systems, occurrence typing, set-theoretic types, and traceability analysis. His work integrates union elimination, intersection type introduction, and type narrowing techniques to create sound and terminating type reconstruction algorithms. Scientific Awards : 1st Place, 2025 Thesis Award (GDR GPL) Teaching Experience includes courses on network programming (TCP/UDP sockets), binary machine principles (IEEE-754, cryptography), object-oriented programming in Java, web development (HTML/CSS/PHP), and Python programming for mathematics students. He also contributes to outreach programs like Fête de la Science. Projects include a type checker prototype for dynamic languages, the Modular Set-Theoretic Types Library (SSTT), Arbitrary Code Execution tools for Pokémon games, and a level editor for Kuru Kuru Kururin. His work bridges academic research with practical reverse engineering challenges.

Xavier Rivalمشاهده پروفایل

استاد

• Abstract interpretation
• Static analysis
• Shape analysis
• +۴ مورد دیگر

Xavier Rival serves as Research Director at INRIA Paris and Director of the Computer Science Department at École Normale Supérieure (ENS) in Paris, which is part of PSL University. He also holds the position of Adjunct Professor at ENS/PSL. Previously from 2012 to 2024, he led the ANTIQUE (ANalyse staTIQUE) research group at INRIA Paris located at ENS Paris. His research focuses on abstract interpretation and software verification through static analysis, with particular emphasis on symbolic abstractions including trace partitioning abstraction, shape analysis, separation logic, and memory abstract domains. He has been instrumental in the design, implementation, and industrial transfer of the Astrée analyzer, a static analysis tool capable of verifying safety properties for industrial-scale safety-critical software. Currently, he leads the MemCAD ERC project aimed at developing a library of abstract domains for describing complex memory states. Rival's publication record demonstrates consistent contributions to the field of programming languages and static analysis, with his most recent work exploring probabilistic program verification, shape analysis for complex data structures, and applications to embedded systems. His research bridges theoretical foundations with practical applications, particularly in safety-critical domains. ERC Starting Grant recipient (MemCAD project) Author of foundational work on Astrée static analyzer Co-author of textbook on Introduction to Static Analysis published by MIT Press Active program committee member for major conferences including POPL, PLDI, and SAS Rival has supervised numerous PhD students throughout his career, including Tie Cheng (now CEO of MatrixLead), Arlen Cox, Huisong Li, and Jiangchao Liu. His laboratory has received research funding from multiple sources including ANR projects (VeriAMOS, VerAsCo, AnaStaSec) and the ERC Starting Grant for MemCAD. The MemCAD project has led to the development of analysis tools applicable to spreadsheet applications through the startup MatrixLead, where Rival serves as Scientific Adviser.

Annie Liuمشاهده پروفایل

استاد

• Programming Languages
• Algorithms
• Systematic Design and Optimization
• +۶ مورد دیگر

Annie Liu serves as Professor of Computer Science at Stony Brook University, holding a PhD from Cornell University alongside prior degrees from Peking and Tsinghua Universities. Her research centers on systematic methods for language and algorithm design, with emphasis on optimization frameworks applicable across critical computing domains. Her educational credentials include: BS in Computer Science from Peking University MEng in Computer Science from Tsinghua University PhD in Computer Science from Cornell University Liu’s research program investigates systematic analysis and transformation techniques for design optimization, particularly through incrementalization—the discrete counterpart of calculus differentiation. Her work spans optimizing compilers , interactive environments , database systems , distributed computing , and security , with projects addressing modeling, verification, code generation, and testing for real-time systems, semantic Web, and big data applications. The Design and Analysis Research Laboratory she directs bridges theoretical foundations with practical implementations. Analysis of her 2012-2025 publications reveals an evolution from foundational distributed algorithm design toward unifying frameworks for solver semantics and assurance. Key trends include increasing integration of incremental computation principles across compiler optimizations, database queries, and distributed system reliability. Her scientific recognition includes: State University of New York Chancellor’s Award for Excellence in Scholarship and Creative Activities Professor Liu has delivered over 100 international talks and maintains active conference leadership, serving on program committees for POPL, PEPM, and SPLASH through 2026. While specific grant details aren’t provided, her sustained involvement in high-impact venues like PADL and LPOP demonstrates significant research influence. She directs the Design and Analysis Research Laboratory where interdisciplinary teams advance optimization methodologies for emerging computational challenges.

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.

Vlastimil Dortمشاهده پروفایل

پژوهشگر

• Computer Science
• Programming Languages
• Software Verification
• +۲ مورد دیگر

Vlastimil Dort is a researcher affiliated with Charles University, specializing in programming languages and software verification. He has actively contributed to academic conferences like ECOOP, ISSTA, and SPLASH through committee roles and technical paper authorships. His research focuses on formal methods in programming, particularly around type systems, runtime verification, and language design. This includes work on array indexing safety, reference immutability, and pure methods for the DOT calculus. He has served in key roles such as Committee Member in Artifact Evaluation and Extended Review Committees at ECOOP, demonstrating engagement in academic governance and peer review processes.

Stefan Kuhlinsمشاهده پروفایل

استاد

• Business Informatics
• Information Technology
• E-commerce
• +۶ مورد دیگر

Prof. Dr. Stefan Kuhlins is a Professor of Business Informatics at Heilbronn University's Faculty of Economics. He specializes in Business Engineering Logistics and previously worked at the universities of Mannheim and Regensburg. His research focuses on E-commerce, XML technologies, and enterprise software integration. He also operates as a freelance business information technology specialist. Current: Professor at Heilbronn University (Faculty of Economics) Previous: University of Mannheim, University of Regensburg Specialization: Business Engineering Logistics (formerly Technical Logistics Management) Freelance: E-commerce and software projects Education : Graduate in Business Information Technology Research Interests : His work spans business informatics, information technology, and programming with particular emphasis on database systems, XML standards, and Robotic Process Automation (RPA). He has developed frameworks for enterprise application integration and explored wireless usability metrics through Java software agents. His publications reflect a strong focus on E-commerce systems, XML schema design, and software development methodologies. Publications Trends : His scholarly output from 1993-2018 covers XML technologies, Java applications in enterprise systems, simulation modeling for logistics, and web service integration. The articles demonstrate consistent engagement with software engineering challenges in E-commerce and enterprise contexts. Technical Leadership : Since 2014, he has served as Head of the Internship Office for Business Engineering Logistics (BEL) and Technical Logistics Management (TLM) programs at Heilbronn University. This administrative role complements his technical expertise in systems design. Programming Expertise : With deep knowledge of C++ standard libraries and Java technologies, he has contributed to areas like garbage collection, CORBA optimization, and multithreaded frameworks. His technical work spans from core programming challenges to enterprise-scale integration solutions.

Gert Heinrichمشاهده پروفایل

استاد

• IT Risk Management
• IT Auditing
• Software System Development
• +۵ مورد دیگر

Prof. Dr. Gert Heinrich is a mathematician and professor currently serving as Vice Rector and Dean of the Faculty of Economics at the Baden-Württemberg Cooperative State University Villingen-Schwenningen. His academic career spans research in reliability theory, IT risk management, and mathematical education. University: Baden-Württemberg Cooperative State University Role: Vice Rector and Dean of Economics Faculty Education: Diplom in Mathematics with Physics minor (University of Stuttgart, 1985); Doctorate in Mathematics (University of Hohenheim, 1993) His research focuses on IT risk management , internal auditing , and object-oriented software development . He has extensively published on reliability theory, control systems, and mathematical didactics. Recent publications (2015–2020) explore multi-cloud environments, social media auditing, and data center operations. Earlier works (1992–2005) concentrate on reliability theory, bivariate distributions, and mathematical didactics.

Loes van Damمشاهده پروفایل

استاد

• Sensorimotor Control
• Multisensory Perception
• Goal-Oriented Behavior
• +۵ مورد دیگر

Loes van Dam is a Professor at Darmstadt University of Technology , where she leads the Sensorimotor Control and Learning Group at the Center for Cognitive Science. Her research focuses on understanding how sensory systems integrate information for perception and action planning in both virtual and real-world environments, with applications to multisensory processing and human-computer interaction. Key research themes include: Multisensory perception and integration Goal-oriented behavior in natural and virtual environments Avatar/tool ownership and agency in VR Sensory processing for movement planning Cognitive processing in object interaction She teaches courses in cognitive science, including topics in multisensory perception and Python programming. For collaboration or inquiries, she can be reached at loes.van_dam@tu-darmstadt.de.

• Human-Computer Interaction
• Crowdsourcing
• Accessibility
• +۴ مورد دیگر

Walter S. Lasecki is an Associate Professor at the University of Michigan's School of Information, where he leads research at the intersection of Human-Computer Interaction, Crowdsourcing, and Artificial Intelligence. His work focuses on creating systems that integrate human and machine intelligence to solve complex problems in real-time. Dr. Lasecki's research interests center on human-AI collaboration, particularly in developing crowd-powered systems that enhance accessibility, improve programming education, and create more effective human-computer interfaces. His work explores how to effectively integrate human intelligence with AI systems, focusing on real-time applications where speed and accuracy are critical. His research has significant implications for accessibility technologies, educational tools, and conversational AI systems. He has pioneered approaches to real-time captioning, crowd-powered interfaces, and human-in-the-loop machine learning systems that adapt to user needs. Analysis of his recent publications reveals a strong focus on multi-agent conversational AI, human-in-the-loop systems for pose estimation and object recognition, and innovative approaches to programming education through live streaming. His research consistently explores the intersection of human computation and artificial intelligence, with particular attention to how crowd workers can complement and enhance AI capabilities. His work demonstrates a trajectory from foundational crowd-powered systems to more sophisticated integrations of human and machine intelligence in complex tasks. Dr. Lasecki has collaborated extensively with researchers across multiple institutions, particularly with Jeffrey P. Bigham (earlier in his career) and more recently with colleagues at the University of Michigan including Juho Kim. His research has been supported by substantial grants that have enabled the development of systems like Scribe for real-time captioning and Codeon for on-demand programming assistance. He has mentored numerous graduate students who have gone on to contribute to the fields of HCI and AI. His laboratory focuses on developing practical applications of crowd-AI hybrid systems, with particular emphasis on creating tools that can be deployed in real-world settings. Current projects explore how to make conversational AI more robust through multi-agent approaches, improve programming education at scale, and create more accessible interfaces for diverse user populations.

Dietrich Bolesمشاهده پروفایل

پژوهشگر

• Programming Education
• Multimedia Applications
• Internet Technologies
• +۳ مورد دیگر

Dietrich Boles is a Researcher at the Department of Computing Science at the Carl von Ossietzky University of Oldenburg. He holds a doctoral degree (2002) and a Diplom in Computer Science (1994) from the University of Oldenburg. His research focuses on programming education, multimedia applications, and e-learning technologies. Notably, he developed the Java-Hamster-Model, a widely used educational tool for introductory programming in German-speaking regions. Education: PhD in Computer Science (2002), University of Oldenburg Diplom in Computer Science (1994), University of Oldenburg Apprenticeship as Mathematical-Technical Assistant (1983–1985) Research interests include programming pedagogy, interactive educational tools, and the application of multimedia in learning. His work bridges theoretical computer science with practical educational systems, emphasizing playful learning approaches. Recent projects involve advancing programming education tools and supervising student competitions like informatiCup and NWERC. He has held leadership roles in academic committees and contributes to open-source initiatives. Awards include the 'Bremen Engineering Prize' for his diploma thesis (1995) and recognition in programming competitions. He actively participates in academic program committees and organizes workshops on multimedia and open-source systems.

Thomas Rakowمشاهده پروفایل

استاد

• Databases
• E-Business
• Media Informatics
• +۳ مورد دیگر

Prof. Dr.-Ing. Thomas Rakow is a Professor in the Media Department at Düsseldorf University of Applied Sciences. He specializes in databases, e-business, and media informatics. He co-coordinates the B.Sc. Media Informatics program and serves as the alumni representative for the Faculty of Media. His roles include advising research programs and collaborating with companies on website development and project management. Education: Diploma in Computer Science from TU Braunschweig, Doctorate in Engineering from TU Darmstadt (thesis: 'Semantic Concurrency Control in Object-Oriented Database Systems'). Research focuses on database systems, data analysis, and learning management. He led projects like the Ministry-funded OER development for database systems and the LINK journal portal. A member of the German Informatics Society (GI), he contributed to curriculum standards for media informatics and authored the 'Databases on the Web' chapter in Taschenbuch Datenbanken . He oversees modules such as Informatics Projects 1 & 2 and the Bachelor's Thesis/Colloquium. Previously, he led projects at Springer and the Fraunhofer Institute, specializing in object-oriented and multimedia databases.

Christian Gerthمشاهده پروفایل

استاد

• Business Informatics
• Software Engineering
• Model-Based Software Development
• +۳ مورد دیگر

Prof. Dr. Christian Gerth is a Professor of Business Informatics and Software Engineering at Osnabrück University of Applied Sciences, affiliated with the Faculty of Economics and Social Sciences. His expertise spans model-based software development, business process management, and adaptive systems. He holds a PhD in Natural Sciences from the University of Paderborn and a Diplom-Informatiker degree. Educational background: Dr. rer. nat. (2012, University of Paderborn), Diplom-Informatiker & B.Sc. (2007, University of Paderborn), Bankkaufmann apprenticeship (2002, Commerzbank AG). Research interests focus on software engineering methodologies, business process modeling, model-driven engineering, and cross-device systems. He has contributed to frameworks like CrossEcore and XDAI-A, addressing challenges in process model versioning, blockchain applications in energy markets, and adaptive service composition. Teaching includes courses on databases, object-oriented programming, project management, and software engineering for business students. He actively participates in academic committees for conferences like BPM and CVSM, and reviews for journals such as Software and Systems Modeling and IEEE Transactions on Software Engineering. Key contributions include patents on process model merging and conflict resolution, and research on service-oriented architectures and On-The-Fly computing. His work bridges academic research with practical software solutions for industry challenges.

Stefan Guerickeمشاهده پروفایل

استاد

• Data Science
• Business Intelligence
• Operations Research
• +۳ مورد دیگر

Stefan Guericke is a Professor of Business Informatics at the University of Applied Sciences Osnabrück since 2022, specializing in Data Science and Business Intelligence. He holds a PhD in Decision Support & Operations Research from the University of Paderborn (2014) and a degree in Business Informatics from the University of Paderborn and Beijing Institute of Technology. His professional experience includes roles at A.P. Møller-Mærsk, where he served as Senior Engineering Manager and Senior Data Scientist, focusing on logistics optimization and data-driven solutions. Research interests span logistics network design, mathematical optimization, containerization problems, and the application of advanced analytics in microservices architectures. He has contributed to solving complex problems in liner shipping, cargo allocation, and fleet deployment through both heuristic and exact methods. His work bridges academic research and industrial applications, emphasizing practical solutions for supply chain challenges. Teaching responsibilities include courses on Data Science fundamentals, Deep Learning, Operations Research, and Statistics. He is affiliated with the Faculty of Management, Culture, and Technology at HSO, contributing to interdisciplinary projects and student mentoring.

• Formal Verification
• Concurrent Systems
• Real-Time Systems
• +۳ مورد دیگر

Ernst-Rüdiger Olderog is a full professor of computer science at the University of Oldenburg, affiliated with School II (Department of Computing Science). He holds a diploma in informatics (1979) and a Ph.D. in computer science (1981) from the University of Kiel. He conducted research at Oxford University (1981–1983) and obtained his habilitation in computer science (1989). He has held leadership roles, including the Leibniz Award (1994–1999), membership in Academia Europaea (since 2012), and directorship of the DFG Research Training Group SCARE. His research focuses on formal verification, concurrent and distributed systems, real-time systems, and Petri nets. Key contributions include books on verification (e.g., Verification of Sequential and Concurrent Programs ), real-time systems, and Petri nets. He has pioneered work on Petri games for distributed system synthesis and formal methods for traffic systems. His roles include Dean of Faculty II (2017–2019), editor of Acta Informatica , and chair of IFIP Working Group 2.2. His awards include the Leibniz Prize and membership in prestigious academic societies. His research combines theoretical foundations with practical applications in safety-critical systems, automated verification, and hybrid models.