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

• Cryptography
• Industrial Artificial Intelligence
• Machine Learning
• +۶ مورد دیگر

Benedikt Schmidt is a researcher affiliated with Darmstadt University of Technology , Germany, and has contributed to diverse fields including Cryptography , Industrial Artificial Intelligence , and Formal Verification . His work focuses on mathematical proofs for cryptographic systems, AI-driven industrial process optimization, and human-computer interaction in technical environments. Key collaborations with leading cryptographers like Gilles Barthe and Andre Scedrov Recent 2025 publications on alarm prediction transformers and multimodal AI in industrial contexts Research Themes span: Cryptography : Automated analysis of security assumptions, structure-preserving signatures, predicate encodings. Industrial AI : Virtual assistants, alarm prediction models, process automation. Ethics & Security : Explainability in ML for psychiatry, key confirmation protocols. Notable conferences include CCS, CRYPTO, IEEE Security & Privacy, and journals like J. Cryptol. and Eng. Appl. Artif. Intell.

• Formal Methods
• Automata Theory
• Temporal Logic
• +۵ مورد دیگر

Daniel Neider is a Professor at TU Dortmund University, Germany. He holds former affiliations with Carl von Ossietzky University Oldenburg and the Max Planck Institute for Software Systems (Kaiserslautern). His research focuses on formal methods, automata theory, temporal logic, and their applications in verification, AI, and machine learning. Neider earned his PhD in 2014 from RWTH Aachen University and a second PhD in 2022 from Kaiserslautern University. His work bridges theoretical foundations with practical tools, such as developing algorithms for automata learning, robust temporal logics (rLTL), and neuro-symbolic verification frameworks for deep neural networks. Key research areas include: (1) learning-based formal methods for system verification, (2) robust temporal logics for handling noisy environments, (3) reinforcement learning with temporal logic constraints, and (4) automated specification mining from data. He has contributed to tools like libALF (Automata Learning Framework) and Sorcar for property-driven invariant synthesis. His recent work explores: (a) scalable LTL learning from noisy data using MaxSAT, (b) neuro-symbolic verification techniques, and (c) applying large language models to automate reinforcement learning with reward machines. He has published over 135 papers in top venues like AAAI, TACAS, and FMCAD, focusing on formal methods intersections with AI and systems verification. Current projects involve: (i) robustness-aware synthesis for reactive systems, (ii) temporal logic inference from positive examples, and (iii) developing interpretable verification tools for complex operational domains. His lab collaborates on applying formal methods to real-world systems like smart contracts and neural networks.

• Computer Science
• Artificial Intelligence
• Machine Learning
• +۵ مورد دیگر

Jian Chen is a prolific academic researcher with affiliations across multiple institutions worldwide, primarily in China but also including international universities. The DBLP disambiguation page lists 47 distinct individuals with this name, working in various departments including Computer Science, Electrical Engineering, Telecommunications Engineering, and other technical fields at prestigious institutions such as Zhejiang University, Xidian University, Northeastern University, and Ohio State University. Research interests span a wide range of technical domains including artificial intelligence, machine learning, computer vision, network security, medical imaging, and electrical engineering. Recent publications indicate active research in deep learning applications, image processing, trajectory analysis, and biomedical informatics. The publication output is substantial, with numerous papers appearing in IEEE Access, Pattern Recognition, and other high-impact journals. The research trends show a strong focus on practical AI applications across multiple domains, with particular emphasis on medical imaging, network security, and intelligent control systems. Many publications involve collaborative work with researchers across different institutions, indicating an active research network. While specific awards are not listed in the provided DBLP information, the volume and quality of publications suggest recognition within the academic community. The research output demonstrates expertise in both theoretical development and practical implementation of computational methods. Jian Chen appears to be actively mentoring students, as evidenced by the numerous collaborative publications, though specific student names aren't detailed in the DBLP records. The research spans both fundamental algorithm development and applied problem-solving across various engineering and computer science domains.

Kristina Bayerمشاهده پروفایل

پژوهشگر

• Sponge-Microbe Symbiosis
• Marine Microbiology
• Microbial Genomics
• +۴ مورد دیگر

