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

Michael D. Ernstمشاهده پروفایل

استاد

• software engineering
• programming languages
• type theory
• +۶ مورد دیگر

Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.

• Building Information Modeling (BIM)
• Civil Engineering Informatics
• Tunneling and Underground Construction
• +۵ مورد دیگر

Markus König is a Professor of Informatics in Civil Engineering at Ruhr University Bochum, where he has been researching and teaching since October 2009. His work focuses on Building Information Modeling (BIM), digital construction technologies, and civil engineering informatics, with significant contributions to the development and implementation of digital methods in German construction industry. Dr. König earned his degree in civil engineering with a focus on applied computer science at Leibniz University Hannover, where he also completed his doctorate on cooperative building planning at the Institute for Building Informatics. He subsequently held a junior professorship for Theoretical Methods of Project Management at Bauhaus University Weimar before joining Ruhr University Bochum. His research spans multiple cutting-edge areas including Building Information Modeling (BIM), construction process simulation, tunneling informatics, infrastructure asset management, and the application of artificial intelligence and computer vision in civil engineering. As chair of the Building Informatics Working Group from 2012-2016, he played a key role in developing the first national BIM curriculum for German universities and serves as editor of the book 'Building Information Modeling: Technological Foundations and Industrial Practice.' Analysis of his recent publications reveals a strong trend toward semantic technologies, digital twins, automated compliance checking, and the integration of AI in construction processes. His work increasingly focuses on information containers, ontology development, and the application of large language models to infrastructure data, reflecting the evolving landscape of digital construction. Dr. König's significant contributions to digital construction have been recognized with prestigious awards: Lower Saxony-Bremen Construction Industry Award (2017) for 'services in the development and introduction of digital construction in Germany' Konrad Zuse Medal (2020) While specific details about his advising and grant activities aren't explicitly mentioned in the provided text, his extensive publication record with numerous co-authors suggests active supervision of doctoral students and research staff. His involvement in multiple collaborative research projects is evident from his publication history. At Ruhr University Bochum, Professor König leads a research group focused on civil engineering informatics, with particular emphasis on BIM, digital construction technologies, and their application across the building lifecycle. His team appears to work at the intersection of computer science and civil engineering, developing innovative solutions for construction process optimization, infrastructure management, and digital transformation of the AEC industry.

• Educational Psychology
• Learning from Errors
• Instructional Strategies
• +۳ مورد دیگر

Susanne Narciss is a Professor at the Psychology of Learning and Instruction department of Technische Universität Dresden, leading the Center of Tactile Internet with Human in the Loop (CeTI). Her research focuses on error processing in educational contexts, with 15 recent publications analyzing error climates, feedback strategies, and motivational frameworks. Key Research Areas : Learning from errors/failure, instructional feedback design, affective-motivational responses, error-related metacognition. Methodological Scope : Combines longitudinal studies, experimental designs, and qualitative analyses across K-12, university, and informal learning settings (museums, home contexts). Her work emphasizes context-specific interventions for educators, parents, and students, including error-competency training programs and metacognitive scaffolding tools. Current projects examine vibrotactile feedback systems for motor learning and cultural responsiveness in psychology education. Collaborative Networks : Works with international teams on the International Competences for Undergraduate Psychology model and cyber-physical system pedagogy. Recent Trends : 2025 articles focus on collaborative error processing, scenario-based human-machine interaction, and generative learning tasks in digital environments.

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

پژوهشگر

• Drug Repurposing
• Network Medicine
• Bioinformatics
• +۳ مورد دیگر

Andreas Maier is a Researcher at the University of Hamburg's Faculty of Mathematics, Informatics and Natural Sciences, affiliated with the Computational Systems Biology department. He began his PhD in May 2021 with Cosy.Bio (Center for Systems Biology) at UHH, focusing on drug repurposing projects such as REPO-TRIAL. Previously, he completed a Bioinformatics master's thesis at TUM (Technical University of Munich), developing a web application for analyzing molecular disease networks. His research interests emphasize network medicine, drug repurposing, and computational tools for biomedical discovery. He has contributed to platforms like NeDRex-Web, Drugst.One, and BioCypher, which democratize access to systems medicine workflows. His work bridges heterogeneous data integration, federated learning for rare diseases, and quantum computing applications in genetics. Maier's publications highlight innovations in knowledge graph-based drug discovery, privacy-preserving federated learning, and single-cell network analysis. He actively develops open-source bioinformatics tools to address challenges in disease module identification and patient stratification. His projects align with the REPO4EU consortium and other collaborative initiatives in translational bioinformatics.

