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

Gregor Sneltingمشاهده پروفایل

استاد

• Programming Languages
• Compiler Construction
• Program Analysis
• +۷ مورد دیگر

Gregor Snelting is a Professor and head of the Chair of Programming Paradigms at the Karlsruhe Institute of Technology (KIT), Faculty of Computer Science, Institute for Programming Languages and Compiler Construction. His research focuses on compiler construction, program analysis, software security, and verification. His primary research interests include programming languages, compiler design, program analysis, software security, information flow control, formal verification, object-oriented and concurrent programming, and software reengineering using concept analysis. His work aims to provide solid theoretical foundations and empirical validation. The research output, particularly the 15 most recent articles, shows a strong emphasis on software security and program analysis, with a focus on information flow control in Java using the JOANA tool. There is also a significant thread on invasive computing and resource-aware parallel programming. The work combines deep theoretical contributions, such as formal semantics and correctness proofs, with practical tool development and empirical validation. Faculty Teaching Award for the course 'Practice in Software Development' Snelting leads a research group that has developed several significant tools, including JOANA for security analysis, the Praktomat system for automated grading of programming assignments, and contributions to the libFirm compiler framework. His group is a key participant in major research initiatives like the DFG Collaborative Research Center InvasIC and the DFG Priority Program RS3. He advises students and supervises theses, fostering research in programming paradigms and software security. The group is involved in several key research projects: JOANA for information flow control in Java, InvasIC for invasive computing and dynamic parallelism, Quis-Custodiet for machine-checked correctness proofs of security analyses, and the development of the libFirm compiler framework.

• Bio-IT convergence
• Intelligent Transportation Systems
• Sensors
• +۵ مورد دیگر

Chan-Young Park is a Professor in the School of Software at Hallym University, South Korea. He holds a Ph.D. from the Korea Advanced Institute of Science and Technology (KAIST) and brings significant industry experience from his tenure at Samsung Electronics between 1991 and 1999. His academic career is centered on interdisciplinary research at the intersection of software, sensors, and biomedical applications. His research interests include Bio-IT convergence , intelligent transportation systems , and sensors , with a strong emphasis on practical implementations in healthcare and civil infrastructure. These interests are reflected in his recent work on real-time PCR systems, biochip development, and structural monitoring of concrete bridges using deep learning. The recent publications highlight a consistent trend in developing compact, intelligent, and sensor-based systems for biomedical diagnostics and infrastructure safety. His work frequently involves machine learning integration, signal detection, and miniaturized hardware, demonstrating a multidisciplinary approach across engineering and computer science domains. While no formal scientific awards are listed in the provided text, his sustained publication record in reputable journals such as Sensors and Applied Sciences indicates active research contributions. He collaborates extensively with colleagues at Hallym University and other institutions, suggesting a strong research network. There is no explicit mention of student advising or grant funding in the text, but his professorial role and publication output imply involvement in mentoring and research leadership. No specific lab or research team is named, but his work suggests affiliation with a research group focused on embedded systems, sensor technologies, and Bio-IT applications within the School of Software.

Jeff Huangمشاهده پروفایل

دانشیار

• Programming Languages
• Software Engineering
• Concurrency
• +۱ مورد دیگر

Jeff Huang is an Associate Professor in the Department of Computer Science and Engineering at Texas A&M University, specializing in programming languages and software engineering with a focus on concurrency and runtime verification. His research develops advanced program analysis techniques and tools to enhance software performance and reliability. Programming Languages Software Engineering Concurrency Runtime Verification His work has been recognized with prestigious awards including the ACM SIGSOFT Early Career Researcher Award, NSF CAREER Award, Google Faculty Research Award, and DARPA Young Faculty Award. Notably, his research has earned multiple SIGPLAN Research Highlights and PLDI Distinguished Paper Awards. ACM SIGSOFT Early Career Researcher Award NSF CAREER Award Google Faculty Research Award Mozilla Research Award Facebook Research Award DARPA Young Faculty Award ACM SIGSOFT Outstanding Dissertation Award ACM SIGPLAN PLDI Distinguished Paper Award SIGPLAN Research Highlights Jeff Huang actively contributes to academic communities as a committee member in venues like SPLASH, ICSE, ISSTA, and PLDI. He has authored influential papers on concurrency bug detection, pointer analysis, and language translation tools, spanning both theoretical foundations and practical implementations.