Dr. Kristina Bayer is a Researcher at the GEOMAR Helmholtz Centre for Ocean Research Kiel, specializing in Marine Ecology and Marine Symbioses. Her primary focus is on sponge-microbe symbiosis, microbial genomics, and advanced techniques like FACS sorting. She leads the Research Unit: Marine Symbioses within Research Division 3 at GEOMAR. Her work bridges cellular biology, microbial ecology, and environmental science, emphasizing symbiotic interactions in marine systems. Key research areas include nitrogen and phosphorus cycling through marine sponges, microbial community dynamics, and symbiont function. She has pioneered novel in-vivo phagocytosis assays and contributed to understanding Chloroflexi dominance in deep-sea sponges. Her methods integrate fluorescence microscopy, metagenomics, and single-cell genomics. Bayer collaborates widely, including on projects like CRC 1182 and PoF IV, and operates a MoFlo Astrios EQ Cell Sorter for microbial and cellular research. Her work has been published in leading journals like Frontiers in Marine Science and The ISME Journal, with chapters in books such as Frontiers in Invertebrate Physiology . Her lab focuses on symbiotic mechanisms, environmental adaptation, and metaorganism research. She actively engages in international conferences and symposia, advancing the field of marine symbiosis and microbial ecology.

Lars Mönchمشاهده پروفایل

استاد

• Sustainable Manufacturing
• Production Planning and Scheduling
• Optimization Algorithms
• +۳ مورد دیگر

Prof. Lars Mönch is a Professor at the Faculty of Mathematics and Computer Science, leading the Chair of Enterprise-wide Software Systems at FernUniversität in Hagen. His research focuses on integrating sustainability into production planning and scheduling in high-tech industries, particularly the semiconductor sector. He develops optimization methods like linear programming, simulation-based optimization, and metaheuristics to address energy efficiency and carbon footprint reduction. Key projects include the Energy-Efficient Batch Optimization Algorithms (E2BOA), funded by the NRW Ministry. This project applies genetic algorithms to reduce energy costs and carbon emissions in wafer fabrication by optimizing batch processing under time-dependent energy tariffs. Results show potential savings of 25% in energy costs. His work bridges theoretical models with practical implementation in industrial settings. Publications highlight advancements in scheduling algorithms balancing production deadlines and energy expenses. Collaborations with industry partners ensure real-world applicability of his research outcomes.

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.

Miriam Föller-Nordمشاهده پروفایل

استاد

• Embedded Systems
• Medical Informatics
• IoT/Industry 4.0
• +۳ مورد دیگر

Prof. Miriam Föller-Nord is the Dean of the Faculty of Computer Science at Mannheim University of Applied Sciences since March 2014. She has held academic positions since 2004, including leading the Institute for Embedded and Mobile Computing (2008–2015). Her research focuses on Embedded Systems, IoT/Industry 4.0, Medical Technology, and Networking. She advises students on topics such as Mobile Systems, IoT, and MedTech. Education: Postdoctoral research at the German Cancer Research Center (1997–1998) in medical physics, developing Multileaf Collimators for radiation therapy. Professional Highlights: Prior to academia, she worked at Siemens Medical Solutions (2003–2004) and MRC Systems GmbH (1999–2002), leading projects in embedded systems and medical device software. Her expertise includes real-time microcontroller programming and software development in C++/Visual Basic. Leadership Roles: As Dean, she oversees faculty operations and collaborates on initiatives like the MARS Center for Entrepreneurship. She also served as Program Leader for the Institute of Embedded and Mobile Computing, driving interdisciplinary research in IoT and Industry 4.0 applications. Labs/Teams: Former director of the Institute for Embedded and Mobile Computing, fostering innovation in medical embedded systems and IoT.

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.

Bodo Bernsdorfمشاهده پروفایل

مدرس

• Geoinformatics
• Risk Management
• Remote Sensing
• +۳ مورد دیگر

