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

• Landslide Hazard and Risk
• Rock Slope Failure
• 3D Terrestrial Monitoring
• +۲ مورد دیگر

Professor Nick Rosser holds a faculty position in the Department of Geography at Durham University and serves as a Fellow and Management Board Member of the Institute of Hazard, Risk & Resilience. His academic role focuses on advancing geohazard research through interdisciplinary collaboration and field-based investigations. His research centers on material deformation characteristics in rockfalls and landslides, with specific expertise in: Earthquake-triggered landsliding dynamics 3D terrestrial time-series monitoring techniques Rock coast evolution processes Landslide risk management frameworks Employing both laboratory experiments and field data collection, his work develops theoretical models to predict slope failure mechanisms while maintaining strong end-user relevance for disaster risk reduction. Recent publications (2021-2025) reveal a strategic focus on Himalayan landslide systems, utilizing satellite imagery and machine learning for hazard detection. Key trends include automated monitoring of slow-moving landslides via Sentinel-2, national-scale susceptibility mapping in Nepal, and analysis of cascading hazards following major earthquakes. His group pioneered hypergraph modeling for multi-hazard interactions and demonstrated weak correlations between building damage and fatality rates in landslides. Professor Rosser actively supervises PhD candidates Ian Pawlby and Sophie Kenmare while leading major research initiatives. He directs the Coastal Behaviour and Rates of Activity (COBRA) collaboration with ICL Fertilizers (UK) Ltd, investigating coastal cliff evolution in North Yorkshire. Additionally, he heads a DFID-Nepal funded project assessing landslide risk evolution in post-Gorkha earthquake regions through partnership with the National Society for Earthquake Technology in Kathmandu. His research operations are coordinated through the Institute of Hazard, Risk & Resilience, where he contributes to interdisciplinary disaster resilience strategies. Current projects integrate terrestrial laser scanning, satellite remote sensing, and community engagement methodologies to address complex geohazard challenges across multiple continents.

Jannek Squarمشاهده پروفایل

پژوهشگر

• High-Performance Computing
• Parallel Computing
• Code Transformation
• +۵ مورد دیگر

Dr. Jannek Squar is a researcher affiliated with the University of Hamburg and the German Climate Computing Centre (DKRZ). His work focuses on high-performance computing (HPC) infrastructure, code transformation, and parallelization techniques. Academic Rank: Researcher Key Projects: i_SSS (Integrated Support System for Sustainability), HLRE-5 Supercomputer Procurement His research spans automatic code transformation using LLVM , parallelization via OpenMP/MPI , and high-performance I/O optimization . Recent publications highlight applications in sustainable agriculture and compiler-assisted HPC performance analysis. He has supervised multiple theses on topics including elastic cloud solutions, MPI communication modeling, and LLVM-based code verification. No scientific awards are explicitly mentioned in the provided text.

• Programming Languages
• Functional Programming
• Partial Evaluation
• +۴ مورد دیگر

Peter Thiemann is a Professor of Computer Science at the Institute of Computer Science, Faculty of Technology, University of Freiburg, Germany. He leads the Programming Languages research group and serves as a member of the examination committee. His extensive academic service includes chairing the steering committee of the European Symposium on Programming (ESOP) since 2017, having previously served as program chair for ESOP 2016 and general chair for ICFP'12. Thiemann's research spans multiple areas within programming languages, with particular focus on partial evaluation, program transformation, functional programming, type systems, and web programming. His work on the WASH (Web Authoring System Haskell) demonstrates his contributions to server-side web scripting with strong type safety guarantees. He has developed techniques for higher-order redundancy elimination, binding-time analysis, and adaptive programming. His research shows a consistent thread of connecting theoretical foundations with practical implementation concerns, particularly in the areas of program analysis and transformation. Thiemann has been deeply involved in the programming languages community, serving as vice chair of ACM SIGPLAN (2015-2018) and tutorial editor of the Journal of Functional Programming (2017-2020). His extensive program committee service across major conferences like POPL, ICFP, ESOP, and ECOOP demonstrates his standing in the field. He has also contributed to IFIP Working Group 2.8 on Functional Programming and chaired the steering committee for the ACM symposium on Partial Evaluation and Semantics Based Program Generation (2003-2005). His publications reveal a research trajectory focused on bridging theoretical concepts with practical implementation, particularly in the areas of partial evaluation, type systems, and program transformation. His work shows consistent contributions to both the theoretical foundations and practical applications of programming language techniques, with numerous publications in top-tier conferences and journals spanning over two decades.

Steven Keuchelمشاهده پروفایل

پژوهشگر

