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

• Software Development
• Programming Concepts
• Software Quality
• +۵ مورد دیگر

Prof. Georg Schied serves as Professor of Programming and Software Technology in the Faculty of Computer Science at Technical University of Applied Sciences Ulm (THU). He holds key administrative roles including Chair of the Bachelor INF/CTS/ICS/DSM Examination Board, Chair of the Master ISY Examination Board, and Deputy Head of the Institute of Computer Science (IFI). Active since joining THU in 2002, he maintains consultation hours by appointment and teaches core computer science subjects. His academic foundation includes: Computer Science studies at University of Erlangen-Nuremberg (1982-1988) Research focuses on software engineering fundamentals with emphasis on programming language implementation, software quality assurance, and theoretical computer science applications. His work bridges compiler construction, domain-specific language design, and program analysis techniques, directly informing his teaching in algorithms, data structures, and software engineering principles. Current investigations prioritize practical applications of theoretical frameworks in industrial software development contexts. Prof. Schied supervises final theses on software development methodologies, quality assurance systems, and programming language concepts, offering both predefined internal topics and custom proposals. While specific grant details aren't documented, his 40+ year career spans academic research and industrial practice including SAP AG's ABAP development division. As Deputy Head of IFI, he shapes departmental strategy and curriculum development. Additional engagements include membership in the German Informatics Society (GI) since 1990, Association for Computing Machinery (ACM) since 1996, and active participation in the university orchestra as contact person.

• clinical information systems
• HL7 FHIR
• healthcare communication systems
• +۳ مورد دیگر