Craig Knoblockمشاهده پروفایل

استاد پژوهشی

• Knowledge Graphs
• Data Semantics
• Schema Alignment
• +۵ مورد دیگر

Craig Knoblock serves as Keston Executive Director of the Information Sciences Institute (ISI) at the University of Southern California (USC), Vice Dean of the USC Viterbi School of Engineering, and Research Professor of Computer Science and Spatial Sciences. He also directs the Data Science Program and the Center on Knowledge Graphs at USC. His educational background includes a Ph.D. and M.S. in Computer Science from Carnegie Mellon University (1991, 1988) and a B.S. with honors in Computer Science from Syracuse University (1984). Knoblock's research focuses on data semantics , specializing in source modeling, schema and ontology alignment, entity and record linkage, data cleaning, Web data extraction, and knowledge graph construction. His work bridges computer science, geospatial analysis, and artificial intelligence to solve complex data integration challenges. Recent projects emphasize historical map digitization, geospatial knowledge graphs, and smart city applications. His 300+ publications demonstrate consistent contributions to knowledge graphs and geospatial data integration, with a growing emphasis on historical map analysis and urban applications. The research trajectory shows increasing interdisciplinary collaboration across computer vision, geoinformatics, and domain-specific applications. IEEE Fellow (2020) ACM Fellow (2017) AAAI Fellow (2004) Robert S. Engelmore Memorial Lecture Award (2014) Donald E. Walker Distinguished Service Award (IJCAI, 2018) Use-Inspired Research Award (USC Viterbi, 2018) As Executive Director of ISI, Knoblock oversees one of USC's premier research centers with significant federal funding. His leadership extends to directing the Center on Knowledge Graphs and the Data Science Program. While specific grant details aren't provided, his extensive publication record and leadership roles indicate substantial research funding across data integration, knowledge representation, and geospatial applications. His work bridges theoretical computer science with practical applications in historical preservation, urban planning, and resource management through collaborative projects with government agencies and industry partners. Knoblock leads the Center on Knowledge Graphs at USC, focusing on developing techniques for building and utilizing knowledge graphs across diverse domains. His team combines expertise in artificial intelligence, geospatial analysis, and data integration to tackle challenges in historical map digitization, urban applications, and resource discovery. The research group maintains strong connections with both academic and government partners through the Information Sciences Institute's extensive network.

Ruben Martinsمشاهده پروفایل

استادیار

• Constraint Programming
• Program Synthesis
• Formal Verification
• +۳ مورد دیگر

Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.

Pascal Hitzlerمشاهده پروفایل

استاد

• Neurosymbolic Artificial Intelligence
• Semantic Web
• Knowledge Graphs
• +۷ مورد دیگر

Pascal Hitzler is a University Distinguished Professor and holds the endowed Lloyd T. Smith Creativity in Engineering Chair at Kansas State University's Department of Computer Science, Carl R. Ice College of Engineering. He directs the Center for Artificial Intelligence and Data Science (CAIDS) and the Institute for Digital Agriculture and Advanced Analytics (ID3A). Previously, he held roles at Wright State University, Karlsruhe Institute of Technology, and TU Dresden. His research focuses on neuro-symbolic AI, semantic web technologies, knowledge graphs, and ontology engineering. Education: PhD in Mathematics (2001, University College Cork), Diplom in Mathematics (1998, University of Tübingen). Academic achievements include over 400 publications, founding editor roles for journals like Neurosymbolic Artificial Intelligence , and leadership in organizations like the Neural-Symbolic Learning and Reasoning Association. Research interests include AI explainability, knowledge representation, and interdisciplinary applications of semantic technologies. He leads the DaSe Lab for Data Semantics, advancing projects like the KnowWhereGraph and Enslaved.org Hub Knowledge Graph. His work bridges symbolic AI with neural networks, emphasizing practical applications in agriculture, environmental science, and historical data preservation. Grants and collaborations span academic, industrial, and international partners. He has advised numerous students and researchers, contributing to both theoretical advancements and real-world semantic systems deployments.

Théo Winterhalterمشاهده پروفایل

پژوهشگر

• Formal Methods
• Type Theory
• Proof Assistants
• +۳ مورد دیگر