• Programming Languages
• Formal Verification
• Compilers
• +۳ مورد دیگر

Steven Keuchel is a researcher at KU Leuven in Belgium, with a focus on programming languages, formal verification, and compiler design. He actively contributes to academic conferences such as SPLASH, ICFP, and ECOOP, and maintains open-source projects on GitHub. Research Interests: His work bridges theoretical and practical aspects of computer science, emphasizing formal verification techniques, type systems, and secure software development. Key areas include Haskell-based tools, RISC-V architecture, and proof assistants like Coq. Publications: Recent contributions include type inference logics for OOPSLA 2024, secure calling conventions for CHERI capability machines at PriSC 2024, and verification frameworks for RISC-V at DeepSpec 2020. Academic Roles: Committee member for ECOOP 2022's Research Papers and Artifacts tracks, and reviewer for ICFP and SPLASH conferences. Projects: Maintains open-source repositories like riscv64-ghc-bindist for RISC-V compiler distributions, alongside formal verification tools such as Needle and Katamaran .

Tamara Rezkمشاهده پروفایل

پژوهشگر

• Security
• Programming Languages
• Verification
• +۲ مورد دیگر

Tamara Rezk is a Researcher at INRIA, France's premier national research institute for computer science and applied mathematics, based at the Sophia Antipolis center. Her work bridges formal methods and practical security, with significant contributions to secure compilation and program analysis for mitigating hardware-level vulnerabilities. Her research focuses on Security, Programming Languages, and Verification, specifically tackling Spectre-era side-channel attacks through constant-time programming foundations and abstract interpretation. She develops formal verification techniques for cryptographic implementations and explores type systems for relaxed noninterference policies, combining theoretical rigor with real-world security applications. Analysis of her publications reveals a consistent trajectory toward hardware-aware secure compilation, where programming language techniques address microarchitectural threats. Her work emphasizes formal guarantees for constant-time execution and symbolic execution frameworks applicable to security-critical systems, influencing both academic research and industrial security practices. Rezk actively contributes to the academic community as a program committee member for PLDI, POPL, and PriSC conferences, and organizes mentoring initiatives like PLMW (Programming Languages Mentoring Workshop), demonstrating commitment to community building and next-generation researcher development.

Hasmik Telmani Harutyunyanمشاهده پروفایل

دانشیار

• Theoretical issues of ethnography
• Traditional and modern culture of the peoples of the Caucasus
• Ethnic traditions of dairy farming among Armenians
• +۳ مورد دیگر

Hasmik Telmani Harutyunyan serves as Associate Professor at Yerevan State University's Faculty of History, Department of Archaeology and Ethnography since 2018. She concurrently holds membership in the Scientific Council of the National Museum of Armenian Ethnography and History of the Liberation Struggle (2019–present) and the Faculty of History Academic Council (2020–present). Education background: Yerevan State University, Faculty of History (1985–1990): Certified specialist Yerevan State University (2014): Associate Professor in Historical Sciences Research specialization: Dr. Harutyunyan's work centers on theoretical ethnography with deep engagement in Caucasus cultural systems. Her scholarship rigorously documents Armenian dairy traditions across subsistence practices, folk medicine, and belief systems, while exploring intersections between ethnography and Armenian literary heritage—particularly through Hovhannes Tumanyan's works. She employs comparative frameworks to analyze ethnolinguistic diversity across regional and global scales, emphasizing cultural transmission mechanisms and material culture significance. Publication trajectory: Her 13 verified articles (2015–2025) reveal consistent methodological focus on ethnographic fieldwork combined with textual analysis. The corpus demonstrates evolving attention from broad Caucasus ethnography (2015–2017) toward specialized dairy culture studies (2018–2025), with increasing emphasis on Shirak regional practices and Tumanyan's ethnographic relevance. All works maintain strong connections between material culture, belief systems, and oral traditions. Scientific recognition: No awards or fellowships were documented in the source material. Academic mentorship: No student advising records or grant funding details appeared in the provided information. Research infrastructure: Affiliation with institutional councils indicates participation in academic governance, though no dedicated laboratories or research teams were specified.

Artur Andrzejakمشاهده پروفایل

استاد

• Artificial Intelligence
• Programming Systems
• Distributed Systems
• +۶ مورد دیگر

