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

• Complex Networks
• Computer Simulations and Modeling
• Computational Social Science
• +۳ مورد دیگر

Dmitry Zinoviev is a Professor in the Mathematics & Computer Science Department at Suffolk University. He teaches courses such as Architecture of Computer Systems , Operating Systems , and Introduction to Data Science , with office hours available both in-person and via Zoom. Education : PhD and MS from SUNY at Stony Brook, MS from Lomonosov Moscow State University His research spans Complex Networks , Computational Social Science , and Digital Humanities , focusing on network modeling, social dynamics, and interdisciplinary data analysis. Publications highlight Python-based network analysis, semantic modeling, and computational health informatics. Recent articles emphasize applications of network theory in social systems, fraud research, and product categorization. He has authored/ co-authored over 60 publications, including books on Python programming and computational methods. Contact: dzinoviev@suffolk.edu | Phone: 617-305-1985 | Office: 73 Tremont St., Rm. 8086

Orna Kupfermanمشاهده پروفایل

استاد

• Formal Verification
• Synthesis of Computer Systems
• Automata Theory
• +۲ مورد دیگر

Orna Kupferman is a Professor at the School of Computer Science and Engineering at the Hebrew University of Jerusalem. She received her PhD in 1995 from the Technion and has established herself as a leading researcher in theoretical computer science with a focus on formal methods. Her research centers on the theoretical foundations of formal verification and synthesis of computer systems, with special emphasis on automata theory and game theory applications. Kupferman's work bridges abstract theoretical concepts with practical verification challenges, developing frameworks for analyzing and constructing reliable computer systems. Her research has consistently explored the intersection of logic, computation, and strategic behavior in system design. Analysis of her recent publications reveals a strong focus on game-theoretic approaches to system verification and synthesis, with increasing attention to privacy concerns, weighted objectives, and uncertainty modeling. Her work spans multiple prestigious venues including ATVA, CONCUR, TACAS, and ICALP, demonstrating both depth and breadth in theoretical computer science. Professor Kupferman actively contributes to the academic community through teaching courses such as Formal Verification of Reactive Systems and maintaining a robust publication record that continues to grow with significant contributions through 2025. She is also engaged in broader societal issues, as evidenced by her participation in Israel's democracy movement.

OKAN GÜNGÖRمشاهده پروفایل

مدرس

• Renewable Energy Systems
• Renewable Energy Resources
• Energy Management
• +۱ مورد دیگر

OKAN GÜNGÖR serves as a Lecturer in the Department of Electrical and Electronics Engineering at Alanya Alaaddin Keykubat University's Faculty of Engineering since 2025, following prior appointments as Lecturer (2019) and Doctor Lecturer (2019-2025) at Bayburt University's Technical Sciences Vocational School. His academic credentials include: Doctorate in Electrical Engineering from Karadeniz Technical University (2019-2024) Master's in Electrical Engineering from Sakarya University (2016-2019) Bachelor's in Electrical-Electronic Engineering from Süleyman Demirel University (2010-2014) Dr. GÜNGÖR's research centers on Renewable Energy Systems , with specialized expertise in photovoltaic power optimization, maximum power point tracking (MPPT) algorithms, and energy management. His work addresses critical challenges in solar energy efficiency—including environmental impacts on panel performance and converter topology design—while extending into radiation shielding simulation and electrical safety protocols. His technical approach integrates advanced control systems like ANFIS and neural networks to enhance renewable energy infrastructure reliability. Analysis of his 11 publications (2014-2023) reveals a consistent trajectory in solar energy innovation, evolving from foundational work on MPPT algorithms and electrical safety toward sophisticated solutions for dust-induced efficiency loss and multi-domain applications like 3D-printed geopolymer structures. Recent contributions demonstrate expanding interdisciplinary scope, bridging power electronics with materials science and environmental engineering. No scientific awards or formal advising relationships are documented in available records. Research activities show no explicit grant funding or laboratory affiliations, though his publications indicate collaborative work with researchers like Hakan Kahveci and Ayhan Ozdemir on photovoltaic systems.

Nicolaj Haarhøj Malleمشاهده پروفایل

استادیار

• Aerial Robotics
• Unmanned Aerial Vehicles (UAVs)
• Power-line Maintenance and Inspection
• +۷ مورد دیگر