Dr. Théo Winterhalter is a researcher at the Deducteam within INRIA Saclay and the Laboratoire de Méthodes Formelles (LMF) at École Normale Supérieure Paris-Saclay. Previously, he held a postdoctoral position at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. He completed his PhD in computer science at the University of Nantes under the supervision of Nicolas Tabareau and Matthieu Sozeau, focusing on the formalization and meta-theory of type theory. His research centers on proof assistants, particularly Coq, and involves advancing formal methods for security, type systems, and dependent type theory. Winterhalter's work includes contributions to the MetaCoq project, enabling meta-programming and formal reasoning about Coq itself. He is also involved in developing verified cryptographic frameworks like SSProve and SecRef*, ensuring secure integration of verified and unverified code. His educational background includes a PhD in type theory and prior work in cryptographic algorithms, such as randomized scalar multiplication. He actively participates in academic communities, serving on program committees for ICFP, TYPES, and POPL. His teaching includes co-teaching the MPRI course on proof assistants with Yannick Forster. Supervision activities include PhD student Yann Leray and multiple interns focusing on Coq extensions and formal verification.

• Case-Based Reasoning (CBR)
• Artificial Intelligence
• Multi-Agent Systems
• +۴ مورد دیگر

Dr. Pascal Reuss is a Researcher at the Intelligent Information Systems (IIS) Division within the Institute of Computer Science , University of Hildesheim . His work focuses on Case-Based Reasoning (CBR) systems, Multi-Agent Systems , and Knowledge Management applications. Active in CBR framework development and game-based AI research Teaching Computer Science III (Databases) for winter 2025/26 Participating in university sustainability initiatives like Stadtradeln 2024/25 Reuss contributes to AI education through practical implementations in gaming environments and has developed visualization tools for CBR agent behavior. His research spans multi-agent collaboration , dynamic case bases , and domain-specific language implementations for knowledge maintenance. Notable contributions include: Co-developing the FEATURE-TAK framework for knowledge extraction Designing case factories for distributed CBR systems Implementing finite state machines for tactical game agents Creating CBR-based fitness planning systems His work appears in various CBR and Game Development publications from 2011-2024. The research demonstrates practical applications of CBR in aircraft maintenance diagnostics , training plan generation , and educational technology contexts.

Peter Hertkornمشاهده پروفایل

استاد

• Model-Driven Software Development
• Domain-Specific Languages
• DevOps Automation
• +۲ مورد دیگر

Prof. Peter Hertkorn is a full professor of Computer Science at Reutlingen University's Faculty of Computer Science, specializing in programming languages and databases. He holds leadership roles including Chair of the Examination Board for Media and Communication Informatics B.Sc. and BAföG Officer for the same program. His research focuses on model-driven software development, domain-specific languages, DevOps automation, interactive learning technologies, and distributed ledger technologies. He co-leads the Software Engineering and User Experience (swuxLAB) and Distributed Ledger Technologies (DLT-LAB) research groups. Education background includes a Diplom-Informatiker (master's equivalent) and Dr.-Ing. (PhD) from University of Stuttgart. Professional experience includes 5 years at T-Systems International GmbH and prior academic roles at University of Stuttgart. His teaching focuses on Software Engineering and Database Systems courses. Publications span interactive learning environments, collaborative innovation systems, and AR-based knowledge spaces. Active in academic service roles and interdisciplinary research collaborations since 2009.

• Programming Languages
• Software Engineering
• Formal Methods
• +۳ مورد دیگر

L. Thomas van Binsbergen is a Professor in the Department of Computer Science & Computer Engineering at the University of Wisconsin-La Crosse, affiliated with the College of Science & Health. His work focuses on language design, formal methods, and policy-based systems. His research explores Executable formal specifications of programming languages Modular meta-language frameworks (e.g., iCoLa+, eFLINT) Data-dependent grammars for network protocols Purpose-based access control derived from GDPR Functional parsing algorithms (GLL, Happy-GLL) Policy enforcement in distributed systems Recent publications (2020-2025) demonstrate trends in language parametric design, security policy formalization, and exploratory programming environments. Notable collaborations include Damian Frölich, Tim Müller, and Tom M. van Engers. Van Binsbergen earned his PhD from Royal Holloway, University of London (2019) and contributes to conferences like GPCE, SLE, and workshops on programming language theory and data security.

Oliver Karrasمشاهده پروفایل

مدرس

• Data Science
• Artificial Intelligence
• Knowledge Representation
• +۴ مورد دیگر