Prof. Dr. Artur Andrzejak is a full professor (W3) at Heidelberg University since 2010, serving as the Head of the research group Artificial Intelligence for Programming (AIP), and currently as Executive Director of the Institute of Computer Science. He has held significant academic roles including Deputy Dean of the Faculty of Mathematics and Computer Science (2019-2024), Dean of Studies for Computer Science (2015-2017), and Liaison Professor of the German National Academic Foundation (2014-2023). Habilitation in Computer Science (2009), Freie Universität Berlin Ph.D. in Computer Science (2000), ETH Zurich Diploma in Mathematics (1995), Freie Universität Berlin His research focuses on artificial intelligence applications in software engineering, particularly code generation and error correction techniques. He has also made significant contributions to software aging analysis, distributed systems, and cloud computing, with publications spanning federated learning, secure computation, and software rejuvenation. Recent publications demonstrate a strong focus on code generation and error correction methods using large language models, while earlier work includes foundational studies in distributed systems, grid computing, and software rejuvenation techniques. His research combines theoretical computer science with practical applications in enterprise software systems. As an academic leader, he has organized Dagstuhl Seminars on Parallel Data Analysis (2013) and Self-Healing Systems (2009), and served on editorial boards for the journals Parallel Processing Letters and Multiagent and Grid Systems. He has held various leadership roles in academic institutions and research networks.

Gerson Sunyéمشاهده پروفایل

دانشیار

• Model-Based Engineering
• Software Testing
• Distributed Systems
• +۶ مورد دیگر

Gerson Sunyé is an Associate Professor at Nantes University, where he teaches topics related to Software Engineering. He is a member of the Naomod research group within the LS2N research laboratory, focusing on Model-Based Engineering (MDE) techniques applied to software engineering problems, particularly in testing distributed systems. His work bridges academic research and industrial applications through the Atlanmod open-source platform developed within the Eclipse Community. His primary research interests span Model-Based Engineering, Software Testing, Distributed Systems, Cloud Computing, and Domain-Specific Languages. He investigates how rigorous application of models can improve software engineering practices, focusing on model merging, conflict resolution, and large-scale model management. His work particularly emphasizes executable DSLs, model views, and testing methodologies for complex systems. Analysis of his recent publications (2020-2024) reveals a strong trend toward integrating AI techniques with model management, particularly using machine learning for inter-model relations and reinforcement learning for conflict resolution. His work continues to evolve from foundational model management toward more applied contexts including low-code development platforms, energy-aware computing, and large language model integration for software engineering tasks. Dr. Sunyé actively collaborates with numerous researchers including Jean-Marie Mottu, Massimo Tisi, and Erwan Bousse. His research has been supported by European projects including Heterogeneous and Distributed Services for the Future Computing Continuum and Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms. He leads research within the Naomod group at LS2N, which develops the Atlanmod platform for model-based engineering. The group focuses on practical applications of MDE in industrial contexts, particularly addressing scalability challenges in model management and the integration of model-based techniques with modern software development practices including cloud computing and low-code platforms.

• Distributed computing
• Systems software
• Information systems
• +۶ مورد دیگر

Jade Alglave is a Professor of Computer Science at University College London, working within the Department of Computer Science. She is affiliated with the PPLV research group led by Peter O'Hearn, focusing on foundational aspects of programming languages and verification. Her work bridges the gap between theoretical computer science and practical systems implementation, particularly in the domain of memory models and concurrency. Alglave's research spans distributed computing, systems software, information systems, theory of computation, and software engineering, with a particular emphasis on weak memory models and concurrent systems . Her work develops formal methods for specifying, verifying, and testing memory models across various hardware architectures including ARM, POWER, and x86. She has made significant contributions to understanding the formal semantics of concurrent programming and has developed tools like the diy7 suite for generating and analyzing litmus tests that expose subtle concurrency behaviors. Her publications reveal a consistent research trajectory focused on creating rigorous formal frameworks for understanding weak memory behaviors, with applications to hardware verification, compiler design, and operating system development. The work has significant implications for ensuring correctness in concurrent and parallel systems where memory consistency is critical. Alglave actively contributes to the research community through professional activities including serving as a conference referee for major venues, participating in the ERC member DAC, reviewing for journals like TOPLAS, serving on program committees for JFLA and PLDI, and organizing workshops like CAV.

Charles Parrackمشاهده پروفایل

مدرس ارشد

• Post-Disaster Shelter
• Humanitarian Response
• Community Development
• +۳ مورد دیگر