Jochen Baierمشاهده پروفایل

استاد

• Language Didactics
• Literature Didactics
• Cultural Studies
• +۷ مورد دیگر

Jochen Baier is a Professor at the Pedagogical University of Schwäbisch Gmünd , serving as deputy head of the Institute for Language & Literature and head of the English Department . His academic work focuses on language and literature didactics , media education , interactive drama , and body language in virtual language learning . He has led research projects on dramatic methods in digital contexts, new media integration, and cross-cultural coaching, emphasizing bilingual teaching and intercultural communication. Current research includes Body Language in Virtual Language Learning Scenarios and practical implementation of EBU Unteaching Prejudices through student projects. He explores subfields like Neural Language Processing , Interactive Learning , and Cultural Awareness in digital environments. Baier’s publications span books on nonverbal communication, teaching literature with digital tools, and bilingual curricula (e.g., Abitur NRW preparation materials). His work also addresses Shakespeare pedagogy , digital edutainment , and intercultural studies .

Jette Schumannمشاهده پروفایل

پژوهشگر

• Pedestrian Dynamics
• Crowd Simulation
• Crowd Safety
• +۴ مورد دیگر

Jette Schumann is a researcher at Forschungszentrum Jülich's Institute for Advanced Simulation (IAS), specifically within the Civil Security Research department (IAS-7). Her work focuses on application-oriented simulations of pedestrian streams, interaction between pedestrian streams and urban traffic, and analysis of crowd movement patterns. She develops research software to support these simulations and has extensive experience in data capturing from laboratory studies on pedestrian dynamics. Dr. Schumann completed her PhD at the University of Wuppertal in 2021 with a dissertation titled 'Utilizing Inertial Sensors as an Extension of a Camera Tracking System for Gathering Movement Data in Dense Crowds.' Her educational background includes particle physics research as evidenced by her 2013 bachelor thesis on 'Development of a fast algorithm for searching particle tracks in the 'StrawTube Tracker' of the PANDA detector.' Her primary research investigates how different factors affect crowd movement, with particular attention to how people with disabilities or mobility limitations navigate through bottlenecks and crowded spaces. She combines experimental data collection with sophisticated simulation modeling to improve safety at public events and in urban environments. Her work spans both physics-based crowd modeling and social psychology aspects of collective behavior. Analysis of her publication record reveals consistent focus on pedestrian dynamics with increasing interdisciplinary integration. Recent work incorporates artificial intelligence techniques for detecting pushing behavior in crowds, with direct applications for safety at major events like the UEFA EURO 2024 in Düsseldorf. Her research demonstrates strong translation from theoretical models to practical safety applications. Dr. Schumann is actively involved in significant research projects: CroMa-PRO: Funded by BMBF, focusing on simulation-based traffic and crowd management at major events SISAME: Funded by HGF, developing simulation tools for safety at major events SiME: Funded by BMBF, studying safe evacuation of heterogeneous population groups These projects demonstrate her commitment to practical applications of research for improving public safety. Within Civil Security Research (IAS-7), she contributes to research divisions focused on Pedestrian Dynamics - Empiricism, Modeling, and Social Psychology. She participates in projects including CrowdDNA, CroMa, and the development of optical head tracking software PeTrack. Her work directly supports safety planning for large-scale events through advanced simulation techniques.

• Software Engineering
• Information Security Management
• Enterprise Architecture
• +۳ مورد دیگر

