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

Yannis Velegrakisمشاهده پروفایل

استاد

• Big Data Management & Analytics
• Knowledge Discovery
• Graph Management
• +۱۵ مورد دیگر

Yannis Velegrakis is a Professor in the Department of Information and Computing Sciences at Utrecht University, where he holds the chair of Very Large Data Management. He leads the Data Intensive Systems research group and is the program leader for the Master’s in Data Science . He is also a part-time faculty member at the University of Trento and a Principal Investigator at the Archimedes AI and Data Science hub, Athena Research Center . Education: PhD in Computer Science, University of Toronto MSc in Computer Science, University of Crete BSc in Computer Science, University of Crete His research focuses on Big Data Management & Analytics , Knowledge Discovery , Graph Management , Data Integration , and Data Quality . His work combines theoretical rigor with practical system development, emphasizing human-centered approaches to data exploration and analysis. He has pioneered methods in example-based search, entity resolution, and dynamic graph analysis. His recent publications reflect a strong trend in knowledge graph exploration , data quality assessment , and dynamic network mining . These works often integrate machine learning with database systems to support interactive and intelligent data discovery. His research bridges foundational data management with applied AI, particularly in the context of real-world data challenges. Scientific Leadership and Awards: PC Chair, ICDE 2024 General Chair, VLDB 2013 PC Chair, EDBT 2021 He has advised numerous researchers and contributed to major projects in data integration and semantic search. His secondary activities include visiting positions at IBM Almaden , AT&T Research Labs , UC Santa Cruz , and University of Paris-Saclay . He has secured funding through collaborative research initiatives and has served on program committees of top international conferences. He leads the Data Intensive Systems group, which develops innovative tools for managing and exploring large-scale, heterogeneous datasets. The group emphasizes systems that support intuitive, example-driven interaction with complex data, aligning with the principles of human-centered AI.

Florian Frohnمشاهده پروفایل

مدرس

• Program Verification
• Termination Analysis
• Complexity Analysis
• +۱۱ مورد دیگر

Florian Frohn is a tenured lecturer ("Lehrkraft für besondere Aufgaben") in the Programming Languages and Verification research group at the Department of Computer Science, RWTH Aachen University. He holds a Dr. rer. nat. (2018), MSc (2013), and BSc (2011) in Computer Science, all from German institutions, with his bachelor's studies completed part-time. His research interests center on formal methods for software verification, including automated termination and complexity analysis of imperative programs, satisfiability of Constrained Horn Clauses (CHCs), SMT solving with integer exponentiation, loop acceleration, term rewriting systems, and abstract interpretation. He is a key contributor to several influential tools: LoAT (Loop Acceleration Tool), AProVE (Automated Program Verification Environment), and SwInE; he also worked on Astrée and the CAGE toolchain developed under the DARPA STAC program. His recent publications (2023–2024) demonstrate continued leadership in top venues such as FM, IJCAR, FoSSaCS, and SAS, with work advancing loop acceleration, non-termination proofs, and SMT solving. These contributions reflect a strong trend in developing practical, automated techniques for program verification and analysis. IJCAR Best paper honourable mention (2024) EASST Award for best ETAPS paper (2020) iFM Best Tool Paper Award (2017) ISR Best Poster Award (2017) SEFM Recognition Award (2016) CADE Woody Bledsoe Travel Award (2016) Florian Frohn actively contributes to the research community through program committee roles for major workshops and conferences including TACAS, HCVS, WST, SMT, and LPAR. He has advised no listed students but has been involved in mentoring through research collaborations. His teaching portfolio includes courses on verification techniques, satisfiability checking, and advanced programming concepts. He leads the Termination and Complexity Competition (termCOMP) and participates in organizing key events in the formal methods community.

Luca NEGRINIمشاهده پروفایل

پژوهشگر

• Static Analysis
• Blockchain Technology
• Computer Science
• +۳ مورد دیگر