Bernd Vögel serves as a Professor at Ulm University of Applied Sciences (THU) where he holds the position of Dean of Studies for Data Science in Medicine (DSM). Based in Ulm, Germany, his office is located in Room Q253 at Albert-Einstein-Allee 53-55, with direct contact available via phone (+49 731 96537-637) and email. Professor Vögel specializes in clinical information systems with deep expertise in HL7 FHIR standards and healthcare communication infrastructure. His research bridges medical practice with data science, focusing on how standardized information exchange can transform healthcare delivery systems and improve patient outcomes through better data interoperability. As an educator, he teaches foundational courses including Introduction to Programming, Basics of Documentation, Medical Information Systems, and Introduction to ABAP programming (SAP's internal programming language). His curriculum emphasizes practical technical skills for healthcare information management. Currently serving as project manager for THU's Erasmus+ initiative, Professor Vögel demonstrates strong engagement in international educational collaborations and cross-border academic partnerships that enhance the institution's global reach in medical data science education.

Nanine Lillaمشاهده پروفایل

پژوهشگر

• Empirical School and Teaching Research
• Multilingualism in Education
• Teacher Professionalism
• +۷ مورد دیگر

Dr. Nanine Lilla is a Scientific Associate in the Department of Education and Psychology at Freie Universität Berlin, specializing in General Primary School Pedagogy. She is co-head of the subproject at Freie Universität Berlin within the BMBF-funded collaborative project GeLeGanz, focusing on educational success and social participation of disadvantaged students with migration backgrounds in extended education settings. Her academic work is deeply rooted in empirical research on multilingualism, teacher professionalism, and the effects of all-day schooling. PhD in Educational Science, Freie Universität Berlin (2017) Diplom in Educational Science, Julius-Maximilians-Universität Würzburg (2011) Studies in Educational Science with focus on adult education and youth education, at Augsburg, Würzburg, and Umeå, Sweden (2005–2011) Her research interests center on multilingualism as a resource in schools , teacher professionalism in diverse classrooms , the impact of all-day schooling , and empirical school research . She explores how acculturation processes influence academic performance and well-being among migrant students, using advanced quantitative methods such as latent profile analysis. Her work bridges psychology and education, emphasizing equity and inclusion. The recent publications highlight a strong focus on acculturation profiles and their relationship with academic outcomes, particularly reading competence and educational aspirations. There is a consistent emphasis on extended education (all-day schooling) as a potential compensatory mechanism for educational disadvantages. The research employs comparative and international perspectives, often analyzing large-scale datasets like NEPS. Key subfields include teacher beliefs, multilingualism, self-concept, and social-emotional development. ProFiL-Programm (2024/2025) Career Development Award 2022, Berlin University Alliance Bettina-Paetzold-Preis for outstanding teaching with gender studies focus (2017) FeRNet Mentoring-Programm (2017) Young Promising Researchers Travel Grant (2015) YGGDRASIL Mobility Grant (2013) Erasmus-Stipendium (2009) Dr. Lilla supervises Master's theses on topics such as heterogeneity in education, migrant students, multilingualism, and all-day schooling. She has been involved in significant third-party funded projects, including SenBJF's FlexGanz, BMBF's GeLeGanz, and DFG's acculturation impact study. She is an active member of academic self-governance, serving as a representative in the faculty council and doctoral committee at Freie Universität Berlin. She has also contributed to academic discourse through organizing symposia at international conferences like WERA-IRN and EARLI, and through editorial work on special issues and books on extended education. She is affiliated with research teams at Freie Universität Berlin and collaborates with institutions such as the German Children and Youth Foundation (DKJS) and the University of Melbourne. Her work emphasizes interdisciplinary and international collaboration, particularly in the field of extended education and acculturation research.

• Cold War History
• South Asian Studies
• Afro-Asian Relations
• +۴ مورد دیگر

Nico Putz is a Research Fellow at the Leibniz Centre for Modern Oriental Studies (ZMO) in Berlin, affiliated with the research program "State and Society". His individual project "Crafting Entanglements: Afro-Asian Pasts of the Global Cold War (CRAFTE)" investigates the lived experiences of Afro-Asian students in Cold War Germany, particularly from South Asia, analyzing their agency as translocal actors navigating institutional frameworks beyond East-West and North-South dichotomies. Education MA Modern South and Southeast Asian Studies, Humboldt-Universität zu Berlin B.A. Area Studies Asia/Africa, Humboldt-Universität zu Berlin Putz's research examines identity formation through multi-layered belonging (nation, region, ideology, religion, family) using diverse sources including Indian student magazines (1950s-1980s), Lok Sabha debate minutes, photo albums, letters, and archives from Bundesarchiv Berlin, Ajoy Bhavan Delhi, and P.C. Joshi Archive at JNU. His work reconstructs student trajectories from initial migration decisions through permanent settlement outcomes, emphasizing resource utilization within Cold War geopolitical structures. Languages German: Native speaker English: C1 Scientific Recognition Award from Berliner Wissenschaftliche Gesellschaft e.V. and Erhard Höpfner Foundation for Master's thesis on 1960s India and Naxalite movement networks Contact: Nico.Putz@zmo.de

• Programming Languages
• Formal Verification
• Rust Programming Language
• +۳ مورد دیگر

Ralf Jung serves as Assistant Professor at ETH Zürich where he leads the Programming Language Foundations Lab within the Institute for Programming Languages and Systems in the Department of Computer Science. Dr. Jung completed his PhD at MPI-SWS and Saarland University in Saarbrücken, Germany under advisor Derek Dreyer, followed by post-doctoral research with the PDOS group at MIT CSAIL. His academic journey reflects a strong foundation in programming language theory and systems research. His research centers on formal language foundations with dual focus areas: advancing the Rust programming language ecosystem and developing the Iris framework . Dr. Jung's work bridges theoretical computer science with practical systems development, aiming to create rigorous foundations for real-world programming languages while maintaining practical applicability. Currently recruiting post-doctoral researchers, Dr. Jung demonstrates active research expansion in programming language verification. His work on Miri (a tool for detecting Undefined Behavior in unsafe Rust) has become standard practice among unsafe Rust developers, while MiniRust represents his ongoing effort to create a precise specification for unsafe Rust that could eventually become official. PhD: MPI-SWS and Saarland University (advisor: Derek Dreyer) Post-doc: PDOS group at MIT CSAIL Current: Assistant Professor at ETH Zürich Outside academia, Dr. Jung maintains a strong commitment to digital privacy and freedom, operating his own server infrastructure and contributing to free software projects as documented on his personal website ralfj.de.

Thorsten Altenkirchمشاهده پروفایل

استاد

• Type Theory
• Homotopy Type Theory
• Constructive Logic
• +۶ مورد دیگر

Thorsten Altenkirch is a Professor at the School of Computer Science at the University of Nottingham. He jointly chairs the Functional Programming Laboratory with Graham Hutton and is actively involved in organizing the weekly FP lunch and FP seminar. His academic career spans decades of contributions to theoretical computer science, particularly in the foundations of programming languages and formal verification. Professor Altenkirch's research focuses on Type Theory, Homotopy Type Theory, Constructive Logic, Category Theory, Lambda Calculus, Quantum Computing, and Certified Correct Programs. His work bridges theoretical foundations with practical applications in programming language design and verification. He has been instrumental in developing formal systems that enable the creation of programs that are correct by construction, with significant contributions to the Epigram system and dependent type theory. His recent publications and talks demonstrate a consistent focus on advancing type theory, particularly Homotopy Type Theory and its applications. He explores connections between category theory and type theory, investigates higher-dimensional models, and develops practical applications of dependent types in programming. His work shows a clear trajectory from foundational theoretical work toward practical implementations in programming languages and verification tools. Professor Altenkirch has successfully secured multiple research grants, including significant funding from EPSRC and USAF for projects on dependent types and Homotopy Type Theory. His collaborative work spans institutions across the UK and internationally, reflecting the broad impact of his research. He has supervised numerous PhD students both past and present, including notable researchers like Andreas Abel, Wouter Swierstra, and Nicolai Kraus. His teaching responsibilities include Introduction to Formal Reasoning and Programming courses, where he applies his deep theoretical knowledge to practical computer science education. As co-chair of the Functional Programming Laboratory, Professor Altenkirch fosters a vibrant research community focused on advancing functional programming techniques, type systems, and formal methods in software development.

• Software Engineering
• Media Informatics
• Computer Science
• +۳ مورد دیگر

Prof. Dr.-Ing. Margit Becher serves as a Professor in the Department of Electrical and Information Technology at Hannover University of Applied Sciences and Arts. Her office is located in room 1A.0.08 at Ricklinger Stadtweg 120, 30459 Hannover, with telephone contact +49 511 9296 1212 and email margit.becher@hs-hannover.de. Her research and teaching expertise spans critical domains in applied computer science and digital media systems: Software Engineering methodologies and practices Media Informatics with focus on digital content systems Core Computer Science principles Web Technologies including XML architectures Electronic Media production frameworks Programming language applications Professor Becher's instructional portfolio includes foundational and specialized courses such as Software Engineering, Publishing Architectures, Introduction to XML, Media Informatics, Programming, Fundamentals of Computer Science, and Selected Questions of Electronic Media, demonstrating integrated expertise across theoretical and applied technology domains.

Delia Kesnerمشاهده پروفایل

استاد

• Programming languages
• Proof-assistants
• Lambda Calculus
• +۱۲ مورد دیگر

Delia Kesner is a Full Professor in Computer Science at UFR d'Informatique, Université Paris Cité, and a member of the Institut de Recherche en Informatique Fondamentale (IRIF), a joint CNRS unit. She holds significant leadership roles as Deputy Director of the École Doctorale 386 de Sciences Mathématiques de Paris Centre, Director (France) of the IRP SINFIN, and In charge of the ERC Unit at CNRS Informatics. She is a Senior Member of the Institut Universitaire de France (IUF) and a Corresponding Member of the Academy of Sciences of Torino, reflecting her high standing in the academic community. Her research is centered on the theoretical foundations of computation, with primary interests in programming languages, lambda calculus, type theory, proof theory, linear logic, and rewriting theory. Her work delves into specific areas such as evaluation strategies (call-by-need, call-by-push-value), intersection type theory, the Curry-Howard isomorphism, resource calculi, and explicit substitutions. This research provides deep insights into the semantics and behavior of programming languages and logical systems. The trends in her recent publications, which appear in top venues like Logical Methods in Computer Science (LMCS) and PACMPL, show a consistent focus on the interplay between logic and computation. Her work often involves developing fine-grained, quantitative models for lambda calculi, investigating inhabitation problems, creating strong bisimulations for classical calculi, and revisiting foundational systems like the Bang Calculus. A unifying theme is the use of type systems and resource-aware semantics to analyze and understand computational processes with precision. Senior Member of Institut Universitaire de France (IUF) Corresponding Member of the Academy of Sciences of Torino RAICES International Cooperation Award (2016) Delia Kesner has a distinguished record of mentoring, having advised numerous PhD students, including well-known researchers like Beniamino Accattoli, Pierre Vial, and Pablo Barenbaum. Her leadership extends to major collaborative research projects and working groups, such as the LIA INFINIS (co-directed with Argentina), the GDRI Linear Logic, and the French working groups SCALP and LHC. She has coordinated international projects like ECOS-Sud and STIC-Amsud. Her service to the community is extensive, having served on the steering committees of FSCD, ETAPS, and IFIP WG 1.6, and on the program committees of countless top conferences including POPL, LICS, and ICFP. She is a central figure in several international research communities, organizing and co-organizing workshops like HOR, LSFA, and the Workshop on Intersection Types. Her work in the LIA INFINIS and IRP SINFIN highlights her commitment to fostering long-term international cooperation, particularly between France and Argentina.

• Logic
• Well Quasi-Orders
• Verification
• +۷ مورد دیگر

Sylvain Schmitz is a Professor of Computer Science at Université Paris Cité, affiliated with the Institut de Recherche en Informatique Fondamentale (IRIF). He leads the automata and applications team and is a member of the modelling and verification team. His research focuses on logic, well quasi-orders, verification, formal languages, and database theory. He is actively involved in the academic community, serving on steering and program committees for major conferences such as STACS, LICS, and CSL. PhD in Computer Science, defended on September 24, 2007, at I3S Laboratory, Sophia Antipolis. Habilitation titled Algorithmic Complexity of Well-Quasi-Orders , defended on November 27, 2017, at ENS Paris-Saclay. His research interests span logic, well quasi-orders, verification, formal languages, database theory, theoretical computer science, complexity theory, program verification, automata theory, and model checking. His recent work explores complexity bounds in vector addition systems, reachability problems, and logical foundations of verification. His publications exhibit a strong focus on theoretical foundations of computation, particularly in the analysis of infinite-state systems, complexity hierarchies beyond elementary, and logical characterizations of computational problems. Key themes include well-structured transition systems, non-elementary complexity, and applications of ordinal analysis to verification. IUF junior (2018–2023) Sylvain Schmitz has supervised several PhD students, including Hector Buffière, Aliaume Lopez, Anthony Lick, and Simon Halfon, often in joint supervision with researchers such as Jean Goubault-Larrecq, David Baelde, and Philippe Schnoebelen. His research has been funded by multiple ANR projects including BraVAS, PRODAQ, ReacHard, and AVeriSS. He is a key member of the IRIF laboratory, contributing to research in automata, verification, and logic. He has organized major events such as ICALP 2022 and RP 2020, and is deeply involved in the European theoretical computer science community through committee memberships and conference organization.

Saskia Eschenbacherمشاهده پروفایل

استاد

• Transformative Learning
• Adult Education
• Andragogy
• +۱۲ مورد دیگر

Prof. Dr. phil. Saskia Eschenbacher is a Professor of Adult Education and Counseling at Akkon University of Applied Sciences Berlin and holds a visiting professorship at Teachers College, Columbia University . Her academic work bridges theory and practice in transformative learning, adult education, and psychological counseling, with a focus on crisis, trauma, and social justice. She teaches in programs such as Social Work and Advanced Clinical Nursing, integrating andragogy, leadership, and emergency psychology. Education: BA in Education, University of Augsburg (top of class); fast-track doctorate in transformative learning theory Current Affiliation: Akkon University of Applied Sciences Berlin, College of Education and Social Affairs Visiting Role: Teachers College, Columbia University (since 2019) Leadership: Convenor of the European network TEAE (ESREA) Her research interests center on transformative learning , particularly in contexts of migration, gender inequality, emergency services, and crisis. She explores how individuals and systems undergo profound change through dialogue, reflection, and pedagogical intervention. Her work integrates systems thinking, trauma theory, and critical pedagogy, with a strong emphasis on social transformation and resilience. The recent articles show a consistent trend toward applying transformative learning in high-stakes environments—emergency work, pandemics, migration—and addressing structural issues like gender identity, period poverty, and anti-Muslim racism. The research combines theoretical depth with practical relevance, often co-authored with leading scholars in the field, and published in top journals such as Journal of Transformative Education and Frontiers in Education . Scientific awards and recognitions include: Funding from the Hanns Seidel Foundation for doctoral research Immunity to Change™ Facilitator certification by Harvard professors Robert Kegan and Lisa Lahey (2022) She has advised and collaborated internationally with institutions like DVV International, Bosch, and the US Government Exchange Programs. While no formal advisees are listed, she mentors through supervision, workshops, and guest lectures. She has been involved in research grants related to intercultural competencies in emergency services and transformative learning in sustainable development. She leads the Transformative and Emancipatory Adult Education (TEAE) network under ESREA and contributes to editorial boards such as International Review of Education . Her work fosters international collaboration, particularly in Eastern Europe and crisis-affected regions, promoting transformative learning as a tool for personal and societal change.

Sylvie Putotمشاهده پروفایل

استاد

• Formal Methods
• Verification of Numerical Programs
• Hybrid Systems
• +۱۲ مورد دیگر

Sylvie Putot is a Professor of Computer Science at École Polytechnique, where she is affiliated with the LIX (Computer Science Laboratory) and a member of the Cosynus research team. Her office is located in the Alan Turing Building in Palaiseau. She is actively involved in research, teaching, and organizing the LIX Seminar series. PhD in Computer Science, École Polytechnique (specific year not provided) Previous affiliation: CEA LIST, where she contributed to the FLUCTUAT static analyzer Her research focuses on the formal verification of numerical programs, hybrid systems, and cyber-physical systems. She employs abstract interpretation, particularly using zonotopic domains, to analyze floating-point computations, rounding errors, and robustness. Her work bridges theoretical computer science with practical applications in safety-critical domains such as aerospace, robotics, and embedded systems. She is also extending these methods to ensure the safety and explainability of AI systems. The recent publications highlight a strong trend toward formal methods for AI safety, mobile robotics, and quantified reachability. Her work consistently involves collaboration with Eric Goubault and others, and spans from foundational static analysis to applied verification in complex systems. Keywords across publications include formal methods, verification, cyber-physical systems, abstract interpretation, and AI safety. Scientific Awards No specific awards mentioned in the provided text. She advises numerous PhD students on topics related to verification, robotics, and numerical analysis. Her research is funded by major projects such as SAIF (Safe AI through Formal methods), FARO (algorithmic foundations of robot swarms), and ANR projects like NusSCAP and COVERIF. She has led or participated in many national and international research initiatives. She is a key member of the Cosynus team at LIX, which focuses on the co-design of safe and intelligent systems. She organizes the monthly LIX Seminar, fostering academic exchange within the laboratory and the broader Institut Polytechnique de Paris community.

Tiark Rompfمشاهده پروفایل

دانشیار

• Programming Languages
• Compilers
• Computer Architecture
• +۷ مورد دیگر

Tiark Rompf is the Kevin C. and Susanne L. Kahn New Frontiers Associate Professor at Purdue University, with a scientific focus on programming languages, compilers, and systems research. He co-directs the Purdue Center for Programming Principles and Software Systems (PurPL) and serves as a Scientific Advisor at SambaNova Systems. His research spans Reachability Types (integrating Rust-style lifetime tracking with higher-order abstractions), Rhyme (query languages for nested data), and formal verification using Coq and logical relations. Key techniques include Graph IRs , Mechanized Proofs , and E-Graphs . Scientific Awards : GPCE Test of Time Award (2020) ACM SIGPLAN PL Software Award (2019) NSF CAREER Award (2016) Google Faculty Research Award (2017, 2018) DOE Early Career Research Award (2017) He teaches graduate courses on compilers (CS 502, CS 590) and software foundations. His lab actively recruits PhD students for projects involving type systems, compiler design, and metaprogramming.

Viktor Kunčakمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Automated Reasoning
• +۳ مورد دیگر

Viktor Kunčak is an Associate Professor with tenure at the École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences. He leads the Laboratory for Automated Reasoning and Analysis (LARA) and has been at EPFL since 2007 after completing his PhD at the Massachusetts Institute of Technology (MIT). His educational background includes: PhD from Massachusetts Institute of Technology (MIT), 2007 Professor Kunčak's research focuses on bridging the gap between human goals and computational realizations through program synthesis , verification , and automated reasoning . His work has significant applications in software development, formal methods, and programming languages. He is particularly known for developing practical tools like Leon and Stainless that implement theoretical advances in automated reasoning. His recent publications demonstrate a consistent focus on advancing program synthesis techniques, verification frameworks, and formal methods. The research trajectory shows progression from foundational theoretical work to practical applications and tools that can be used by developers. Many papers focus on making verification and synthesis more accessible and efficient for real-world programming tasks. His notable scientific achievements include: ACM SIGSOFT Distinguished Paper Award for work on automated testing European Research Council (ERC) Grant of 1.5M EUR (2012) Communications of the ACM Research Highlight for a PLDI paper Professor Kunčak has supervised 13 completed PhD theses and teaches courses on functional and parallel programming, compilers, and verification at EPFL. He has also co-taught a popular MOOC on Parallel Programming that reached over 100,000 learners worldwide. His research has been supported by significant funding including a 5-year ERC grant. He has served in leadership roles for major conferences including as program co-chair for FMCAD 2014 and VMCAI 2012. He leads the Laboratory for Automated Reasoning and Analysis (LARA) at EPFL, which develops tools like Stainless for program verification. The lab has established an international presence through collaborations including a European COST Action to establish standardized formats for verification and synthesis (Rich Model Toolkit).

• Programming Languages
• Formal Verification
• Type Systems
• +۵ مورد دیگر

Derek Dreyer is a Professor at the Max Planck Institute for Software Systems, where he leads research in programming languages, formal verification, and type systems. His work bridges theoretical foundations with practical applications, particularly in the verification of systems programming languages. His research focuses on developing rigorous semantic foundations for modern programming languages, with significant contributions to the verification of Rust, separation logic frameworks, module systems, and concurrency models. Dreyer's work combines deep theoretical insights with practical verification techniques, often implemented in proof assistants like Coq. His research spans formal semantics, type theory, program logics, and verification methodologies for both sequential and concurrent programs. Dreyer's publication record shows a consistent focus on foundational verification techniques, with recent work advancing separation logic (Iris framework), Rust verification, multi-language semantics, and novel program logics. His publications in top venues like POPL, PLDI, and ICFP demonstrate both theoretical depth and practical impact in programming language research. Dreyer has established himself as a leading researcher through extensive collaborations with prominent figures in the programming languages community, including Lars Birkedal, Ralf Jung, Robbert Krebbers, and Viktor Vafeiadis. His work often bridges multiple subfields, connecting theoretical concepts with practical verification challenges in systems programming.

Luka Szucsichمشاهده پروفایل

استاد

• Slavic Linguistics
• Syntax
• Generative Grammar
• +۶ مورد دیگر

Luka Szucsich is a Full Professor of East Slavic Languages at the Faculty of Linguistics and Literature, Humboldt University of Berlin. He specializes in Slavic syntax, generative grammar, and language contact phenomena, with a focus on Russian, Ukrainian, and Burgenland Croatian. As spokesperson for the DFG-funded SFB 1412 'Register' since 2024, his research investigates register variation and hybrid lects in multilingual contexts. Studied at University of Vienna (1987-1995) and University of Leipzig (1997-2000) Held research positions at Max Planck Institute and various European universities His research interests span syntax, word order, grammatical features, and theoretical frameworks like the Minimalist Program. He has conducted extensive comparative studies across Slavic languages, examining phenomena such as subjunctive mood, adverbial constructions, and heritage language structures. Recent publications analyze syntax in heritage Russian, VO/SVO typology, and clause-embedding predicates. Articles demonstrate his expertise in generative approaches to Slavic linguistics, with recurring themes of feature activation, morphological defaults, and cross-linguistic variation. DFG SFB 1412 Projects (2021-2027) Humboldt University Foundation Funding (2024) Austrian Research Foundation Grant (2007/2008) He supervises research assistants and collaborates with institutions including Adam Mickiewicz University, University of Poznań, and Novi Gorici University. His work bridges theoretical linguistics, historical language change, and computational corpus development through initiatives like the Digital Interdisciplinary Historical Corpus of Ukrainian (DiaUk).