Prof. Dr. Carsten Lucke is a faculty member at the Technische Hochschule Mittelhessen within the Department of Mathematics, Natural Sciences and Data Processing (MND), specifically affiliated with the Department of Business Informatics . He serves as Head of the M.Sc. Business Informatics program, Chair of the Master's program committee, and Chair of the admissions committee. His primary research focuses on software engineering , enterprise architecture (with emphasis on TOGAF, NAF, ADMBw), and IT security . Research Interests: Software Architecture, Architectural Modeling, Knowledge Management in Software Projects, Enterprise Architecture Frameworks Expertise: Stakeholder-Oriented Enterprise Modeling, ERP System Integration, PHP-based Software Development His publications reflect systematic approaches to integrating security management with enterprise architecture and addressing architectural complexity in large-scale systems. While no scientific awards are documented in the provided texts, his contributions span multiple empirical studies, conceptual frameworks, and practical implementations in software engineering.

Ulrich Kortenkampمشاهده پروفایل

استاد

• Mathematics Education
• Digital Learning Environments
• Place Value Understanding
• +۳ مورد دیگر

Prof. Dr. Ulrich Kortenkamp is a Professor for Mathematics Education at the University of Potsdam since October 2014, holding a position in the Institute of Mathematics within the Faculty of Mathematics and Natural Sciences. He also serves as an Adjunct Professor at Griffith University in Gold Coast, Australia since May 2020. His academic career spans multiple institutions across Germany including Martin Luther University Halle-Wittenberg, University of Applied Sciences Karlsruhe, and TU Berlin. Prof. Kortenkamp's research focuses on mathematics education, particularly in the areas of digital learning environments, computational thinking development, place value understanding, and teacher education. His work bridges theoretical frameworks with practical applications in classroom settings, with a strong emphasis on the integration of technology in mathematics instruction. He has extensively studied how digital tools, particularly the Fingu app, can enhance early mathematical understanding and how language affects place value comprehension across different cultural contexts. His recent publications reveal a strong focus on sustainable development in teacher education, cross-linguistic studies of place value understanding, the impact of digital tools on early mathematics development, geometry education, and the integration of subject knowledge with didactic approaches in teacher preparation. His research consistently addresses how digital environments can transform mathematics teaching while maintaining strong conceptual foundations. Ars legendi Faculty Prize in Mathematics category (2020) for outstanding achievements in teaching, advising, and mentoring, awarded by the Stifterverband (Donors' Association) along with major German scientific societies Prof. Kortenkamp leads several significant research projects including DigiProMIN (developing digitally supported continuing education modules for mathematics teachers), Mathematics Education in the Digital Age (fostering international exchange between University of Potsdam and Griffith University), and Place Value Understanding (investigating primary school children's mathematical development across institutions in Germany and Australia). He is also involved in the SPIES-M project focused on quality initiatives for teacher education and the QuaMath project aimed at promoting teaching quality in mathematics through teacher training courses. He directs a research group focused on mathematics didactics at the University of Potsdam, collaborating with colleagues including Prof. Dr. Birte Friedrich and Prof. Dr. Sebastian Geisler, and working with a team of researchers on various aspects of mathematics education research, including digital learning environments, teacher professional development, and early mathematics concepts.

• Distributed Systems
• System Security
• Internet Applications
• +۴ مورد دیگر

Professor Clemens H. Cap is a Full Professor with tenure and Chair for Information and Communication Services at the University of Rostock, Germany, where he has held his position since 1997. He maintains leadership of the Information and Communication Services research group and has previously held academic appointments at the University of Zurich (including an adjunct professorship until June 2023) and the University of Mannheim. University of Rostock: Full Professor (1997-present) University of Zurich: Adjunct Professor (2004-2023) University of Zurich: Assistant Professor (1992-1995) University of Mannheim: Associate Professor (1994) Professor Cap's research focuses on distributed systems, system security, Internet applications, and social problems in computer science. His work demonstrates an evolution from early research on workstation clusters to contemporary investigations of blockchain technology, classroom response systems, and the social implications of digital technologies. His research interests encompass system architecture for distributed and ubiquitous applications, Internet services, system security, and applications of formal specification techniques. His work has been supported by the German Research Foundation (DFG), the Federal Ministry of Education and Research (BMBF), and the European Union, including participation in the European Fifth Framework Research Program. His recent publications (2014-2022) reveal a strong focus on blockchain applications, security management, and educational technologies, particularly classroom response systems. His research shows consistent thematic development with security, distributed systems, and the social impact of technology as throughlines. Professor Cap regularly gives guest lectures in the Baltic States and Switzerland, demonstrating international engagement. Honorary doctoral degree 'sub auspiciis praesidentis' by Austrian president (1989) Professor Cap is active in academic self-administration as a member of the board of the interdisciplinary research department 'Knowledge - Culture - Transformation' and as Head of the ICT Science Confederation. His teaching portfolio includes Computer Networking, Data Security, Architecture of network services, Methodology of Scientific Research, Software Development Project Distributed Systems, Research Topics in Internet Technology, Computer Science and Society, and Social Impact of IT. He has developed numerous modules that are part of summer schools and international cooperations (BaSoTI). His teaching languages are German and English, and his courses are available for continuous education programs and in-house seminars for companies.

Karsten Wolfمشاهده پروفایل

استاد

• Theoretical Computer Science
• Formal Methods
• Model Checking
• +۳ مورد دیگر

Professor Karsten Wolf holds the Chair of Theoretical Computer Science at the Institute of Computer Science, University of Rostock. He serves as Vice-Rector for Studies and Teaching and holds several key positions including Member of the Senate Commission for Studies, Teaching and Evaluation, and Spokesperson of the specialist group "Petri Nets and Related System Models" of the German Informatics Society. His research focuses on theoretical computer science, particularly in the areas of: Development of correct systems Computer-aided verification Algorithms for Web Services Petri Nets and related system models Professor Wolf's publication record demonstrates consistent expertise in formal verification methods, with recent work emphasizing modular state spaces, temporal logic verification, and approximation techniques. His involvement in the Model Checking Contest (2018-2024) shows his commitment to advancing verification methodologies through empirical evaluation and benchmarking. His professional service includes: Editorial board member of LNCS subseries ToPNOC (Theory of Petri nets and other models of concurrency) Editorial board member of Petri Net Newsletter Member of the German Computer Science Society (GI) Head of the Study Commission of the Faculty Day of Computer Science As Vice-Rector for Studies and Teaching, Professor Wolf plays a critical role in shaping educational policies and academic programs at the University of Rostock, bridging his theoretical expertise with practical educational leadership.

Martin Paul Nawrotمشاهده پروفایل

استاد

• Neural Information Processing
• Reinforcement Learning
• Synaptic Plasticity
• +۷ مورد دیگر

Prof. Dr. Martin Paul Nawrot is a faculty member at the Institute of Zoology , University of Cologne . His research focuses on neural information processing , reinforcement learning , and synaptic plasticity in biological and artificial systems. He also develops large-scale brain simulations to study attractor dynamics for sensory-motor integration, motor control, and decision-making in primates and insects. Current research areas include neuromorphic computing , spiking neural networks , and computational neuroscience Key projects involve modeling insect behavior , neural coding , and cross-species AI applications His recent publications (2023-2025) explore Drosophila larva locomotion , synaptic plasticity mechanisms , and neuromorphic hardware for real-time simulations. These works span neural circuits , behavioral modeling , and computational tools like GeNN and NEST. Despite his academic prominence, no scientific awards are mentioned in the available texts.

Sebastian Kempfمشاهده پروفایل

پژوهشگر

• Information Extraction
• Table Extraction
• Ontology Generation
• +۴ مورد دیگر

Sebastian Kempf is a researcher at the Chair of Computer Science VI (Artificial Intelligence and Knowledge Systems) within the Institute of Computer Science at the University of Würzburg's Faculty of Mathematics and Computer Science. He has been working at the chair since October 2021, focusing on information extraction, particularly table extraction and analysis, as well as ontology-based knowledge extraction. His research spans Information Extraction , Table Extraction , Ontology Generation , Document Analysis , Data Mining , and Knowledge Modeling . These areas drive his development of systems for transforming unstructured and semi-structured data into actionable knowledge, with applications across scientific, industrial, and humanities domains. Publications reveal a consistent trajectory in applying AI to interdisciplinary challenges—from materials science (glass development) to digital humanities (literary analysis) and scientific document processing. His work emphasizes practical AI solutions that bridge theoretical frameworks with real-world data complexities. Kempf actively contributes to teaching through Software Engineering courses (Summer Semesters 2022-2024), Medical Image Processing (Winter Semester 2024/25), and regular supervision of seminar topics and software internships. His project portfolio includes current work on PlastiKG and past involvement in ESF-BuDanu. As a core member of the Center for Artificial Intelligence and Data Science (CAIDAS), he collaborates across Würzburg's AI research ecosystem, leveraging university-wide resources for ontology-driven data infrastructure and knowledge systems development.

Karin Moraمشاهده پروفایل

پژوهشگر

• Ecology
• Climate Change
• Artificial Intelligence
• +۷ مورد دیگر

Karin Mora is a postdoctoral researcher at Leipzig University , affiliated with the Faculty of Physics and Earth System Sciences . She leads the DeepFeatures project funded by the European Space Agency and contributes to the proposed Breathing Nature excellence cluster, combining biology, economics, meteorology, and physics to study biodiversity-climate-human interactions. Research Focus : Phenological Rhythms in Ecosystems AI & Mathematical Modeling of Climate Impacts Earth System Data from Satellites and Citizen Science Scientific Contributions : DeepExtremeCubes methodology for climate extremes SpectralIndices.Jl software for remote sensing Plant Trait Coordination and Forest Monitoring Innovations Awards : Forschungspreis (Paderborn University, 2015) Technion Postdoctoral Scholarship (2014-15) Funding for EWM Summer School Course (2013) Education : PhD in Applied Mathematics (University of Bath, 2014) Master of Mathematics (University of Reading, 2008) Outreach : MDR Wissen Radio Contributions Royal Society Summer Science Exhibition Co-organizer of EuropaBON Stakeholder Dashboard

Suren Chilingaryanمشاهده پروفایل

پژوهشگر

• High Performance Computing
• Parallel Computing Architectures
• Data Acquisition Systems
• +۵ مورد دیگر

Dr. Suren Chilingaryan is a Data Processing and Software Performance Expert at the Institute for Process Data Processing and Electronics (IPE) at Karlsruhe Institute of Technology (KIT), where he has been working since 2007. His expertise lies in developing high-performance computing solutions for scientific experiments, with a focus on data acquisition systems, parallel computing architectures, and optimization of image processing software for scientific applications. His educational background includes: PhD in Computer Science (2006) from the Institute for Informatics and Automation Problems of the National Academy of Science of the Republic of Armenia Diploma in Mechanics and Mathematics (2001) from Moscow State University, with thesis on neural networks Dr. Chilingaryan's research spans high-performance computing, parallel hardware architectures, and scientific data management. He specializes in developing efficient algorithms for data acquisition and control systems, particularly for particle physics experiments. His current activities include high-speed data acquisition and control, management of large data, and optimization of image processing software for parallel computing architectures. He has pioneered techniques for GPU-accelerated data processing that enable real-time analysis of massive datasets from experiments like KATRIN (neutrino mass measurement), PANDA, and ASEC (Aragats Space Environmental Center). His recent publications demonstrate a strong focus on neutrino physics, cosmic ray phenomena, and high-speed data acquisition systems. The integration of FPGA and GPU technologies in his research has enabled breakthroughs in real-time data processing for scientific experiments, particularly in synchrotron imaging and particle detection applications. His work bridges computer science and experimental physics, with particular emphasis on developing scalable infrastructure for managing and analyzing large scientific datasets. Dr. Chilingaryan leads development of key software infrastructure including: UFO (Ultra fast X-Ray imaging platform) for smart experiments using GPU computing ADEI (Advanced Data Extraction Infrastructure) for time-series data management High-throughput DAQ Platform for FPGA-based scientific experiments His technical leadership supports major international collaborations including KATRIN, PANDA, and ASEC, providing critical data management solutions that enable new types of scientific investigations across particle physics, astrophysics, and atmospheric science disciplines.

Nicholas Tan Jeromeمشاهده پروفایل

پژوهشگر

• Scientific data management
• Real-time monitoring
• Low-latency computing
• +۵ مورد دیگر

Nicholas Tan Jerome is a Researcher at the Karlsruhe Institute of Technology (KIT), specifically working at the Institute for Process Data Processing and Electronics (IPE). His research focuses on scientific data management, real-time monitoring, low-latency computing, and scientific visualization for large-scale physics experiments and medical imaging applications. Dr. Jerome earned his PhD in Electrical Engineering from KIT in 2019, following an MSc (2010) and Dipl.-Ing. (2009) from University of Applied Science Mannheim. His educational background in electrical and automation engineering provides the foundation for his current research in scientific data systems. His research program addresses critical challenges in managing and visualizing data from large-scale scientific experiments. Dr. Jerome has developed innovative approaches for real-time data processing, low-latency visualization, and scientific data management systems. His work bridges computer science, electrical engineering, and domain-specific applications in physics and medical imaging, with particular focus on applying machine learning to time-series forecasting and causal inference in complex experimental setups. Analysis of his recent publications reveals a strong trajectory in neutrino physics data systems (KATRIN experiment) and advanced visualization frameworks (BORA). His work demonstrates consistent innovation in making scientific data more accessible and interpretable for researchers working with complex experimental setups. Dr. Jerome has received recognition through publications in high-impact journals including Science, Nature Communications, and Physical Review Letters. His collaborative approach is evident in his extensive co-authorship across physics, computer science, and biomedical domains. He has advised or collaborated with numerous researchers across disciplines, contributing to projects that integrate data acquisition, processing, and visualization for scientific discovery. His current work focuses on developing practical tools that help scientists make better, faster decisions from noisy and high-dimensional experimental data. Dr. Jerome leads development of the BORA framework for personalized data display in large-scale experiments and contributes to the KATRIN experiment's scientific data management infrastructure. His technical expertise spans real-time systems, scientific visualization, and machine learning applications for experimental physics.

Christoph Müllerمشاهده پروفایل

استاد

• Climate Change Ecology
• Nitrogen Cycle
• Soil Science
• +۷ مورد دیگر

Christoph Müller is a Professor of Experimental Plant Ecology at Justus Liebig University Giessen (since 2009) and a Visiting Professor at University College Dublin's School of Biology and Environmental Science (since 2007). His work bridges soil science, plant ecology, and climate change biogeochemistry. PhD in Soil Science (Lincoln University, NZ, 1995) MSc in Soil Water Management (University of Reading, 1991) Diploma in Horticulture (FH, 1990) Research centers on climate change impacts on terrestrial ecosystems , focusing on elemental cycles and trace gas production in soils. He pioneered 15N/13C isotope tracing to quantify gross nitrogen transformations and developed Ntrace software for analyzing these processes. His landmark Giessen FACE experiment (20+ years) demonstrates how elevated CO2 alters rhizosphere microbiomes and nutrient dynamics. Recent publications (2021-2023) reveal mechanisms linking soil clay minerals to nitrogen cycling, quantify DNRA patterns across ecosystems, and explore biochar-nitrapyrin synergies for emission reduction. Grants from EPA Ireland and Department of Agriculture Ireland support his work on greenhouse gas mitigation and sustainable fertilization . Collaborations span institutions like UCD, with co-authors including Gerald Moser , Daniela Senkbeil , and Lea Meng . Current editorial roles involve European Journal of Soil Science and Frontiers in Terrestrial Microbiology . His methodology integrates stable isotope tracing , metabarcoding , and process-based modeling to unravel soil-plant-microbe interactions.