Luca Negrini is a Researcher at the Department of Environmental Sciences, Computer Science and Statistics of Ca' Foscari University of Venice. He is affiliated with the Research Institute for Complexity. His work focuses on static analysis techniques applied to blockchain smart contracts, formal methods, and software verification. He contributes to projects like the LiSA framework for multilanguage static analysis and has published extensively on topics such as Hyperledger Fabric security, Tezos smart contracts, and ROS2 security policies extraction. Research interests include blockchain technology, static analysis methodologies, formal verification, and concurrency issues in distributed systems. Recent work emphasizes detecting vulnerabilities in smart contracts (e.g., read-write issues, phantom reads) and developing tools for automated policy extraction in robotics and microservices. He collaborates closely with academic and industry partners, as evidenced by numerous co-authored articles in venues like IEEE Access and ACM conferences. Publications reflect a trend toward addressing security and correctness in distributed systems, with a focus on practical applications of formal methods. His contributions bridge theoretical computer science with real-world challenges in blockchain and software engineering. No scientific awards are explicitly mentioned in the provided texts.

Burcu Kulahcioglu Ozkanمشاهده پروفایل

استادیار

• Formal Methods
• Software Testing
• Concurrent Systems
• +۷ مورد دیگر

Burcu Kulahcioglu Ozkan is an Assistant Professor and Delft Technology Fellow at the Delft University of Technology (TU Delft) Software Engineering Research Group (SERG). Her research bridges formal methods with software engineering to enhance the reliability of concurrent and distributed systems , with applications in blockchain systems and graph databases . Recipient of Amazon Research Award (2022) and Stellar Academic Research Grant (2023) Founder of the FORSE Lab , focusing on lightweight formal methods for software engineering Co-PI of Ripple’s UBRI program at TU Delft, targeting blockchain testing Co-leader of the TU Delft-JetBrains AI4SE collaboration track Her research spans model checking , debugging , and fuzz testing , addressing challenges in event interleavings and network faults in distributed systems. She has received multiple best paper awards , including OOPSLA’23 Distinguished Paper and ICGT’25 Best Software Science Paper . She serves on program committees for major conferences like ICSE’26 , CAV’25 , and ECOOP’25 , and has delivered invited talks at VLDB Summer School (2025), Sabanci University (2024), and Dagstuhl Seminars (2023).

Eddy Widjajaمشاهده پروفایل

استاد

• Didactics in Structural Design
• Wide-Span Structures
• Spatial Structural Designs
• +۳ مورد دیگر

Prof. Dr.-Ing. Eddy Widjaja is a Professor of Structural Engineering and Constructive Design at Beuth University of Applied Sciences Berlin. He holds a Doctorate in Engineering from Technical University of Berlin (1997) and has held academic positions at TU Berlin, Berlin University of the Arts, and HTWK Leipzig. His research spans didactics in structural design, wide-span and hybrid structures, rammed earth reinforcement, and strip foundation behavior. His recent publications focus on structural planning fundamentals, including mathematical principles, load transfer, and material-specific design for steel, concrete, and timber. A 2014 Beuth Teaching Award winner, he emphasizes critical thinking and material application over pure calculation. Key structural projects include the Kadon Parish Church (Vietnam, 2016), Gando School (Burkina Faso), and collaborations with firms like Heinle Wischer and Partner and Wayss & Freytag Ingenieurbau AG . His teaching integrates cross-material fundamentals and holistic planning. 2014: Beuth Teaching Prize 2016: International Prize for Sacred Architecture (Kadon Church, Vietnam)

Edwin P. Maurerمشاهده پروفایل

استاد

• Climate Change
• Water Resources
• Hydrology
• +۴ مورد دیگر

