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

Bernhard Seyfangمشاهده پروفایل

استاد

• Chemical Reaction Engineering
• Extraction Centrifuges
• Hydrogen Production
• +۳ مورد دیگر

Prof. Bernhard Seyfang is a Professor of Chemical Engineering at TH Bingen since 2018, concurrently serving as Head of the Energy and Process Engineering (B.Sc.) program and Senate member. He holds a doctorate from ETH Zurich/Paul Scherrer Institute and has professional experience with Enymotion GmbH and Lonza AG. He also serves as a guest lecturer in the Chemical Engineering Master's program at the University of Innsbruck. Education: Bachelor/Master in Chemical Engineering, University of Karlsruhe (TH) Doctorate in Chemical Engineering, ETH Zurich/Paul Scherrer Institute Research Focus: His work spans chemical reaction engineering, extraction centrifuges, hydrogen production, fuel cell technologies, and decarbonization strategies. He emphasizes process optimization and modular system design, with notable contributions to PEM fuel cell water management and microstructural innovations. Publications: His research traces advancements in fuel cell diagnostics (2007–2009), 3D-printed materials (2020), and process design software (2021). Key themes include energy system efficiency, material characterization, and modular manufacturing strategies. Professional Roles: Editor-in-Chief of ChemEngineering journal, industry collaborations with Enymotion and Lonza AG, and academic leadership in program development and strategic Senate governance. Labs/Teams: Active in interdisciplinary teams at TH Bingen focusing on decarbonization (Decarbon Cast initiative) and modular chemical processing systems.

Johannes Reuterمشاهده پروفایل

استاد

• Control Engineering
• Autonomous Systems
• Maritime Control
• +۳ مورد دیگر

Prof. Johannes Reuter is a Professor in the Department of Control Engineering at Konstanz University of Applied Sciences and a member of the Institute for System Dynamics (ISD). He serves as Vice Dean and Dean of Studies for the Electrical Systems M.Eng. program. His expertise includes control engineering, tracking, and multi-sensor data fusion. Reuter holds a doctorate in Automatic Control and System Dynamics from Berlin Technical University. Before joining Konstanz in 2007, he worked at IAV GmbH, IAV Automotive Engineering (USA), and Eaton Corp.'s Innovation Center (USA). His research focuses on autonomous systems, maritime control, and optimization algorithms, with contributions to conferences like ICRA and journals such as the Journal of Ocean Engineering. He leads projects on energy-efficient autonomous vessels (Solgenia) and advanced control strategies for dynamic systems. Education: Studied Mathematics/Physics at Bielefeld University Electrical Engineering degrees from Bielefeld University of Applied Sciences and Berlin Technical University Doctorate in Automatic Control and System Dynamics, Berlin Technical University Research Interests: Reuter’s work bridges theoretical control engineering with practical applications, emphasizing autonomous systems, maritime robotics, and sensor data fusion. Key areas include model predictive control (MPC), trajectory optimization, and energy-efficient vessel design. His research often integrates advanced algorithms like MPPI (Model Predictive Path Integral) for stochastic systems and develops methods for extended object tracking using LiDAR and radar sensors. Publications: Recent work highlights energy-optimal vessel docking, trajectory planning with signal temporal logic, and extended object tracking. His articles reflect a focus on interdisciplinary solutions combining control theory, robotics, and sensor technology. Awards/Grants: No specific awards listed, but his work is supported through academic and industrial collaborations. Labs/Teams: Active in the Institute for System Dynamics (ISD), Konstanz, which focuses on control systems, signal processing, and dynamic optimization across robotics, marine systems, and energy management.

Cătălin Hrițcuمشاهده پروفایل

استاد مدعو