Charles Parrack is a Reader and Shelter after Disaster Research and Knowledge Lead at the School of Architecture, Oxford Brookes University . He holds academic leadership roles in postgraduate education, including co-leading the Masters in Architectural Design (RIBA Part 2) and subject leadership for technology across the school. His research focuses on post-disaster shelter, self-recovery mechanisms, and sustainable architectural practices. Education : BSc in Environmental Engineering, MSc in Development Practice (CENDEP), Postgraduate Certificate in Higher Education (PGCHE) Affiliations : Centre for Development and Emergency Practice (CENDEP), Global Shelter Cluster Research interests include post-disaster housing response , shelter safety protocols , community-driven reconstruction , and structural resilience . He collaborates with international organizations like CARE and USAID on long-term disaster recovery projects. Recent publications explore self-recovery in Vanuatu , safety guidelines in humanitarian programs , and knowledge exchange frameworks . His work spans case studies in Asia, Africa, and the Pacific , emphasizing inclusive practices and material innovation. Grants & Projects : Afghanistan Shelter and Settlements long-term outcomes (2022-2024), funded by USAID (£146,625) Leadership : Co-leader of Masters in Architectural Design Subject leader for Technology at the School of Architecture Collaborations : Global Shelter Cluster working groups International shelter coordination organizations

Jeffrey Lehmkuhlerمشاهده پروفایل

استادیار

• Beef Cattle Nutrition
• Mineral and Vitamin Supplementation
• Silvopastoral Systems
• +۳ مورد دیگر

Jeffrey Lehmkuhler is an Assistant Professor in the Department of Food and Animal Sciences at the University of Kentucky , where he has served since 2008 with a 100% extension appointment. Previously, he held similar roles at the University of Wisconsin, Madison (2001-2008) and Purdue University (1994-1996). His work focuses on beef cattle nutrition , mineral supplementation , and forage management , particularly in silvopastoral systems and yak husbandry . Ph.D., Philosophy, University of Missouri, 2001 M.S., University of Missouri, 1999 B.S., Purdue University, 1996 Lehmkuhler's research emphasizes nutritional strategies to optimize cattle health and productivity. He has authored numerous extension publications on topics like mineral tags , yak reproduction , and greenhouse gas emissions in beef systems. His work bridges academic research with practical applications for producers, particularly in forage-related disorders and distillers grains utilization . His recent publications (2023-2024) highlight trends in yak mineral nutrition , controlled breeding systems , and environmental sustainability in beef production. Notable contributions include Match-a-Yak to address inbreeding and Going Green on greenhouse gas fundamentals. As a member of the Beef Cattle Extension Team , he collaborates on applied research projects and delivers educational resources across the U.S. Midwest and internationally in Brazil and Canada. His work with silvopastoral systems and forage management has informed sustainable grazing practices.

Mira Meziniمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Aspect-Oriented Programming
• +۷ مورد دیگر

Mira Mezini is a Professor of Computer Science at Technical University of Darmstadt, where she leads the Software Technology Group. She holds a LOEWE Professorship and serves as founding co-director of hessian.AI, the Hessian Center for Artificial Intelligence, and as a board member of ATHENE, the national research center for applied cybersecurity. Previously, she served as Dean of Computer Science (2013-2014) and in Vice President roles (2014-2019) at TU Darmstadt. She has held visiting professorships at Lancaster University (UK) and Università della Svizzera Italiana (Switzerland). Her research focuses on three central areas: programming systems for distributed software and AI, automated software analysis, and fundamental code models. With over 200 peer-reviewed publications in top venues, Mezini is particularly renowned for her pioneering work on aspect-oriented programming and breakthrough contributions to automated code completion. Her work has evolved from early innovations in modularization and software product lines to cutting-edge research integrating AI with programming systems. Her recent publications reveal a strong trend toward integrating artificial intelligence with traditional programming systems, with significant work on code language models, static analysis techniques, and programming models for distributed applications. The research spans foundational programming language concepts while addressing practical challenges in software development, particularly in the context of AI-assisted programming tools that have become increasingly important in the industry. IBM Eclipse Innovation Award (2005, 2006) Google Research Award (2017) Horst Görtz Foundation's IT Security Award (2nd prize, 2014) ERC Advanced Grant (2012) ACM Fellow (2024) Dahl-Nygaard Prize (2025) Mezini has chaired major conferences in software engineering and programming languages (ECOOP, OOPSLA, FSE, and ICSE) and has served on numerous influential committees, including the Computer Science Panel of the German Research Foundation (DFG) and the Computer Science Consolidator Grant Panel of the European Research Council (ERC). She is currently a member of the ERC Scientific Council's selection committee and the DFG Senate. As co-spokesperson of the Excellence Cluster 'Reasonable Artificial Intelligence,' she leads significant research initiatives at the intersection of AI and software engineering. Her Software Technology Group at TU Darmstadt functions as a hub for innovative research in programming languages and software engineering, with strong connections to both theoretical foundations and practical applications. The group maintains active collaborations with industry partners and other academic institutions, particularly through hessian.AI and ATHENE, focusing on translating research into real-world impact in areas like secure software development and AI-assisted programming tools.