Edwin P. Maurer is a Professor in the Department of Civil, Environmental and Sustainable Engineering at Santa Clara University's School of Engineering. His academic career spans over two decades with progressive appointments from Assistant Professor (2003-2009) to Associate Professor (2009-2015) and currently Professor (2015-present). He also previously served as an Adjunct Professor at Seattle University and conducted research at the University of Washington. Education: Ph.D. Civil and Environmental Engineering, University of Washington, 2002 M.S. Civil Engineering (Water Resources), University of California, Berkeley, 1989 B.S. Civil and Environmental Engineering, University of Rhode Island, 1985 Maurer's research focuses on Climate Change and its Impacts on Water Resources across the Western U.S., Central and South America, with specialization in Statistical Downscaling - the methodology for translating global climate model outputs into locally relevant climate impact assessments. His work bridges climate science and practical water resource management, addressing critical issues like drought prediction, flood frequency analysis, and stream temperature changes affecting aquatic ecosystems. His teaching portfolio includes foundational engineering courses like Statics alongside specialized water resources courses covering groundwater hydrology, GIS applications, and sustainable water management. Analysis of his recent publications reveals a consistent focus on regional climate impacts, particularly in Central America and the Western United States, with increasing emphasis on practical applications for water resource managers and policymakers. His work frequently addresses methodological challenges in climate downscaling while maintaining strong connections to real-world water management problems. Scientific Recognition: Santa Clara University Award for Sustained Excellence in Scholarship (2021) Santa Clara University Award for Recent Achievement in Scholarship (2013) Robert W. Peters Endowed Professor (2012-present) Fulbright Visiting Scholar, Chile (2011) Google Science Communication Fellow (2011) School of Engineering Researcher of the Year (2009) Packard Faculty Fellowship (2004-06) NASA Earth System Science Fellowship (1999-2001) Maurer has secured significant research funding for climate impact studies, collaborating with major institutions including NASA and the California Energy Commission. His work has practical applications in water resource planning and adaptation to climate change, particularly through the development of tools that translate complex climate data into actionable information for decision-makers. He has presented his research extensively at major climate science conferences and has engaged with international partners, particularly in Chile where he served as a Fulbright Scholar.

• Biostatistics
• Medical Informatics
• Fuzzy Logic Applications
• +۵ مورد دیگر

Professor Özkan GÖRGÜLÜ is a distinguished academic at Kırşehir Ahi Evran University Faculty of Medicine, Department of Basic Medical Sciences, where he has served as a full-time Professor since 2020. Previously, he held positions as Associate Professor (2013-2020) and Assistant Professor (2011-2013) at the same institution. His academic career includes significant administrative roles such as Department Chair (2012-2015), Deputy Dean (2012-2015), and Director of Vocational School (2011-2014). Dr. Görgülü received his Bachelor's degree from Ondokuz Mayıs University Faculty of Agriculture, Department of Animal Science (1995-1999), followed by a Master's degree (2000-2002) and PhD (2002-2007) in Animal Science from Hatay Mustafa Kemal University Institute of Science. His research spans Biostatistics, Medical Informatics, and Fuzzy Logic Applications in healthcare. Recent work focuses on anthropometric studies, diabetes research, sports biomechanics, and geriatric health assessment. His methodological expertise includes advanced statistical techniques, particularly fuzzy logic-based decision support systems applied to medical data analysis. Analysis of his recent publications reveals a strong trend toward interdisciplinary research combining biostatistical methods with clinical applications. His work spans anatomical studies, metabolic disease assessment, sports performance analysis, and public health research, demonstrating versatility in applying statistical methods across diverse medical fields. ULUSLARARASI BİLİMSEL YAYIN TEŞVİK from TÜBİTAK (2024) Yayın Teşvik Ödülü from TÜBİTAK (2024) Dr. Görgülü has supervised doctoral students including Aslı Akıllı, who completed research on nonlinear multivariate fuzzy regression analysis of agricultural data. His research portfolio includes 12 funded projects, such as studies on aging perception among Iranian elders, meteorological influences on acute myocardial infarction, and youth attitudes toward medicinal plant use. His work demonstrates significant interdisciplinary collaboration across multiple countries and medical specialties.

• Geoinformatics
• Cartography
• Geographic Information Systems
• +۳ مورد دیگر