Nicolaj Haarhøj Malle is an Assistant Professor at the University of Southern Denmark’s Institute of Mechanical and Electrical Engineering and a member of the SDU Digital and High-Frequency Electronics group. He earned his PhD in Robotics in November 2023 with a dissertation on autonomous power-line perception and continues as a post-doctoral researcher until July 2025. Education PhD in Robotics, University of Southern Denmark (2020–2023) Post-doctoral Researcher in Aerial Robotics for Power-line Maintenance, University of Southern Denmark (2023–2025) Research Interests Malle’s work lies at the intersection of aerial robotics, power-line engineering, and embedded intelligence. He develops fully autonomous drones capable of landing on live overhead cables to recharge, inspect, and maintain critical infrastructure. His research integrates mm-wave radar sensing , computer vision , FPGA-accelerated perception , and machine learning to achieve robust navigation in GPS-denied, high-voltage environments. He also pioneers open-source hardware-software architectures for rapid prototyping of safety-critical drone swarms. Scientific Awards & Recognition Although no formal awards are listed, Malle’s work has received extensive national press coverage, including features in Information , DR Forskerfesten PhD Cup , and international tech media highlighting his “vampire drone” concept. Grants & Projects EU H2020 Drones4Safety (2020-2023) – PhD student participant EU H2020 Aerial Core (2019-2023) – PhD student participant InnoExplorer AIR-Ops (2023-2024) – Project participant Spin-outs Denmark OnGrid Aerial Systems (2024-2025) – Project participant Laboratories & Collaborations Malle collaborates closely with the SDU UAS Center and conducts experimental flights at dedicated drone test sites. He maintains an international network via visiting research stays (University of Zürich, Oct–Dec 2022) and active IEEE membership.

• Slavic Linguistics
• Ukrainian Language Processing
• Digital Humanities
• +۳ مورد دیگر

Saint-Joanis Olena is a Lecturer at INALCO's Department of Slavic Languages and Literature, specializing in Ukrainian language processing and pedagogy. She coordinates the Erasmus+ project EUkraine Forum and co-organizes the Rencontres des linguistes du CREE conference. Her work involves developing online pedagogical tools for Ukrainian through the Erasmus+ Lesser-Used Languages Classroom project. Her research focuses on formalizing Ukrainian language structures within the NooJ framework, including verb aspect relations, morphological grammars, and language variant formalization. She has presented at multiple international NooJ conferences and TALN-RECITAL, with publications in edited volumes and conference proceedings. She teaches Ukrainian language courses at all undergraduate and master's levels, including written practice, grammar exercises, and media language, while also developing continuing education programs. Her technical contributions include Ukrainian dictionary creation and disambiguation grammar implementations for NLP applications.

Carsten Lutzمشاهده پروفایل

استاد

• Description Logics
• Knowledge Representation
• Ontology-Mediated Querying
• +۵ مورد دیگر

Carsten Lutz is a Professor at the University of Leipzig, Faculty of Mathematics and Informatics, Institute of Informatics, where he leads the Department of Foundations of Knowledge Representation. He joined the university in April 2022 after previously holding positions at other institutions. His extensive service to the academic community includes numerous roles as Program Committee Chair, Area Chair, and Senior PC Member for major conferences in artificial intelligence, database theory, and knowledge representation. Professor Lutz's research focuses on the theoretical foundations of knowledge representation, with particular emphasis on description logics, ontology-mediated querying, and the intersection of database theory with artificial intelligence. His work bridges formal logic with practical applications in semantic technologies. His research has led to significant contributions in understanding the computational properties of knowledge representation formalisms and developing efficient query processing techniques. His recent publications demonstrate a continued focus on the theoretical aspects of knowledge representation, with increasing attention to connections with machine learning, particularly in areas like graph neural networks and PAC learning of logical concepts. The research trends show a consistent thread of applying logical methods to analyze and improve modern AI systems while maintaining strong theoretical foundations. Scientific Awards: Fellow of the Asia-Pacific Artificial Intelligence Association (AAIA) 2022 EurAI (formerly ECCAI) fellow 2016 IJCAI2023 distinguished paper award PODS2023 Best Paper Award PODS2023 Test of Time Award for PODS2013 paper on Ontology-Mediated Querying "AI Ten to Watch" award of IEEE Intelligent Systems Magazine Professor Lutz has been highly active in academic service, serving as PC Co-Chair for IJCAR2026, Area Chair for KR2025 and IJCAI2025, and PC Member for numerous prestigious conferences including ICDT2026, PODS2025, and DL2025. His commitment to reducing academic carbon footprint through reduced conference travel is noteworthy. He has also developed several software systems including Grind, Combo, and Spell that implement theoretical advances in ontology-mediated querying and concept learning.