• Formal Methods for Security
• Secure Compilation
• Compartmentalization
• +۱۲ مورد دیگر

Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany, and an Adjunct Professor at Ruhr University Bochum's Faculty of Computer Science. He is involved in the CASA Cluster of Excellence and HGI at RUB. PhD in Computer Science from Saarland University Habilitation in Computer Science from École Normale Supérieure (ENS) Paris Former Tenured Researcher at Inria Paris Postdoctoral Research Associate at University of Pennsylvania Visiting Researcher at Microsoft Research Redmond His research spans formal methods for security , focusing on secure compilation, memory safety, compartmentalization, information flow control, and security protocols. In programming languages , he explores program verification, proof assistants like F*, dependent types, formal semantics, and mechanized metatheory. He also works on verifying security-critical systems such as reference monitors, compilation chains, and tagged architectures. His recent publications (2015–2025) emphasize secure compilation techniques, relational program logics, memory safety, and proof automation in F*. Key trends include formal verification of IO programs, high-speed cryptography, and cross-component security analysis. Scientific Awards : ERC Starting Grant on Formally Secure Compilation Distinguished Paper Awards at CSF Symposium (2019, 2021, 2025) Hrițcu has advised numerous PhD students and collaborated on F* verification system development. He has served on program committees for CPP, POPL, PriSC, and ICFP, and organized artifact evaluation committees. He leads the Formally Verified Security group at MPI-SP and contributes to the CASA Cluster of Excellence, focusing on formal verification of security-critical systems and advancing secure compilation frameworks.

Marco Vassenaمشاهده پروفایل

استادیار

• Programming Languages
• Security
• Language-based Security
• +۷ مورد دیگر

Marco Vassena is an Assistant Professor in the Department of Information and Computing Sciences at Utrecht University, Netherlands. His research bridges Programming Languages and Security, developing principled methods to build systems with reliable security guarantees through language-based techniques. Previously, he served as a visiting assistant professor at Stanford University and as a postdoctoral researcher at CISPA Helmholtz Center for Information Security, where he co-founded the CISPA-Stanford Center for Cybersecurity. Education PhD in Computer Science, Chalmers University of Technology (supervised by Alejandro Russo) Dr. Vassena specializes in language-based security, with core expertise in memory safety (particularly for WebAssembly via his MSWasm framework), constant-time programming for cryptographic code, information flow control, and defenses against microarchitectural attacks like Spectre. His work applies type systems, compilers, program analysis, and formal verification to create practical security solutions for real-world systems, often targeting low-level vulnerabilities in hardware and software interactions. Analysis of his 15 most recent publications reveals a clear evolution: starting with foundational work on information flow control for concurrent and lazy programs (2016-2019), progressing to memory safety for WebAssembly (2019-2023), and culminating in robust constant-time cryptography (2021-2025). A consistent theme is addressing hardware-level vulnerabilities through compiler and language techniques, with increasing focus on practical implementations for WebAssembly and cryptographic systems. Scientific Awards Veni grant (2023) - Prestigious Dutch Research Council award for early-career researchers Dr. Vassena actively mentors future researchers through Utrecht University's PhD program, currently advertising open positions for candidates interested in applying compilers and program analysis to security challenges. His Veni grant funds these efforts while supporting his research on verified security techniques. He contributes extensively to the academic community as program committee member for POPL, PLDI, and PriSC conferences, and has organized workshops including PLMW@PLDI and PriSC sessions. His collaborations span institutions like CISPA Helmholtz Center and Stanford University, often focusing on WebAssembly security and microarchitectural attack defenses.

• Programming Languages
• Formal Methods
• Smart Contracts
• +۲ مورد دیگر

S. Hitarth is a researcher affiliated with the Hong Kong University of Science and Technology . He contributed to the OOPSLA track at SPLASH 2023 with two publications focusing on automated synthesis techniques for smart contracts and polynomial programs. His work spans programming languages, algorithm design, and formal verification methodologies.

• Computer Science
• Programming Languages
• Formal Methods
• +۲ مورد دیگر

Amy Zhu is a researcher affiliated with the University of Washington. She actively contributes to the fields of programming languages, formal methods, and embedded systems through publications in conferences like SPLASH, FARM, and POPL. Research Interests: Equality saturation and term rewriting for program optimization. Domain-specific language design for embedded systems and textile engineering. Automated reasoning in compiler construction and formal verification. Recent Contributions: Published work on modular equality saturation frameworks (SPLASH 2023). Explored self-embedded knitting programs via Twine (FARM 2023). Developed rewrite rule inference techniques (SPLASH 2021).