Christoph Traun is a Researcher in Geoinformatics at Paris Lodron University Salzburg, affiliated with the International Institute for Geoinformatics. With continuous project involvement since 2001, he currently contributes to ongoing initiatives including TStour (Tien Shan tourism development, 2025-2026) and previously led roles in GI-N2K and ENERGEO projects focused on geospatial workforce development and environmental monitoring. His research centers on advanced cartographic techniques and geospatial analysis, with significant contributions to animated choropleth maps, value generalization methods, and spatial autocorrelation applications. Recent work explores AI integration in cartography (e.g., generative KI systems) and GIS education innovation, particularly examining ChatGPT's impact on teaching methodologies. He maintains strong focus on practical applications in urban planning, sustainability assessment, and tourism development. Traun's publication record reveals evolving trends from foundational GIS education research toward cutting-edge geovisualization and AI-driven spatial analysis. His 2021-2025 output demonstrates increasing emphasis on temporal data visualization, ethical AI implementation, and interdisciplinary urban studies. Award for outstanding teaching (2015) Special Achievement in GIS Award: UNIGIS (2014) As project staff in five major grants totaling over 15 years of continuous funding, Traun has secured significant resources for geospatial research including EU-funded initiatives like ENERGEO (environmental impact of energy use) and VESTA-GIS (vocational GIS training). His collaborative approach involves partnerships across Europe and Central Asia, with recent work focusing on workforce development and sustainable tourism metrics. He actively participates in the UNIGIS network and contributes to academic discourse through conference workshops and public lectures on geovisualization principles, most recently presenting at the u3Green Workshop (2024) and TStour seminar series.

Philippe Claussمشاهده پروفایل

استاد

• Compilation
• Program Optimization
• High Performance Computing
• +۳ مورد دیگر

Philippe Clauss is a Professor in computer science at the University of Strasbourg, where he earned his "Habilitation to direct research" in 2000. He previously obtained his doctorate in 1990 at the University of Besançon. His academic career centers on program compilation and optimization, with a focus on static and dynamic approaches to enhance computational efficiency in high-performance computing and multi-core architectures. Doctorate: University of Besançon (1990) Habilitation: University of Strasbourg (2000) His research integrates mathematical methods and tool development to address precise code analysis and optimization challenges, particularly in parallelization and performance critical systems. Professor Clauss advises several PhD students, including Clément ROSSETTI, Anastasios SOURIS, Raphaël COLIN, and Ugo BATTISTON. His former doctoral advisees, such as Benoît MEISTER and Alexandra JIMBOREAN, have pursued impactful careers in academia and industry globally. He leads the INRIA CAMUS research team, which drives innovation in scientific and parallel computing, aligning with his expertise in program optimization.

Omar Alrawiمشاهده پروفایل

پژوهشگر

• Software Security
• Malware Analysis
• Network Security
• +۵ مورد دیگر

Omar Alrawi is a cybersecurity researcher specializing in software security, malware analysis, and IoT security. He received his PhD in Electrical and Computer Engineering from Georgia Institute of Technology in 2023, with a focus on empirical methods to assess and defend against vulnerabilities in large-scale systems. Education: PhD in Electrical and Computer Engineering, Georgia Institute of Technology (2023) Master’s of Information Security from Purdue University (2009) Bachelor of Science in Computer Science and Mathematics from Purdue University (2007) His research involves combining network and program analysis to study IoT malware lifecycles, cloud-based mobile backends, DNS traffic for malware detection, and compiler provenance for binary-level security. He has developed practical tools like Zelos Binary Emulation and contributed to open-source repositories. Selected publications include studies at top venues such as NDSS, CCS, USENIX Security, and IEEE S&P, with a focus on IoT malware behavior, cloud security, and automated classification. His work has been recognized with awards like the President Fellowship (2016-2020) and multiple Demo Day first-place honors. Scientific Awards: CSAW’19 Applied Research Competition Finalist Create-X Launch Participant and Finalist (2019) $4,000 First Place in Cyber Security Demo Day (Research Track) - 2019 $4,000 First Place in Institute for Information Security & Privacy Demo Day (Best Idea) - 2018 $5,000 President Fellowship - 2016-2020 Omar has also released the largest IoT malware corpora to support community research and continues to advance tools for dynamic and static malware analysis through projects like BadThings.info and YourThings .

Tillmann Rendelمشاهده پروفایل

پژوهشگر ارشد

• Programming Languages
• Software Engineering
• Domain-Specific Languages (DSLs)
• +۴ مورد دیگر

