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

Alan Sussmanمشاهده پروفایل

استاد

• Databases and Big Data
• High Performance Computing
• Parallel and Distributed Systems
• +۴ مورد دیگر

Alan Sussman is a Professor and Associate Chair of Undergraduate Education in the Computer Science department at the University of Maryland. His research focuses on databases, high-performance computing, parallel systems, and educational curriculum development for computing disciplines. He holds a Ph.D. from Carnegie Mellon University (1991) and a B.S.E. from Princeton University (1982). His educational contributions include integrating parallel and distributed computing concepts into early undergraduate courses, supported by NSF-funded initiatives like the CyberTraining program. He has advised students such as Harshit Soora (Master's) and Xiaolong Tian (PhD). His research spans compiler optimizations for parallel programs, distributed data management systems, and scientific workflow frameworks like DYFLOW. He collaborates with UMIACS and contributes to interdisciplinary projects like the TASCS center. Key innovations include VeloxDFS for distributed dataset streaming, compiler techniques for irregular memory access in PGAS programs, and NetCDFaster for geospatial data optimization. His work emphasizes productivity improvements for high-performance applications and curriculum modernization to address emerging computational challenges. Awards: No individual awards explicitly listed; however, collaborator Jik-Soo Kim received a best paper award in 2006. Grants: NSF CyberTraining, TCPP Curriculum Initiative, and Center for Technology for Advanced Scientific Component Software (TASCS). Labs/Teams: Active in UMIACS and interdisciplinary collaborations, including the TASCS center and InterComm framework development.

Finbarr Barry Floodمشاهده پروفایل

استاد

• Art and architecture of the Islamic world
• Cross-cultural dimensions of Islamic material culture
• Theories and practices of image-making
• +۳ مورد دیگر

Finbarr Barry Flood is the William R. Kenan, Jr., Professor of the Humanities and Founder-Director of the Silsila: Center for Material Histories at NYU's Institute of Fine Arts. He holds a Ph.D. in Islamic Art History from the University of Edinburgh (1993) and a B.A. in Archaeology from Trinity College Dublin (1988). His research focuses on Islamic art and architecture, cross-cultural material culture, and art historical methodologies. Notably, he has held prestigious fellowships such as the Slade Professorship at Oxford and ACLS Collaborative Research Fellowship. His work bridges global art histories, examining topics like medieval Hindu-Muslim encounters, iconoclasm, and the materiality of religious artifacts. Flood’s scholarly contributions include seminal books like Objects of Translation and The Great Mosque of Damascus . His awards reflect both academic excellence and teaching prowess, including NYU's Golden Dozen Award. As director of Silsila, he leads interdisciplinary research into material histories, fostering collaborations across disciplines and regions. His publications span 40+ years, addressing themes from medieval art technologies to modern reinterpretations of Islamic aesthetics.

• Computer Network Security
• Mobile Computing
• Cloud Computing
• +۴ مورد دیگر

Dr. Dijiang Huang is an Associate Professor in the School of Computing and Augmented Intelligence at Arizona State University (ASU). He joined ASU in 2005 after completing his Ph.D. in Telecommunications and Computer Networking from the University of Missouri-Kansas City (2004). His research focuses on cybersecurity, mobile computing, and cloud computing, supported by grants from the National Science Foundation (NSF), Office of Naval Research (ONR), and industry partners like HP. He has received prestigious awards, including the ONR Young Investigator Award and HP Innovative Research Award. Education: B.E. in Telecommunications, Beijing University of Posts and Telecommunications (1995) M.S. in Computer Science, University of Missouri-Kansas City (2001) Ph.D. in Telecommunications and Computer Networking, University of Missouri-Kansas City (2004) Research Interests: Huang’s work emphasizes secure communication protocols, privacy-preserving techniques, and resilient network architectures. He has pioneered frameworks like Secure Group Communication (SeGCom) and Attribute-Based Cryptography , addressing challenges in VANETs, SDN, and edge computing. His recent projects include developing Waterfall for SDN security and SmartDefense for DDoS mitigation. Grants & Awards: ONR Young Investigator Award (2008) HP Innovative Research Award (2008) NSF grants for secure mobile cloud frameworks and cyber-physical systems Professional Contributions: Huang has served as a reviewer for journals like IEEE Transactions on Wireless Communications and conferences such as ACM MobiArch. He co-developed the Open Human-Robotic Mobile Networking and Security Testbed (OHReST) and the Virtual Laboratory (VLab) for cybersecurity education.

Danfeng Zhangمشاهده پروفایل

استاد

• Programming Languages
• Security
• Differential Privacy
• +۵ مورد دیگر

Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.

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

استاد

• Formal Methods
• Program Verification
• Programming Languages
• +۴ مورد دیگر

Prof. Peter Müller is a Full Professor at the Department of Computer Science at ETH Zurich since 2008. Previously, he held positions as Assistant Professor at ETH Zurich (2003-2008), Researcher at Microsoft Research Redmond (2007-2008), and IT project manager at Deutsche Bank. He earned his Diploma in Computer Science from Technical University of Munich (1996) and his Dr. rer. nat. from University of Hagen (2001) with a dissertation on modular verification of object-oriented programs. His research focuses on enabling correct software development through programming languages, verification methods, and tools. Key areas include formal verification for Rust and Go programs (Prusti and Gobra projects), separation logic, security protocols, and distributed systems verification. Müller's work emphasizes practical verification techniques for real-world systems, including secure router implementations and smart contract verification. Recent research trends highlight advancements in hyperproperties, modular reasoning for iterators and closures in Rust, and formal validation of verification tools. His methodologies bridge theoretical foundations with industrial applications, addressing challenges in concurrency, memory safety, and security assurance. Notable contributions include the SCION internet architecture, the Prusti verifier for Rust, and formal verification frameworks for distributed systems. His work often integrates rigorous mathematical foundations with scalable software engineering practices.

Kurt Mauteمشاهده پروفایل

استاد

• Structural Topology Optimization
• Multidisciplinary Optimization
• Aeroelastic Systems Optimization
• +۴ مورد دیگر

Kurt Maute is a Professor and Palmer Engineering Chair at the University of Colorado Boulder’s College of Engineering and Applied Science (CEAS). He currently serves as Associate Dean for Undergraduate Education. His academic journey includes a PhD in Civil Engineering (University of Stuttgart, 1998) and a Dipl.-Ing. in Aerospace Engineering (University of Stuttgart, 1992). He has held progressively senior roles at CU Boulder, including Associate Dean for Research (2012–2014), Associate Professor (2006–2012), and Assistant Professor (2000–2006). Maute’s research focuses on structural topology optimization, multi-disciplinary optimization, and aeroelastic systems. He has pioneered methods integrating XFEM, level-set techniques, and isogeometric analysis for complex engineering problems. His work spans fluid-structure interaction, hypersonic vehicle design, and additive manufacturing. His notable contributions include advancements in immersed boundary methods, multi-material optimization, and uncertainty quantification. Awards include the NSF Career Award (2004) and Palmer Endowed Chair (2016–present). Maute’s lab (Aerospace Mechanics Research Center, AMREC) addresses challenges in computational mechanics and multi-physics systems. He has advised numerous students and led grants in battery modeling, topology optimization, and aerospace systems. His research bridges theory and application, emphasizing industrial relevance and computational innovation.

• Software Testing
• Mutation Testing
• Model-Based Testing
• +۷ مورد دیگر

Jeff Offutt is a Professor and Chair of the Department of Computer Science at the University at Albany, College of Nanotechnology, Software, & Engineering. Previously, he was a Full Professor with Tenure in Software Engineering at George Mason University since 2005. He received his PhD in Information & Computer Science from the Georgia Institute of Technology in 1988. His research spans software testing, mutation testing, model-based testing, automatic test data generation, web application testing, and software engineering education. He has led significant projects such as the NSF-funded integration of CS into K-5 classrooms and the Google-funded SPARC project for scalable CS1/CS2 instruction. The 15 most recent articles reflect a continued focus on mutation testing cost reduction, model-based testing oracles, educational innovations, and security aspects of web applications. Trends include empirical validation, industrial applicability, and bridging theory with practice in software testing and engineering education. John Toups Presidential Medal for Excellence in Teaching (2020) George Mason University’s Alumni Association Faculty Member of the Year (2020) Outstanding Faculty Award from the State Council of Higher Education for Virginia (2019) Best Paper Award at ICST 2021 10-Year Most Influential Paper Award at MODELS 2020 George Mason University Teaching Excellence Award (2013) ACM Notable Article Award (2013) Jeff Offutt has mentored numerous graduate students including Upsorn Praphamontripong, Nan Li, and Yu-Seung Ma, and has led major grant-funded projects such as the SPARC educational model and NSF initiatives on K-5 CS integration. His textbook Introduction to Software Testing (with Paul Ammann) is widely adopted globally. He led the MS in Software Engineering program at GMU and developed several new courses in software testing, web engineering, and usability. He pioneered innovative teaching methods using web technologies and asynchronous learning models. He also co-founded the IEEE International Conference on Software Testing, Verification and Validation (ICST) and served as Editor-in-Chief of Software Testing, Verification and Reliability from 2007 to 2019.

• Databases
• Programming Languages
• Compilers
• +۷ مورد دیگر

Amir Shaikhha is an Associate Professor (Reader) in the School of Informatics at the University of Edinburgh. He was previously an Assistant Professor (Lecturer) at the same institution from 2020 to 2024 and a Departmental Lecturer at the University of Oxford until August 2020. He is also a Junior Research Fellow at University College, Oxford. His academic journey began with a Ph.D. from EPFL in 2018, where he was awarded the Google Ph.D. Fellowship in structured data analysis and a Ph.D. thesis distinction. His research centers on the design and implementation of data-analytics systems, drawing upon techniques from databases, programming languages, compilers, and machine learning. He develops high-performance systems such as SDQL.py, StructTensor, and VecHT, focusing on the compilation of data science workloads and optimization of tensor operations. His work bridges the gap between high-level abstractions and efficient execution, particularly in sparse and probabilistic computing domains. The recent publications highlight a strong trend in compiler-driven optimizations for data-intensive applications, including automatic differentiation, loop fusion, probabilistic programming, and domain-specific language (DSL) restaging. His research integrates machine learning for systems decisions and emphasizes reproducibility and performance. He has published consistently in top venues like PLDI, OOPSLA, SIGMOD, and CGO, reflecting sustained impact in programming languages and database systems. Dahl-Nygaard Junior Prize, 2025 Google Research Scholar Award, 2025 Most Influential Paper Award, GPCE 2024 Best Paper Award, GPCE 2017 Most Reproducible Paper Award, SIGMOD 2017 Google Ph.D. Fellowship, 2017 Amir Shaikhha has advised PhD students including Hesam Shahrokhi and has been nominated for Best Supervisor of the Year at the University of Edinburgh. He leads research projects that have received recognition and support through awards and grants, including the Google Research Scholar Award. He actively serves the community through program committees (e.g., GPCE, DBPL, DRAGSTERS), editorial roles, and peer review for premier journals. His leadership in organizing workshops and conferences underscores his role as a central figure in the programming languages and databases research communities. He leads a research group focused on compiler and database systems, with recent open-source releases such as StructTensor and VecHT. His team collaborates with researchers from institutions like MIT, EPFL, and TU Berlin, and he co-chairs workshops like Sparse@PLDI and DRAGSTERS. His lab emphasizes innovation in how data-intensive programs are compiled and executed efficiently across modern hardware.

• Relational Architectural Ecologies
• Bioprotopia
• Planetary Poetics
• +۸ مورد دیگر

Peg Rawes is Professor of Architecture and Philosophy at University College London's Bartlett School of Architecture , where she directs research and leads the MA Architectural History program. Her work bridges architectural theory with philosophy, focusing on relational architectural ecologies through three intersecting areas: human/nonhuman life practices, planetary poetics, and housing ecologies. Director of Research, UCL Bartlett School of Architecture (2023-present) REF2029 Lead for Bartlett School EDICPI for EU TACK project (2020) BAUHOW5 PI for European architecture schools partnership (2016-20) Research explores biophilic design , decolonial architecture , and feminist spatial practices across three streams: Architectural ecologies : Human/nonhuman relations in 'Bioprotopia' (2023), vulnerability visualization (2021) Planetary poetics : Climate emergency dialogues (2021), Irigarayan aesthetics (2020) Housing biopolitics : Care frameworks (2017), Spinozist ethical ratios (2015) Key funded collaborations include EU TACK's Communities of Tacit Knowledge (2020) and AHRC's Equal by Design (2016). She contributes to architectural peer review for journals and international research councils while maintaining global partnerships with institutions like Cornell , ETH Zurich , and University of Minnesota .

Sainyam Galhotraمشاهده پروفایل

استادیار

• Databases
• Data Management
• Responsible Data Science
• +۷ مورد دیگر

Sainyam Galhotra is an Assistant Professor in the Department of Computer Science at Cornell University. His research focuses on developing data science tools for effective and responsible analytics, leveraging techniques from causal inference, data management, theoretical computer science, machine learning, and human-computer interaction to address challenges in trustworthy system design including robustness, explainability, and fairness. Education: Postdoc: University of Chicago PhD: University of Massachusetts Amherst (supervised by Barna Saha) BTech: Indian Institute of Technology Delhi (IIT Delhi) (supervised by Prof. Amitabha Bagchi) Research Interests: Dr. Galhotra's research spans several interconnected areas in data science and artificial intelligence. His work primarily focuses on Responsible Data Science , where he develops methods to ensure that data-driven systems operate fairly and transparently. Within this broad area, his specific interests include: Causal Inference techniques for understanding cause-effect relationships in complex data Algorithmic Fairness approaches to mitigate bias in machine learning systems Explainable AI methods that make black-box models more interpretable Data Management systems for efficient and reliable data processing Entity Resolution techniques for integrating data from multiple sources Trustworthy System Design that addresses robustness, explainability, and fairness His recent publications demonstrate a clear trend toward developing frameworks that combine causal reasoning with practical data management systems, particularly focusing on how to make data-driven decisions more transparent and equitable. The intersection of database systems with fairness considerations appears to be a particularly active area of his research. Scientific Awards: Rising Star in Data Science at the Data Science Institute, UChicago (Oct 2021) Computing Innovation Fellowship Award Recipient (by CRA, CCC and NSF) (Apr 2021) DAAD AInet Fellow (Feb 2021) ACM SIGMOD Entity Resolution Programming Contest – Top 5 finalist (May 2020) Most reproducible paper award in SIGMOD 2018 and 2019 (Jun 2019) First recipient of Krithi Ramamritham Computer Science Scholarship (Jun 2019) Best paper award in SIGSOFT FSE 2017 (May 2017) Dr. Galhotra is actively seeking students to collaborate with on his research projects. His work has been supported by various fellowships and awards, including the prestigious Computing Innovation Fellowship. He has mentored several students through his research projects, with a focus on developing the next generation of data scientists who can build responsible and trustworthy systems. His research group appears to focus on the intersection of database systems and responsible AI, developing tools like HypeR for causal reasoning, Ver for view discovery, and Nexus for correlation discovery in spatio-temporal data. This work suggests a cohesive research agenda centered around making data systems more transparent, fair, and user-friendly.

Upaka Rathnayakeمشاهده پروفایل

استاد

• Water Resources Management
• Hydrological Modeling
• Climate Analysis
• +۶ مورد دیگر

Upaka Rathnayake is a Professor of Civil Engineering and Principal Investigator at the Mathematical Modelling and Intelligent Systems for Health and Environment (MISHE) research unit at Atlantic Technological University Sligo, Ireland. He has held academic and research roles globally, including in Sri Lanka, Japan, the UK, New Zealand, Australia, and Fiji. His research focuses on water resources management, hydrological modeling, climate analysis, and AI-driven solutions for environmental challenges. He holds a PhD from the University of Strathclyde and advanced certifications from Hokkaido University. Education: PhD in Optimal Management of Urban Sewer Systems (University of Strathclyde, 2013) Professional Memberships: Institution of Engineers Sri Lanka, Engineers New Zealand, International Association of Hydrological Sciences Research interests include: Hydrological modeling and climate change adaptation Multi-objective optimization and soft computing techniques Explainable AI applications in environmental systems Remote sensing and GIS for water resource management Recent articles highlight AI-driven solutions for air quality prediction, soil nutrient analysis, and flood risk assessment. Awards include the 2023 Presidential Award for Scientific Publications and multiple university excellence awards. He actively advises PhD students on projects like urban water systems optimization and climatic trends analysis. Rathnayake is an editorial board member of journals like Scientific Reports and PLoS ONE , contributing to peer review and policy-oriented research. His work bridges data-driven methods with traditional hydrological practices to address global environmental challenges.

Vimalin Rujivacharakulمشاهده پروفایل

دانشیار

• Architectural History
• Historiography
• Material Culture
• +۳ مورد دیگر

Associate Professor Vimalin Rujivacharakul holds dual affiliations at the University of Delaware (College of Arts & Sciences, Art History Department) and Tsinghua University (School of Architecture as 2021-2024 Visiting Professor). A Clare Hall lifetime fellow at University of Cambridge, her work bridges architectural history with material culture studies. She leads international collaborations on preservation of vernacular architecture in China and transnational aesthetics research funded by the Terra Foundation. Education: PhD from UC Berkeley in architectural history, intellectual history, and cultural anthropology Research focuses on cartographic history (16th-18th c.), global collecting practices, and 20th-century architectural historiography. Recent projects include the Multiple Middles digital exhibition (2022) and the Between Monumental and Vernacular Architecture initiative (2015-present). Supervises PhD students exploring materiality, East Asian trade artifacts, and UNESCO site dynamics. Recipient of prestigious fellowships including the Getty Research Institute, Mellon Foundation, and Terra Foundation grants. Current projects include a global architectural history (interwar period) and anthology on vernacular architecture & Orientalism.

• Human-Computer Interaction
• Interaction Design
• Usability Engineering
• +۱۳ مورد دیگر

Prof. Dr. Harald Reiterer is a leading researcher in Human-Computer Interaction at the University of Konstanz, where he has served as Professor since 2009. His academic journey includes a Ph.D. (1991) and habilitation (1995) from the University of Vienna, followed by roles including Senior Researcher at Fraunhofer FIT and Associate Professor at Konstanz. He currently holds multiple leadership roles: Dean of the Faculty of Sciences , Senator of Section 1 , and Consulting Dean . Ph.D. in Computer Science (University of Vienna, 1991) Venia Legendi (Habilitation) in HCI (University of Vienna, 1995) His research focuses on: Interaction Design for mixed reality environments Information Visualization in immersive contexts Hybrid User Interfaces combining physical and virtual elements 3D Object Manipulation in handheld AR Behavioral Analytics through mHealth interventions Recent work explores: Avatar representation in Augmented Reality (2024) Node selection efficiency in Virtual Reality (2024) Peripheral vision toolkits for Head-Mounted Displays (2023) Hybrid interface optimization for Mixed Reality (2023) Smartphone AR extensions for Spatial Memory (2023) Key scientific contributions: Landeslehrpreis 2021 for interdisciplinary exhibition design Development of Colibri cross-reality toolkit (2023) Foundational work on Re-locations for remote collaboration (2022) He leads numerous projects including: SMARTACT (Smart Mobility, 2015-2023) SFB TRR 161 (2009-2027) on XR interface measurement Blended Library (2011-2015) for future library design

• Operations Research
• Combinatorial Optimization
• Artificial Intelligence
• +۳ مورد دیگر

Omar Rifki is an Associate Professor (Maître de Conférences) specializing in combinatorial optimization and artificial intelligence applications. His research bridges theoretical computer science with practical logistics challenges, focusing on routing problems, process mining, and machine learning integration for complex decision systems. His core research interests include phase transitions in NP-hard problems, vehicle routing optimization under time constraints, and healthcare process modeling. Rifki's work demonstrates a consistent pattern of integrating reinforcement learning with traditional optimization techniques to solve large-scale real-world problems in transportation and logistics, with particular emphasis on spatio-temporal data effects and collaborative systems. Analysis of his 15 publications (2019-2025) reveals three dominant research thrusts: (1) Fundamental studies of combinatorial problem hardness using phase transition frameworks, (2) Practical applications of deep reinforcement learning in vehicle routing and taxi assignment, and (3) Healthcare process optimization through advanced process mining techniques. His work consistently addresses scalability challenges in real-world implementations while maintaining theoretical rigor. No scientific awards were documented in the provided materials. His collaborative work with researchers like Christine Solnon and Thierry Garaix indicates active participation in European operations research communities, though specific grant details remain unreported. Rifki's research shows increasing integration of graph theory and machine learning in transportation applications, particularly evident in his Lyon City case studies on autonomous ride-sharing systems.

• Formal Methods
• Software Engineering
• Program Verification
• +۷ مورد دیگر

Carlo A. Furia is an Associate Professor at the Software Institute within the Faculty of Informatics at Università della Svizzera italiana (USI). He leads the ATOM research group and is actively involved in advancing formal methods in software engineering. His work bridges theoretical rigor with practical applicability, particularly in verification, automated repair, and empirical analysis of software systems. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research focuses on making formal methods practical through automation, combining diverse techniques, and conducting thorough empirical evaluations. He is particularly interested in using Bayesian data analysis to assess software engineering data. His work spans program verification (e.g., AutoProof), contract inference, API usability, and multilingual program analysis. His recent publications highlight trends in automated program repair, JVM bytecode analysis, Android security, and empirical methodologies. These works reflect a consistent emphasis on correctness, reliability, and empirical validation in software development. Scientific service includes: Associate Editor, Empirical Software Engineering (EMSE) journal Program Committee member, FM 2026, FormaliSE 2026, ASE 2025, iFM 2025 He has advised students and leads the ATOM group, which develops tools for software analysis. He teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. Current research directions include improving empirical evaluation rigor and enhancing verification at lower code levels like bytecode.