Joachim Nitschkeمشاهده پروفایل

پژوهشگر ارشد

• Human-Computer Interaction
• Tangible User Interfaces
• Data Visualization
• +۳ مورد دیگر

Joachim Nitschke serves as a Research Fellow at the University of Hamburg within the Faculty of Mathematics, Informatics and Natural Sciences (MIN), specifically in the Department of Informatics' Human-Computer Interaction research group. His work bridges academic research with practical applications in critical infrastructure through the XR Lab and iPlanB project. Education: Master's degree in Computer Science and Communication Design from University of Hamburg and Hamburg University of Applied Sciences (2014) His research focuses on transformative Human-Computer Interaction domains: Tangible User Interfaces merging physical objects with digital functionality for maritime operations Cooperative Multitouch Systems enabling collaborative planning on shared tabletop surfaces Data Visualization techniques for complex port traffic and construction planning User-Centered Design methodologies applied to nautical environments Publication analysis (2014-2018) reveals consistent specialization in maritime HCI applications, particularly the development of the 'Peiltisch' digital planning table for Hamburg Port Authority. His work demonstrates iterative refinement of tangible interfaces for ship traffic management, emphasizing real-world usability in high-stakes operational environments like port control centers. Nitschke actively contributes to the iPlanB project developing multitouch applications for construction planning, collaborating with industry partners including Hamburg Port Authority under the smartPORT initiative. While no formal student advising is documented, his role involves mentoring within research teams. As a core member of the XR Lab, he advances extended reality applications for infrastructure planning, with current work focusing on integrating physical and digital elements for construction site management.

• Programming Languages
• Compilers
• Program Analysis
• +۳ مورد دیگر

Subhajit Roy is an Associate Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur. He holds a PhD from the Indian Institute of Science (IISc), which he completed in 2010. His research focuses on Programming Languages, Compilers, Program Analysis, and Code Optimization. Dr. Roy has made significant contributions to compiler design, static analysis, and program optimization techniques. His work bridges theoretical foundations with practical applications in software development and performance enhancement. The research interests span from heap manipulation and program synthesis to path profiling and bug localization. Dr. Roy's research has been published in prestigious conferences including Static Analysis Symposium (SAS), International Symposium on Code Generation and Optimization (CGO), and Compiler Construction (CC). His work demonstrates expertise in both theoretical aspects of programming languages and practical compiler implementation, with particular focus on advanced static analysis techniques, speculative optimizations, and program behavior profiling. As an active researcher, Dr. Roy has contributed to advancing compiler technology through innovations in SSA form extensions, path profiling algorithms, and statistical bug localization methods. His publications reveal a consistent research trajectory focused on improving program analysis and optimization techniques.

• financial econometrics
• functional analysis
• probability theory
• +۴ مورد دیگر

Borzykh Dmitry Alexandrovich is an Associate Professor at the National Research University Higher School of Economics , affiliated with the Department of Applied Economics under the Faculty of Economic Sciences . He also serves as a Research Fellow at the International Laboratory of Stochastic Analysis and its Applications . With 18 years of scientific and teaching experience since joining HSE in 2006, he teaches advanced courses in probability theory, mathematical statistics, and econometrics at both undergraduate and graduate levels. Education: Candidate of Physical and Mathematical Sciences (2022, HSE), Master's in Economics (2006, HSE), Bachelor's in Economics (2004, HSE) Key research areas: financial econometrics , stochastic analysis , structural breaks in time series , and stochastic volatility models His recent publications focus on stochastic processes , structural break detection , and quantile function applications across financial and economic modeling. He has received multiple institutional awards, including Best Teacher (2014, 2016–2025) and formal gratitudes from HSE departments (2019, 2022). He provides consultations via email and holds office hours at Pokrovsky Boulevard campus (room S517).

Benjamin Delawareمشاهده پروفایل

استادیار

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