Zhenyang Xuمشاهده پروفایل

پژوهشگر

• Software Testing
• Debugging
• Program Reduction
• +۲ مورد دیگر

Zhenyang Xu is a researcher affiliated with the University of Waterloo, specializing in Software Testing and Debugging . He has contributed to advancements in program reduction techniques, including projects like PPR (Pairwise Program Reduction), WDD (Weighted Delta Debugging), and LPR (Large Language Models-Aided Program Reduction). His work focuses on improving the efficiency and effectiveness of debugging through empirical studies and novel algorithms. Research Interests : Software Testing, Debugging, Program Reduction, Software Engineering Key Publications : Kitten (2025, ISSTA) for LLM-based compiler testing T-Rec (2025, ICSE) on lexical syntax-guided reduction Pushing the Limit of 1-Minimality (2023, SPLASH) Conferences : Active in ISSTA, ICSE, SPLASH, ESEC/FSE

Federico Olmedoمشاهده پروفایل

استادیار

• Program Verification
• Probabilistic Programming
• Language-Based Security
• +۵ مورد دیگر

Federico Olmedo is an Assistant Professor at the Computer Science Department of the University of Chile, where he teaches courses like Program Analysis and Verification ( CC4101 ) and Discrete Mathematics for Computer Science ( CC3101 ). His research focuses on the semantics and verification of probabilistic programs , with applications in language-based security , differential privacy , and formal verification of cryptographic systems . Previously, he was a postdoctoral researcher at RWTH Aachen University and earned his PhD from the Technical University of Madrid in 2014. Research Interests : Program Verification Probabilistic Programming Language-Based Security Theorem Provers Quantum Computing Cryptographic Proofs Publications span formal methods for probabilistic programs, including weakest precondition calculi , runtime analysis of quantum programs , and machine-checked proofs for cryptographic protocols . Notable works include the Best Theory Paper Award at ECOOP 2016 and foundational research on conditioning in probabilistic programming . He co-developed the CertiCrypt and CertiPriv frameworks for verifying cryptographic proofs and differential privacy in Coq. Scientific Awards : ECOOP 2016 Best Theory Paper Award

• Formal Methods
• Graph Databases
• Property Graph Schema
• +۵ مورد دیگر

Ştefania-Gabriela Dumbravă is an Associate Professor at Institut Polytechnique de Paris (ENSIIE/Samovar Laboratory). Her research focuses on formal methods for graph database algorithms , including schema design, query processing, and verification. She contributes to international standards through co-chairing VLDB 2026 Demonstration Track and organizing workshops like VLDB Summer School 2025 . Dumbravă serves on editorial boards (e.g., ACM Transactions on Database Systems ) and program committees for top-tier conferences ( SIGMOD , ICDE ). Research Interests include formal verification of graph databases , property graph schema constraints , certified inference engines , and distributed graph systems . She integrates proof assistants (Coq, Isabelle) with practical database development, emphasizing reliability and mechanical correctness . Her work spans theoretical foundations (e.g., category theory , type theory ) and real-world applications (e.g., transit accessibility analysis , SDN controllers ). Selected Scientific Awards : EASST Best Software Science Paper Award (ICGT 2025) SIGMOD Best Paper Award (2023) VLDB Best Regular Paper Runner-Up (2022) D4Gen Hackathon 3rd Prize Teaching includes Graph Databases , Functional Programming , and Formal Languages at ENSIIE, with additional roles at Université Paris-Saclay, ENS Lyon, and Université Rennes 1. She supervises research internships and participates in gender parity initiatives (e.g., Paris-Saclay Women & Science Mentorship Program).

Giuditta Paroliniمشاهده پروفایل

پژوهشگر

• Biodiversity Informatics
• Data Management
• Machine Learning
• +۲ مورد دیگر