Andreas Paul Eberhard Kloecknerمشاهده پروفایل

دانشیار

• Scientific Computing
• Parallel Computing
• Numerical Techniques
• +۷ مورد دیگر

Andreas Paul Eberhard Kloeckner is an Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he has been serving since 2013 (promoted to Associate Professor in 2019). He also holds an affiliate faculty appointment in the Department of Electrical and Computer Engineering since 2016. His academic journey includes a PhD in Applied Mathematics from Brown University (2010), an MSc from Brown University (2006), and a Diplom in Applied Mathematics from Universität Karlsruhe (2005). Prior to joining UIUC, he was a Courant Instructor at the Courant Institute of Mathematical Sciences at New York University. Dr. Kloeckner's research focuses on high-order accurate integral equation methods, fast algorithms for elliptic boundary value problems, and code transformation for high-performance scientific computing. His work bridges mathematical theory with practical implementation, with particular emphasis on GPU computing and parallel architectures. He has made significant contributions to the development of open-source scientific software, most notably PyCUDA and PyOpenCL, which have become widely used tools in the scientific computing community. His publication record shows a consistent focus on advancing numerical methods for scientific computing, with recent work emphasizing code generation techniques, fast integral equation solvers, and optimization of algorithms for modern hardware architectures. The trajectory of his publications reveals a progression from foundational work on GPU-based discontinuous Galerkin methods toward increasingly sophisticated approaches for integral equation methods and automatic code generation. Among his notable recognitions is the 2017 National Science Foundation CAREER Award, which supports his work on general-purpose, high-order integral equation methods for computer simulation in engineering. His research has been published in prestigious venues including SIAM Journal on Scientific Computing and has influenced both academic research and practical applications in scientific computing. Dr. Kloeckner has advised numerous graduate students through completion of their PhD and MS degrees, with alumni moving to positions at Apple, NVIDIA, Rice University, and other leading institutions. His research group maintains an active portfolio of open-source software projects that advance the state of scientific computing infrastructure.

Gonzalo Sarasquetaمشاهده پروفایل

دانشیار

• Political Communication
• Digital Journalism
• Electoral Campaigns
• +۳ مورد دیگر

Gonzalo Sarasqueta is an Associate Professor at Camilo José Cela University with a PhD cum laude in Political Science from Complutense University of Madrid. He serves as Director of the Official Master's Degree in Political and Business Communication (distance learning) and leads the Digital Laboratory of Political Narratives at UCJC. His research focuses on political narratives , negative campaigning , and journalistic practice , with publications analyzing digital platforms, electoral discourse, and media polarization. PhD cum laude in Political Science (Complutense University of Madrid) Master's degrees in Journalism (University of Barcelona, Columbia University) and Political Analysis (Complutense University) Director of the Digital Laboratory of Political Narratives Deputy Director of the scientific journal Comunicación y Hombre Co-author of Fantasmas de palacio: escritores de discursos presidenciales de América Latina (2022) Compiler of En la nave de la ciberdemocracy (2023) His recent research explores TikTok's role in political campaigns , cross-platform journalistic performance , and digital polarization . He has participated in electoral processes across Argentina, Dominican Republic, Ecuador, Colombia, Mexico, Peru, and Bolivia, and directs the Borgen Agency. Awards include recognition from Complutense University of Madrid and the Pontifical Catholic University of Argentina.

Nikolai Käferمشاهده پروفایل

پژوهشگر

• Computational Logic
• Artificial Intelligence
• Software Engineering
• +۳ مورد دیگر

Nikolai Käfer is a doctoral student at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at Technische Universität Dresden. His research focuses on computational logic, artificial intelligence, and probabilistic reasoning. Algebraic and logical foundations of computer science Specializing in feature diagram sampling and probabilistic argumentation frameworks Contributing to software variability modeling and Bayesian network analysis Nikolai has published extensively in premier venues such as the International Working Conference on Variability Modeling of Software-Intensive Systems (VaMoS) and the ACM International Systems and Software Product Line Conference (SPLC). His research interests include: Variability modeling in software systems Probabilistic knowledge representation Formal methods and verification Bayesian network foundations Abstract argumentation frameworks Decision support under uncertainty His recent publications address challenges in feature diagram sampling, BDD compilation techniques for feature models, and theoretical foundations of probabilistic argumentation. Nikolai collaborates with leading researchers in computational logic and software engineering at TU Dresden. The ICCL team at TU Dresden emphasizes interdisciplinary research in logic-based AI and formal methods. Nikolai's work contributes to advancing these areas through rigorous theoretical analysis and practical tool development.