Bodo Bernsdorf is a Lecturer in Geoinformatics and Spatial Analysis at Technische Hochschule Georg Agricola (THGA) and Karlsruhe University of Applied Sciences, specializing in Geomonitoring in mining, risk management, and geospatial technologies. He also serves as a Senior Consultant at the Post-Mining Research Center and holds leadership roles in fire department and emergency response initiatives. His career spans over three decades, with expertise in geoinformatics, remote sensing, and disaster management. Education: PhD in Physical Geography from the University of Trier (2000), with research on snowmelt erosion in Canada. Earlier studies at the University of Cologne and Trier. Research Interests: Integration of UAVs, thermal imaging, and sensor networks for environmental monitoring, risk assessment in gas infrastructure, and spatial data applications in firefighting and disaster response. Key areas include geospatial data infrastructure, emergency routing systems, and interdisciplinary approaches to safety and environmental management. Recent Research Trends: Focus on unmanned aerial vehicles (UAVs) for gas leak detection, satellite-based flood monitoring, and geospatial tools for emergency services. His work bridges academic research with practical applications in public safety and environmental policy. Professional Memberships: President of the German Geoinformation Association (until 2009), leader of the Research Committee in the VdF NRW e.V., and key roles in the vfdb e.V. communications committee. Advisory Roles: Project leader in gas safety (KaMonSys), routing optimization for volunteer fire departments, and geospatial infrastructure development for municipalities. Labs/Teams: Active in the Post-Mining Research Group and collaborates with institutions like the Institute of the Fire Department NRW and the EFTAS Remote Sensing company.

Rolf H. Möhringمشاهده پروفایل

استاد

• Combinatorial Optimization
• Graph and Network Algorithms
• Operations Research
• +۶ مورد دیگر

Prof. Rolf H. Möhring is a Professor at the Department of Mathematics, Faculty II – Mathematics and Natural Sciences, Technical University of Berlin. He specializes in Combinatorial Optimization, Graph and Network Algorithms, and Operations Research with applications in industrial and transportation systems. His research bridges theoretical foundations and practical implementations, addressing challenges in scheduling, distributed computing, and algorithmic game theory. Key research interests include graph algorithms, project scheduling optimization, and robust optimization methodologies. Notable contributions span network flow analysis, traffic equilibrium design, and logistics optimization in container terminals and shipping routes. Awards: 2025 Research.com Mathematics in Germany Leader Award, 2010 EURO Gold Medal. Publications: Over 127 papers with 16,279 citations in Computer Science and 113 papers with 15,733 citations in Mathematics. His work frequently explores combinatorial structures, invariant theory, and practical applications in distributed systems. His advising focuses on PhD students in combinatorial optimization and algorithmic theory, with contributions to the Mathematics Genealogy Project. Collaborations include industrial projects like Kiel Canal ship traffic optimization and AGV routing in container terminals, emphasizing real-world problem-solving through mathematical frameworks.

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

پژوهشگر

• Real-Time Systems
• Computer Architecture
• Systems Programming
• +۳ مورد دیگر

Thomas Zerulla is a Researcher affiliated with the Computer Science Department at the Wilhelm Büchner Hochschule. He is part of the Fachbereich Informatik und Kommunikation (FB 3) and works under the supervision of Prof. Dr.-Ing. Dipl. Inform. Hartmut Surmann. His research focuses on Real-Time Systems , Computer Architecture , and Systems Programming , with an emphasis on practical applications in embedded systems and software development. He is based at the Neidenburger Str. 43 campus in Gelsenkirchen, Germany, and can be reached via room A4.0.16. Contact details include a direct telephone number (0209/9596-481) and fax (0209/9596-838).

• Artificial Intelligence
• Machine Learning
• Computer Vision
• +۷ مورد دیگر