Dr. Giuditta Parolini is a data scientist at the Leibniz Institute for Evolution and Biodiversity Research in Berlin. Her work focuses on sustainable data practices and machine learning applications in biodiversity informatics. She previously held postdoctoral positions at Technische Universität Berlin and has a multidisciplinary background in theoretical physics, science communication, and the history of science. Develops automated solutions for DOI registration and biodiversity data management Conducts seminars on best practices in scientific data stewardship Currently enrolled in a master's program in decision analysis and data science at the University of Stockholm Her 2023 publications highlight: Frameworks for sustainable biodiversity data infrastructures Machine learning integration with historical knowledge in colonial object classification API-driven automation for research data workflows Development of eco-efficient data management strategies

Hassan Husseinمشاهده پروفایل

پژوهشگر

• Semantic and Web Technologies
• Human-Computer Interaction
• Web Accessibility
• +۵ مورد دیگر

Hassan Hussein is a PhD student at Leibniz University Hannover and a Researcher in the Data Science & Digital Libraries group at TIB (Leibniz Information Centre for Science and Technology). His academic journey includes a Master's in Human-Computer Interaction from Siegen University, a Fulbright Scholarship for computer science studies in the U.S., and specialized training in web development from an IBM-managed program funded by the Egyptian government. His research integrates Semantic Web Technologies, Human-Computer Interaction, and Augmented Reality , with emphasis on accessibility and user-centered design. Key domains include natural user interfaces, UX engineering, and the application of knowledge graphs in scholarly communication. Recent publications focus on advancing the Open Research Knowledge Graph (ORKG) , addressing reproducibility, FAIR data principles, and AI-augmented research workflows. Earlier work explores augmented reality for civic engagement in urban planning. Awards: Fulbright Scholarship Egyptian Ministry of Communications Scholarship He contributes to TIB's research infrastructure and collaborates on projects involving semantic technologies, though no specific labs, teams, or grants are detailed in the source.

Wolfgang Oertelمشاهده پروفایل

استاد

• Computer Graphics
• Computer Vision
• Scientific Visualization
• +۵ مورد دیگر

Wolfgang Oertel serves as Professor of Computer Graphics at Dresden University of Applied Sciences (HTW Dresden) within the Faculty of Informatics and Mathematics. He has held significant leadership roles including Dean of Studies (2009-2012) and Dean (2012-2015) for his faculty, and coordinated international university partnerships (2007-2011). His academic career spans over four decades with appointments at TU Dresden (1984-1998), FhG/IVI Dresden (1999-2004), and TUBA Freiberg (visiting positions in 1998-1999 and 2004-2005). Professor Oertel's research spans computer graphics, computer vision, virtual reality, and artificial intelligence with emphasis on practical applications. His work integrates knowledge representation with visual systems, focusing on spatiotemporal modeling, scientific-technological visualization, and CAD-oriented IT systems. Current projects include the Saxony5 Co-Creation Lab for Artificial Intelligence (2021) and systems for image data processing in scientific infrastructure (SEVVBWG series 2020-2023). His publication trends reveal consistent evolution from database/knowledge processing (1980s-1990s) to computer vision applications (2000s) and sophisticated AI-integrated visualization systems (2010s-present). Recent work focuses on heterogeneous traffic data visualization, knowledge-based graphic object synthesis, and conceptual frameworks bridging AI with virtual reality. Key technical domains include VRML/X3D, OpenCV, VTK, and specialized hardware integration. Award for integrated data processing (Integrata AG Tübingen, 1995) Oertel actively supervises graduate works and leads multiple research projects including Saxony5CCLKI (2021), SEVVBWG2 (2023), and GWMSV traffic simulation (2021). His laboratory maintains extensive equipment including stereo displays, 3D cameras, microscopes, VR headsets, and robotic platforms supporting research in virtual intelligent environments. Current teaching includes Computer Graphics I/II, CAD systems, and Computer Vision courses across multiple informatics programs.

• Production Engineering
• Electrical Engineering
• Industry 4.0
• +۵ مورد دیگر