Tillmann Rendel is a Research Fellow at the University of Tübingen , affiliated with the Department of Programming Languages and Software Technology . He contributes to projects involving DSLs , language design , and program transformations . Education: M.Sc. in Computer Science. Research interests center on programming languages , focusing on modular systems , functional programming , and domain-specific language implementation . His work explores invertible syntax descriptions , copattern matching , and variability-aware testing . Publications highlight advancements in parsing , DSL design , and language composition , with a strong emphasis on formal semantics , compiler design , and interactive development tools . Scientific Awards: Most Influential Paper Award at GPCE 2018 for 'Polymorphic Embedding of DSLs' (2008 paper co-authored with Hofer, Ostermann, and Moors). Collaborations include key contributions to the Uroboro project , participation in Dagstuhl Seminars , and presentations at major conferences like OOPSLA , ICFP , and DSLDI .

Jan Reinekeمشاهده پروفایل

استاد

• static analysis
• real-time systems
• computer architecture
• +۱ مورد دیگر

Jan Reineke is a Professor of Computer Science at Saarland University , where he leads research at the intersection of hardware and software. His work focuses on timing-predictable microarchitectures, real-time systems, and hardware-software security contracts. Affiliation: Saarland University (since 2012) Previous: Postdoctoral scholar at UC Berkeley (2009-2011) Research Interests include static program analysis, real-time systems, computer architecture, and hardware-related security issues. His group develops tools like LLVMTA , uops.info , and Spectector for cache analysis, microarchitectural profiling, and speculative execution security. Design of timing-predictable processors (RTSS 2018, RTSS 2019) Exact LRU cache analysis (CAV 2017, POPL 2019, RTSS 2019) Detection of speculative information flows (S&P 2020, S&P 2021) Quantitative cache analysis frameworks (RTAS 2025) Recent Articles span cache timing analysis, speculative execution vulnerabilities, and performance modeling. Keywords include Real-Time Systems , Security , Computer Architecture , and Static Analysis , with sub-fields covering cache persistence, hardware-software contracts, throughput prediction, and formal verification of side-channels. Scientific Awards include an ERC Advanced Grant (2021) , multiple best paper awards (RTAS 2025, DATE 2024, CCS 2023), and the Intel Early Career Faculty Honor Program (2012). Advising and Grants : He actively recruits PhD students and postdocs for hardware-software security research, supported by the ERC grant. His lab's alumni include Dr. Sebastian Hahn, and he has hosted numerous student assistants. Labs and Teams : He leads the Real-Time and Embedded Systems Lab at Saarland Informatics Campus, collaborating on projects like uops.info (Intel microarchitectural profiling) and chi (cache hierarchy inference).

Weihang Wangمشاهده پروفایل

استادیار

• Software Engineering
• Software Security
• Computer Systems
• +۶ مورد دیگر

Weihang Wang is a WiSE Gabilan Assistant Professor in the Department of Computer Science at the University of Southern California. His research focuses on building testing and analysis techniques to improve the reliability, security, and efficiency of complex software systems, with particular expertise in WebAssembly technologies. Wang received his Ph.D. in Computer Science from Purdue University in 2018. His educational background has provided a strong foundation for his research in software engineering and security, leading to numerous publications and awards in the field. His research spans multiple critical areas including WebAssembly analysis , software security , and program analysis . Wang's work addresses fundamental challenges in detecting and mitigating vulnerabilities in modern web applications and systems. His research group develops innovative approaches to static and dynamic analysis, bug detection, and security testing, with a strong emphasis on practical applications and real-world impact. Recent projects include developing frameworks for Spring analysis, WebAssembly function identification, and business flow tampering detection. Wang's publication record shows a clear trajectory of increasing impact in WebAssembly research, with multiple papers at top-tier conferences like WWW, ICSE, and FSE. His work spans from foundational analysis techniques to practical tools that address security and performance challenges in web technologies, demonstrating both theoretical depth and practical applicability. His scientific achievements have been recognized with prestigious awards including: N2Women Rising Stars in Networking and Communications (2024) University at Buffalo Exceptional Scholar - Young Investigator Award (2022) NSF CAREER Award (2021) Facebook Testing and Verification Research Award (2019) Mozilla Research Award (2019) Maurice H. Halstead Memorial Research Award (2018) Best Poster Award at ACSAC'22 Wang has successfully advised numerous graduate and undergraduate students, many of whom have published first-author papers at top conferences and secured positions at leading technology companies. He actively serves the research community through program committee roles at major software engineering and security conferences. His work has been supported by competitive grants from NSF, Facebook, and Mozilla, demonstrating the significance and potential impact of his research directions. At USC, Wang leads a vibrant research group focused on software engineering, security, and systems. The group is currently working on cutting-edge projects related to static/dynamic bug detection, program analysis for WebAssembly, attack investigation and detection, compiler testing, and performance profiling of modern web applications.