Benjamin Delaware is an Assistant Professor in the Department of Computer Science at Purdue University since 2016. He earned his Ph.D. in Computer Science from the University of Texas at Austin in 2013 under William Cook and Don Batory, following an M.Sc. in Computer Science from Washington University in St. Louis (2007) and a dual B.S. in Computer Science and B.A. in Russian from Truman State University (2005). Research focuses on program synthesis , formal verification , and relational program properties . Key contributions include KestRel (relational verification), PALM (LLM-assisted proof automation), and Clotho (distributed system testing). His publications span top venues like OOPSLA, PLDI, and POPL, with recent work (2025) on coverage-type-guided synthesis and LLM-integrated proof repair . He has received multiple scientific awards , including a SIGPLAN Distinguished Paper Award (2023) and CRII Award from NSF (2018). Ben advises a research group producing graduates such as Qianchuan Ye (now at SUNY Buffalo) and Kia Rahmani (UT Austin postdoc). He teaches graduate courses on program reasoning (CS560) and programming language design (CS456/CS565), with earlier teaching experience at UT Austin. Active in academic service , he served as Program Committee Co-Chair for RocqPL 2026 and CoqPL 2025 , and as Diversity, Equity, and Inclusion Chair at POPL 2023. His grants include NSF funding for input generator verification (2023-2026) and Cisco research on privacy-preserving computation (2022-2023).

• Building Information Modeling
• Digital Twinning
• Information Management
• +۵ مورد دیگر

Prof. Dr.-Ing. Sebastian Esser serves as Group Lead for Information Management at the Chair of Computing in Civil and Building Engineering at Technical University of Munich. His research focuses on advancing Building Information Modeling (BIM) methodologies, particularly in infrastructure and railway applications. He contributes significantly to international standardization efforts including IFC-Road and IFC-Rail projects, and leads research initiatives such as RIMcomb and BauPuls360. Dr. Esser's research spans several critical areas in digital construction: Graph-based version control systems for BIM collaboration Digital twin development for infrastructure management Semantic modeling of built environments BIM-based regulation checking for railway infrastructure Interdisciplinary model coordination techniques Knowledge representation in civil engineering His work bridges theoretical computer science with practical civil engineering applications, focusing on improving data interoperability and workflow efficiency in construction projects. Analysis of his recent publications reveals a strong emphasis on graph-based approaches to BIM challenges. His research has evolved from foundational work on BIM programming interfaces to sophisticated implementations involving knowledge graphs, semantic reasoning, and digital twin architectures. Key trends include increasing integration of semantic web technologies with BIM standards, development of specialized query interfaces like GraphQL for construction data, and application of formal methods to infrastructure modeling problems. Dr. Esser actively supervises numerous bachelor's and master's theses annually, with recent topics covering graph-based entity alignment, BIM-GIS integration for flood assessment, incremental model updates, and digital twin implementations. His teaching portfolio includes courses such as Bau- und Umweltinformatik, BIM.fundamentals, BIM.infra, and Semantic Modeling of the Built World, demonstrating his commitment to educating the next generation of digital construction professionals. He is involved in multiple research initiatives including DFG FOR 5672 (The information backbone of robotized construction), SPP 2187 (Adaptive modularized constructions), and AM2PM (Additive to Predictive Manufacturing). His laboratory work spans the BIM-Lab and related computational infrastructure supporting his research in digital construction technologies.

• Building Information Modeling (BIM)
• Model-Based Systems Engineering (MBSE)
• Graph-Based Design
• +۳ مورد دیگر

Benedict Harder is a Researcher at the Chair of Computing in Civil and Building Engineering, Technical University of Munich, specializing in Building Information Modeling and Model-Based Systems Engineering. He contributes to the DFG SPP 2187 project on modular concrete bridges and maintains active roles in research and teaching. His educational foundation includes a 2024 Master's thesis on algorithmic design of modular precast structures and a 2021 Bachelor's thesis exploring train station design via parametric modeling. These works established his trajectory in computational civil engineering. Harder's research integrates semantic web technologies with infrastructure design, focusing on SysML-OWL interoperability, graph-based modular construction, and formal methods for BIM. His work bridges computer science formalisms with practical civil engineering challenges, particularly in bridge systems and precast structures. Publication trends reveal consistent advancement in formalizing design processes: early work centered on parametric regulation compliance (2021), evolving to SysML-based bridge representation (2024) and semantic reasoning frameworks (2025). Key themes include graph rewriting for modular design, incremental BIM updates, and MBSE applications in structural monitoring. He supervises graduate research including a 2025 Master's thesis on MBSE for bridge monitoring and teaches courses like Computer-Aided Modeling of Products and Processes. His academic activities align with TUM's BIM-Lab and research groups in Digital Twinning and Knowledge Representation.

Irene Yangمشاهده پروفایل

مدرس

• Mathematics Education
• Educational Technology
• Teaching and Learning
• +۳ مورد دیگر