Jia Liu is a Professor at Tsinghua University's School of Information Science and Technology, Department of Computer Science, with a distinguished research career spanning multiple disciplines in computer science and engineering. Her extensive publication record demonstrates leadership in artificial intelligence, machine learning, and their applications across diverse domains. Dr. Liu's research interests encompass the development and application of advanced computational techniques to solve complex real-world problems. She has pioneered innovative approaches in neural network architectures, medical imaging analysis, remote sensing applications, and multi-agent systems. Her work on Asym-UNet and ThreeF-Net has significantly advanced breast lesion segmentation techniques, while her contributions to digital twin technology have enhanced nuclear reactor operations and Martian exploration systems. Analysis of Dr. Liu's recent publications reveals a strong trend toward interdisciplinary research that bridges theoretical computer science with practical applications in healthcare, environmental monitoring, defense technology, and education. Her work demonstrates consistent innovation in algorithm development, particularly in adapting machine learning techniques to domain-specific challenges. Dr. Liu maintains an active research program with numerous collaborations across academia and industry. Her work on federated learning for dual carbon initiatives reflects her commitment to addressing global sustainability challenges through technological innovation. As an educator, Dr. Liu has developed innovative teaching methodologies that integrate virtual reality and game-based learning, particularly in language education. Her research on interactive e-learning environments demonstrates her dedication to improving educational outcomes through technology.

Raymond O. Wellsمشاهده پروفایل

استاد

• Complex Analysis
• Wavelet Analysis
• Differential Geometry
• +۳ مورد دیگر

Raymond O. Wells is a Distinguished Professor of Mathematics at the School of Computer Science & Engineering, Constructor University. Previously, he held roles as Professor of Mathematics and Vice President for External Affairs at Jacobs University Bremen, and served as Professor Emeritus at Rice University. His academic journey includes a BA in Mathematics from Rice University (1962) and a PhD from New York University (1965). His research focuses on complex analysis, wavelet theory, differential geometry, and the history of mathematics. Notable contributions include foundational work on complex manifolds, cohomology in theoretical physics, and applications of wavelet analysis in signal processing. He has authored influential books such as *Differential Analysis on Complex Manifolds* and *Wavelet Analysis: The Scalable Structure of Information*. Wells has received prestigious awards including the Guggenheim Fellowship (1974–1975) and Humboldt Senior Scientist Award. Beyond academia, he has served as President of the Boulder Philharmonic Orchestra and the Boulder Ensemble Theatre Company. His career reflects a blend of mathematical rigor and interdisciplinary engagement, spanning academic leadership, research innovation, and cultural contributions.

• Operations Research
• Optimization
• Network Flows
• +۳ مورد دیگر

Prof. Horst W. Hamacher is a Professor in the Department of Optimization at the University of Kaiserslautern's Faculty of Mathematics. His research focuses on optimization, operations research, and their applications in logistics, healthcare, and disaster management. Key areas include network flow optimization, evacuation planning models, radiation therapy treatment design, and hub location problems. He leads the Optimization Group (AG Optimierung), developing algorithms for complex systems. His work integrates theoretical advancements with practical solutions, such as minimizing beam-on time in radiation therapy and optimizing urban evacuation routes. He has authored/co-authored over 100 journal papers and book chapters, including seminal contributions to facility location theory and dynamic network flows. Collaborations span academic and industrial partners, addressing challenges in public transportation, medical engineering, and sustainable urban planning. Notable projects include the 'OptionS' initiative for sustainable water management optimization and the 'FlowLoc' framework for evacuation dynamics. He actively contributes to interdisciplinary education, bridging mathematics with real-world applications like robotic assembly and infrastructure design.

Alessandro Biondiمشاهده پروفایل

دانشیار

• Real-Time Systems
• Embedded Systems
• Cyber-Physical Systems
• +۶ مورد دیگر

Alessandro Biondi is an Associate Professor at Scuola Superiore Sant'Anna in Pisa, Italy, affiliated with the Real-Time Systems Laboratory and the Department of Excellence in Robotics & AI. His research focuses on real-time and embedded systems, cyber-physical systems, and security for critical systems. Biondi's work spans real-time operating systems, virtualization, schedulability analysis, safe machine learning for CPS, and synchronization protocols. He collaborates extensively with industry partners in automotive, railway, avionics, and drone domains, working on projects involving autonomous driving software, safety-critical systems, and multi-domain platforms. He has received several prestigious awards including the IEEE TCCPS Early Career Award and ACM SIGBED Early Career Award. Biondi serves as Associate Editor for several journals including IEEE Transactions on Emerging Topics in Computing and Springer Real-Time Systems.