Tiago Cogumbreiroمشاهده پروفایل

استادیار

• Concurrency Theory
• Parallel Programming
• Formal Methods
• +۶ مورد دیگر

Tiago Cogumbreiro is an Assistant Professor at the University of Massachusetts Boston, where he has been a faculty member since Fall 2018. His research focuses on advancing the foundations of parallel programming through rigorous quality assurance of languages and runtimes. Dr. Cogumbreiro received his PhD from the University of Lisbon (ULisboa) in March 2015 under Francisco Martins, where he developed techniques to handle barrier deadlocks including the Armus runtime verification tool. His educational background includes a B.Sc. from Universidade dos Açores, followed by research assistant work at Imperial College London (supervised by Nobuko Yoshida) and postdoctoral research at Georgia Tech and Rice University (supervised by Vivek Sarkar). As an expert in formal methods for high-performance computing, Dr. Cogumbreiro's work centers on detecting concurrency errors in parallel programs with special emphasis on GPU systems. His research spans theoretical contributions to deadlock avoidance policies and practical applications of Coq and Why3 for certified algorithms. Recent work demonstrates sophisticated approaches to static analysis of data-races in GPU programming, addressing fundamental challenges in parallel system reliability. His publication pattern reveals a consistent trajectory from foundational work on futures-based deadlock avoidance (2017) through behavioral type systems (2019) to current innovations in GPU program analysis (2023-2024). These contributions form a cohesive research program focused on mathematically rigorous approaches to parallel system correctness. Dr. Cogumbreiro actively contributes to the programming languages community through committee service at major conferences including PLDI (2020 Artifact Evaluation), SPLASH (2025 OOPSLA Review Committee), and PPoPP. His GitHub activity shows ongoing development of formal verification tools, particularly Coq-based projects like gorn-coq and habanero-coq that implement his theoretical contributions.

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

استاد

• Programming Languages
• Software Engineering
• Incremental Computation
• +۷ مورد دیگر

Sebastian Erdweg is a Professor at the Institute of Programming and Software Engineering at Johannes Gutenberg University Mainz (JGU Mainz) in Germany. He actively contributes to the programming languages research community as evidenced by his extensive involvement in major conferences including PLDI, ECOOP, SPLASH, and ICFP. His leadership roles include serving as Workshops Co-Chair for ECOOP and ISSTA 2023, Steering Committee Chair for GPCE, and various program committee positions across multiple conferences. His research primarily focuses on programming language design and implementation, with particular expertise in incremental computation, Datalog-based systems, abstract interpretation, and language workbenches. Erdweg's work bridges theoretical foundations with practical applications in static analysis, compiler construction, and program transformation. His research demonstrates a consistent thread of improving developer productivity through better language design and tooling, with recent work emphasizing efficient incremental program analysis techniques. Erdweg's publication record shows a strong emphasis on Datalog as a foundation for program analysis, with increasing focus on incremental techniques and WebAssembly analysis in recent years. His work combines theoretical rigor with practical implementation, often resulting in open-source tools that advance the state of the art in language engineering. The consistent appearance of Datalog, incremental computation, and abstract interpretation across his publications indicates a cohesive research vision spanning over a decade. As an active member of the programming languages community, Erdweg has served in numerous organizational roles including Workshops Co-Chair for ECOOP and ISSTA 2023, Steering Committee Chair for GPCE, and various program committee positions. His contributions to conference organization demonstrate his standing within the academic community and commitment to advancing research in programming languages and software engineering.