Dr. Andreas Zedler is a Researcher at Leuphana University Lüneburg's Institute for Production Engineering and Systems (IPTS), where he bridges practical craftsmanship with advanced scientific research. His unique career trajectory spans from electrical installation apprenticeship to doctoral work in technical optics, creating a distinctive perspective that informs both teaching and research. Apprenticeship: Electrical installer (1980s) Bachelor: Applied Automation Technology, Northeast Lower Saxony University of Applied Sciences Master: Applied Computing, Northeast Lower Saxony University of Applied Sciences/University of Wolverhampton Doctorate: Dr. rer. nat. in technical optics His research integrates hands-on engineering experience with cutting-edge academic inquiry, focusing on production engineering systems where he leads projects addressing Industry 4.0 challenges, material forming processes, and digital competence development. Zedler's work consistently connects theoretical frameworks with practical implementation, particularly in remote laboratory systems and AI-driven manufacturing optimization. Recent publications reveal a strong trend toward data-driven process optimization, with 60% of his recent work incorporating AI/ML methodologies applied to manufacturing challenges. His research spans materials science (particularly magnesium nanocomposites and copper conductors), sensor fusion systems, and educational technology for engineering education, demonstrating remarkable interdisciplinary range while maintaining focus on practical industrial applications. Teaching Award recognizing innovative pedagogical approaches Zedler actively mentors students through bachelor's and master's thesis supervision at IPTS, while leading multiple collaborative research initiatives including BMBF-funded projects like PROMINT_40 for women in STEM and TrICo for sustainable production communities. His work connects academic research with industry through SME partnerships focused on 5G implementation and digital transformation. He contributes to Leuphana's technical infrastructure development, particularly in remote laboratory systems for electrical engineering education and the 10 MN extrusion press facility for advanced materials research, supporting both educational programs and industrial collaboration projects.

• Geobotany
• Landscape Ecology
• Plant Ecology
• +۷ مورد دیگر

Professor Michael Rudner is a faculty member at the Weihenstephan-Triesdorf University of Applied Sciences , Department of Environmental Engineering, where he has served as Professor of Geobotany since 2013. Previously, he held academic positions at the University of Freiburg (1998-2013) and the University of Oldenburg (2001-2004). His education includes a diploma in geoecology (University of Bayreuth, 1992), Maîtrise de Biologie (Université de Montpellier, 1989), and PhD in geobotany (University of Freiburg, 2004). Research Focus: Geobotany, landscape ecology, plant functional traits in serpentine ecosystems, GIS applications, statistical analysis of ecological patterns, biodiversity in cultural landscapes Projects: WISAVI (biodiversity promotion in agriculture), spatial pattern analysis in Mediterranean shrublands, industrial biodiversity monitoring frameworks Teaching: Geobotany, GIS in environmental planning, quantitative ecological methods, renewable energy ecology His recent publications analyze plant drought strategies in nutrient-poor soils , remote sensing for ecological connectivity , and statistical frameworks for vegetation analysis . He has supervised 26+ students in environmental engineering and agriculture, with special attention to agroecology-ecology interactions . As former Dean (2015-2019) and current committee member in air pollution control, he emphasizes interdisciplinary approaches and applied conservation strategies .

Brian Valeriusمشاهده پروفایل

استاد

• Criminal Law
• Criminal Procedure
• Medical Law
• +۷ مورد دیگر

Professor Brian Valerius holds the Chair of Artificial Intelligence in Criminal Law at the University of Passau since October 2022. His research spans substantive criminal law, criminal procedure, medical law, and legal challenges posed by digitalization and artificial intelligence. He emphasizes the legal requirements for AI transparency, programming standards, and algorithmic applications in law enforcement and judicial practice. Academic Focus: Criminal law, medical law, AI regulation, digitalization Key Research Areas: Cross-border digital investigations, cultural values in criminal law, legal tech applications Publications & Expertise: His work includes monographs on Investigations by Law Enforcement in Internet Communication (2004) and Cultural Values in German Criminal Law Doctrine (2009), along with contributions to major legal commentaries and textbooks. Recent articles address AI ethics, digital hate speech, and healthcare fraud. Academic Leadership: As a Chair holder at the Faculty of Law, he contributes to one of Germany’s most renowned institutions for interdisciplinary digitalization research and legal education.