Oliver Karras is a researcher, data scientist, and lecturer at the Data Science and Digital Libraries research group at TIB – Leibniz Information Centre for Science and Technology. He holds a BSc, MSc, and PhD in Computer Science from Leibniz University Hannover. His research focuses on FAIR scientific knowledge, Open Research Knowledge Graph (ORKG), and national research infrastructure projects like NFDI-4Ing and FAIR-DS. He is a member of the German Informatics Society (GI) and spokesperson of the Requirements Engineering (RE) group, contributing to conferences and journals as a reviewer. Previously, he was a research associate and PhD student in the Software Engineering group at Leibniz University, leading the DFG project ViViReq on video integration in requirements engineering. His research interests include Data Science, AI, Knowledge Representation, Software Engineering, Requirements Engineering, Empirical Research, and Open Science. He has published over 60 papers in these areas, with notable contributions to knowledge graphs, FAIR data, and reproducibility frameworks. His work emphasizes organizing scientific knowledge for accessibility and collaboration across disciplines. He is actively involved in initiatives like the ORKG, promoting sustainable literature reviews and open science practices. His professional contributions extend to tool development, such as OntoAligner for ontology alignment and SciKGTeX for semantic annotation in LaTeX. Oliver Karras collaborates with institutions like Leibniz University, contributing to the NFDI consortium and energy research projects. His expertise bridges technical innovation and academic rigor, addressing challenges in knowledge management and reproducibility. His current roles include advancing TIB’s research infrastructure and fostering interdisciplinary collaboration through knowledge graph applications.

• High-Performance Computing
• Parallel Programming
• Domain-Specific Languages
• +۳ مورد دیگر

Wenguang Chen is a researcher affiliated with Tsinghua University and Pengcheng Laboratory , specializing in computer science and high-performance computing . His work bridges theoretical advancements with practical applications in domain-specific languages , parallel programming , and machine learning . Research Interests include: Development of modular DSLs for numerical methods (e.g., Mat2Stencil) Performance optimization in distributed and parallel systems Compiler frameworks for privacy-preserving AI (e.g., FHE-based neural network inference) Graph algorithms scaling to trillion-edge datasets Applications of Rust in memory-safe pointer analysis Recent Publications span 2014–2025, focusing on: Parallelization strategies for supercomputing Compiler automation tools Extreme-scale data processing Performance variance diagnosis in production environments

• Business Model Innovation
• Digital Transformation
• Open Innovation
• +۷ مورد دیگر

Prof. Frank T. Piller ist Chair of Technology and Innovation Management an der RWTH Aachen University und Mitbegründer der RWTH Business School . Er forscht seit 2007 zu Disruptiver Geschäftsmodellinnovation , Industrie 4.0 und Kundenco-creation . Als Träger des ERC Synergy Grants SAFEr Grid (2025-2031) entwickelt er modulare Energienetze für die Zukunft. Lehrstuhlinhaber für Technologie- und Innovationsmanagement Gründungsdekan der RWTH Business School Internationaler Forschungskoordinator Seine Forschungsschwerpunkte umfassen: Business Model Innovation in etablierten Unternehmen AI-gestützte Wertschöpfung und digitale Plattformen Ökosystem-Governance für dezentrale Industrienetze Circular Economy Integration in massgeschneiderte Produktion Er erhielt: Co-Creation Award der PDMA Nominierung für HBR/McKinsey Innovation Award Mehrfachauszeichnung für "Flipped Classroom"-Lehre Google Scholar H-Index 73 mit >25.000 Zitierungen Als Keynote-Speaker und Executive-Education-Dozent an führenden Business Schools (MIT, IE, Vlerick) unterstützt er globalen Wandel. Sein Forschungsteam ( >30 Doktoranden ) arbeitet mit Industriepartnern wie Siemens , Vodafone und 3M .

• Object-Oriented Programming
• Software Engineering
• Formal Methods
• +۵ مورد دیگر

Bertrand Meyer is a renowned academic and software engineering expert affiliated with Constructor University in Switzerland. He previously held positions at ETH Zurich (2001-2016), the University of Toulouse (2015-2016), and Monash University. His research focuses on object-oriented programming, software engineering, formal methods, and programming languages. He is best known for developing the Eiffel programming language and pioneering the 'Design by Contract' paradigm. Meyer earned his PhD from the University of Nancy, France. His contributions include seminal textbooks like *Object-Oriented Software Construction* (1988, 1997), *Touch of Class* (2009), and *Agile!* (2014). He has received the ACM Software System Award (2006) for his work on Eiffel. His research emphasizes rigorous software design principles, formal verification, and practical software engineering practices. Key innovations include: Design by Contract methodology Advancements in object-oriented design patterns Contributions to component-based development Work on software testing and validation techniques Meyer has authored over 374 publications spanning journals, conferences, and books. His work bridges theoretical foundations and practical software development methodologies.