Irene Yang is a Lecturer in Engineering Mathematics at Swinburne University of Technology, Sarawak's Faculty of Engineering, Computing and Science. Holding dual degrees from the University of Science Malaysia (BScEd Mathematics and MSc Teaching of Mathematics), she brings extensive expertise in technological innovation for STEM education. Education: Master of Science (Teaching of Mathematics), University of Science Malaysia Bachelor of Science in Education (Mathematics), University of Science Malaysia Her research pioneers screencast video applications in engineering mathematics education, examining how student-produced content transforms learning engagement. Current investigations focus on blended learning frameworks where learners create explanatory videos for complex optimization problems, turning abstract concepts into tangible digital artifacts that enhance peer-to-peer knowledge construction. Publication trends reveal consistent focus on technology-mediated pedagogy since 2014, with recent work analyzing perception data from video-based interventions. Her scholarship bridges educational theory and classroom practice, emphasizing measurable learning outcomes through innovative assessment methods in mathematics education. Awards and Recognition: Highly Commended, Swinburne Teaching Excellence Award (2020) Best Paper Award, Taylor's Teaching Conference (2016) Dual Shortlistings, Wharton-QS Reimagine Education Awards (2015) Malaysian Mathematical Science Society membership Funded by Swinburne Sarawak Research Grants, her projects involve collaborative classroom research with engineering students as co-investigators. She mentors future educators through hands-on technology integration projects, maintaining active supervision of undergraduate research while developing scalable video pedagogy models for STEM disciplines. Her international conference presentations demonstrate commitment to global educational advancement. Though not leading a formal laboratory, she cultivates dynamic classroom research environments where teaching innovations become publishable scholarly contributions. Her approach transforms traditional mathematics instruction into interactive digital experiences, positioning students as knowledge creators within engineering education ecosystems.

Soham Chakrabortyمشاهده پروفایل

استادیار

• Programming Languages
• Compilers
• Computer Architecture
• +۳ مورد دیگر

Soham Chakraborty is an Assistant Professor at the Programming Languages Group, TU Delft since 2021. He previously served as an Assistant Professor at the CSE Department, IIT Delhi before joining TU Delft. His academic journey includes a PhD from Max Planck Institute for Software Systems (MPI-SWS) in 2019 and a Master's degree from CSE Department, IIT Kharagpur in 2008. Affiliation: TU Delft, IIT Delhi, MPI-SWS Research Interests: Programming Languages, Compilers, Architecture, Verification, Concurrency His research focuses on formal semantics, compiler correctness, architecture-to-architecture translation, and verification of weak memory models. He has contributed to major conferences including POPL, PLDI, CGO, and ASPLOS. His work addresses challenges in heterogeneous concurrency, relaxed memory concurrency, and binary translation for weak memory architectures. Recent works include How Hard is Weak-Memory Testing? (POPL'24) and Toast: A Heterogeneous Memory Management System (PACT'24). He also received the Distinguished Paper Award at DATE'25 and Distinguished Artifact Award at PODC'22 . Teaching: Courses like Concepts of Programming Languages (CS2120), Parallel and Concurrent Programming (CS4555), Compiler Construction (CS4555), Analysis of Concurrent and Distributed Programs (CS4405), Software Fundamentals (Rust), and Seminar Programming Languages (COL 380) Students: PhD student Dennis Sprokholt, MSc students Michal Raczkiewicz, Alexandru Dumitriu, Huixuan Wu, and alumni including Pieter van den Ham, Mingyu Gao, Jeroen Kloppenburg, and others. Service: Served on program committees for POPL, PLDI, CGO, VMCAI, APLAS, and Eurosys workshops.

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

استادیار

• Programming Languages
• Probabilistic Programming
• Compiler Design
• +۴ مورد دیگر

Yizhou Zhang is an Assistant Professor at the Cheriton School of Computer Science, University of Waterloo. He specializes in programming language design and implementation, focusing on balancing expressive power with strong guarantees through language abstractions and compiler verification. Designing modular, type-safe language systems Probabilistic programming and inference optimization Algebraic effects and control flow management His recent publications explore lexical effect handlers, certified compiler frameworks, and nested polymorphism models. Awards include the ACM SIGPLAN Distinguished Paper Award (2023) for his work on probabilistic program compilation. Current advisees include PhD candidates Cong Ma, Zhaoyi Ge, Jianlin Li, and Ende Jin. He has served on program committees for POPL, PLDI, and OOPSLA conferences.