جستجوی استاد راهنمای دانشگاهی

• Dependable Distributed Systems
• Web Engineering
• Convergence of Voice and Data
• +۵ مورد دیگر

Karl Michael Göschka is an Associate Professor at Vienna University of Technology (TU Wien) in the Department of Distributed Systems (E194-02) within the Faculty of Computer Science. His academic title of Privatdozent indicates he has completed habilitation, the highest academic qualification in the German/Austrian system. He maintains an active research and teaching profile with courses scheduled through 2026S, including Bachelor Thesis supervision, Computer Science Projects, and PhD Seminars. His research spans over two decades with consistent publications from 2004 to 2022. Göschka's primary research interests focus on Dependable Distributed Systems, Web Engineering, and the convergence of voice and data technologies. His work demonstrates particular expertise in middleware, service-oriented architecture, wireless sensor networks, and fault tolerance mechanisms. He has supervised numerous master's and diploma theses since 2006, with his most recent doctoral supervision completed in 2022. Göschka's publication record shows a clear evolution from foundational work in distributed systems and replication (2004-2013) to more recent contributions in wireless sensor networks and dependable computing (2020-2022). His research consistently addresses the challenge of balancing dependability, performance, and security in distributed environments, with notable contributions in temporal decoupling techniques and adaptive systems. GIT-Preis des Österreichischen Vereins für Elektrotechnik (1999) Würdigungspreis des Ministeriums für Wissenschaft und Forschung (1998) GIT-Förderpreis des Österreichischen Vereins für Elektrotechnik (1994) Göschka has led and participated in multiple significant research projects including TRADE (2008-2011) on adaptive performance optimization, COMPASS (2005-2007) for automotive software systems, S-Cube (2008-2012), ALL-TIMES (2007-2010), and DeDiSys (2004-2007) on dependable distributed systems. His research has strong practical applications in automotive systems, online auctions, and critical infrastructure monitoring.

Marta Zofia Kwiatkowskaمشاهده پروفایل

استاد

• Automated verification
• Probabilistic model checking
• Temporal logics
• +۳ مورد دیگر

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

Joseph Sifakisمشاهده پروفایل

پژوهشگر

• Model Checking
• Concurrent Systems Specification and Verification
• Component-Based Design
• +۳ مورد دیگر

Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.

• Temporal aspects in NLP/IR
• Digital Humanities
• Large Language Models
• +۵ مورد دیگر

Adam Jatowt is a Professor and Head of the Data Science group at the Department of Computer Science, University of Innsbruck. He also serves as Deputy Head of the Digital Science Center and Research Center for Digital Humanities. His academic career spans roles at Kyoto University (2010-2020), National Institute of Advanced Industrial Science and Technology (AIST), and visiting positions at Karlsruhe Institute of Technology, University of La Rochelle, and University of California Berkeley. Research interests focus on temporal aspects of NLP/IR, computational history, large language models, and future forecasting. He leads projects combining digital humanities with advanced AI techniques, including temporal validity assessment and hint generation systems. Recent publications (2025) emphasize LLM applications in temporal analysis, QA systems, and energy sector digitalization. His work has been recognized through awards like the Friedrich Wilhelm Bessel Research Award (2024) and top-cited paper distinction in Information Sciences. He actively organizes conferences like ECIR 2026 and Text2Story workshops. Key contributions include developing WikiHint dataset, PlausibleQA framework, and tools like Rankify. His research also addresses societal challenges through ESG rating prediction and medical LLM applications.

Atakan Aralمشاهده پروفایل

دانشیار

• Edge Computing
• Distributed Systems
• Cloud Computing
• +۶ مورد دیگر

Atakan Aral serves as an Associate Professor at the Faculty of Computer Science, University of Vienna, where he leads research in edge computing, distributed systems, and environmental monitoring applications. His work focuses on developing efficient and resilient computing systems for environmental applications, with particular emphasis on neuromorphic edge AI and the cloud-edge continuum. He maintains an active teaching schedule offering courses in Distributed Systems Engineering, Cloud Computing, and Practical Software Courses with Bachelor's Thesis work across multiple semesters through 2025. Dr. Aral's research interests span several critical areas in modern computing including edge computing architectures, federated learning approaches, neuromorphic computing for environmental monitoring, and resilient systems design. His work addresses fundamental challenges in resource-constrained environments, particularly focusing on latency-sensitive applications and energy-efficient computation. The interdisciplinary nature of his research bridges theoretical computer science with practical environmental applications, developing systems that can operate effectively in remote or resource-limited settings. Analysis of his recent publication trajectory reveals a clear evolution from foundational cloud computing research toward increasingly specialized edge intelligence systems. Early work focused on resource allocation and scheduling in cloud environments, while his current research emphasizes neuromorphic approaches for sustainable environmental monitoring. His publications demonstrate growing interdisciplinary collaboration, particularly with environmental scientists, and increasing focus on practical implementations of theoretical concepts in real-world monitoring systems. Dr. Aral leads significant research projects including TROCI (Towards Resilient Operation of Critical Infrastructure), an ongoing initiative, and SWAIN (Sustainable Watershed Management Through IoT-Driven AI), which ran from February 2021 to February 2024. His work spans multiple dimensions of computing systems, from hardware-aware algorithms to application-level implementations, with consistent contributions to major conferences and journals in distributed systems and edge computing. He is an active member of the Scientific Computing research group at the University of Vienna, working from Room 6.49 at Währinger Straße 29. His research environment includes collaboration with the Environment and Climate Research Hub, reflecting the interdisciplinary nature of his work that bridges computer science with environmental applications. His publications indicate strong international collaboration across European institutions and research groups.

Jussi Parikkaمشاهده پروفایل

استاد

• Environmental humanities
• Media archaeology
• Media ecology
• +۳ مورد دیگر

Jussi Parikka is a Professor in Technological Culture and Aesthetics at the Winchester School of Art, University of Southampton (UK), and a Visiting Professor at FAMU, Academy of Performing Arts in Prague. He holds an adjunct professorship at the University of Turku, Finland. His research spans media archaeology, environmental humanities, and new materialism, focusing on intersections of technology, ecology, and culture. Education: PhD in Cultural History, University of Turku, 2007 Licentiate of Philosophy in Cultural History, University of Turku, 2004 Master of Arts in Cultural History, University of Turku, 2002 Research Interests: Parikka investigates media archaeology, environmental media studies, and digital culture. Key themes include the geology of media, operational images, and the ecological implications of technological systems. His work bridges art, science, and philosophy, addressing urgent issues like climate change and data infrastructures. Awards & Honors: 2021: Elected Member of Academia Europaea 2012: Anne Friedberg Award (SCMS) for Insect Media 2016: Choice Magazine Outstanding Academic Title ( A Geology of Media ) 2017: Moebius Fellowship (Kone Foundation) Grants & Projects: Parikka leads the Digital Aesthetics Research Centre (DARC) and collaborates on initiatives like the Critical Environmental Data project with the Helsinki Biennial. His work integrates art, science, and activism, addressing topics such as environmental sensing and climate justice. Labs/Teams: Director of the Digital Aesthetics Research Centre (DARC), Aarhus University, and co-curator of exhibitions like Weather Engines (Onassis Stegi, Athens).

• Numerical Analysis
• Partial Differential Equations
• Finite Element Method
• +۳ مورد دیگر

Dirk Praetorius is a Professor of Numerics of Partial Differential Equations (PDEs) at the Technische Universität Wien (TU Wien) , affiliated with the Institute for Analysis and Scientific Computing (ASC) within the Faculty of Mathematics and Geoinformation . He leads the research group on Numerics of PDEs and has held various leadership roles, including Institute Director (since 2020) and head of the Numerics research area. His work focuses on numerical methods for PDEs, including Finite Element Methods (FEM), Boundary Element Methods (BEM), adaptive algorithms, and computational micromagnetics. Education and Career: Praetorius earned his Diplom in Mathematics (2000) and PhD in Applied Mathematics (2003) from TU Wien, followed by a Habilitation in Numerical Analysis (2005). He has been a faculty member at TU Wien since 2005, progressing from Assistant Professor to full Professor in 2017. He has also held visiting positions at institutions such as the University of Jyväskylä and RICAM (Linz). Research Interests: His research spans numerical analysis, adaptive FEM/BEM, a-posteriori error estimation, matrix compression, and computational micromagnetics. He has contributed to modeling spin dynamics, magnetic skyrmions, and multiscale systems. His work emphasizes efficient algorithms for large-scale problems and optimal computational complexity. Awards and Editorial Roles: Praetorius received the TU Best Teacher Award (2021) and TU Best Lecture Award (2019). He serves as Senior Editor for Computational Methods in Applied Mathematics (CMAM) and on the editorial board of Applied Numerical Mathematics (APNUM) . He co-founded the outreach initiative TUForMath to promote mathematics education. Grants and Projects: He leads or co-leads several research projects funded by the Austrian Science Fund (FWF), including the collaborative SFB "Taming Complexity in Partial Differential Systems" (2017–2025) and international collaborations with Germany. His work addresses topics like functional error estimates, nonlinear PDEs, and computational design of magnetic devices. Labs and Teams: He contributes to the ASC Institute and coordinates interdisciplinary projects involving computational physics and engineering. His team develops software tools like MooAFEM and Commics for micromagnetic simulations.

• Software Architecture
• Microservices
• Cloud Computing
• +۷ مورد دیگر

Uwe Zdun is a Professor at the Faculty of Computer Science, University of Vienna, where he serves as Vice-Director of Studies for Computer Science and Head of the Research Group Software Architecture. His teaching portfolio includes core courses such as Software Engineering 2, Advanced Software Engineering, and Practical Software Courses for Bachelor's and Master's theses across multiple semesters (2024W-2025S). His research spans software architecture with emphasis on microservices, cloud computing, and DevOps. Key focus areas include architectural design decisions, infrastructure-as-code conformance, security in distributed systems, and the integration of machine learning operations (MLOps/RLOps). He investigates cognitive aspects of architecture practices through controlled experiments and develops model-driven approaches for quality assessment in complex systems. Recent publications (2024-2026) reveal three dominant trends: (1) Security and coupling analysis in infrastructure-as-code deployments, (2) MLOps/RLOps integration for Industry 4.0 cyber-physical systems, and (3) Performance optimization patterns for CI/CD pipelines and autoscaling. His work bridges theoretical architecture models with industrial practice, particularly in microservice ecosystems and reinforcement learning applications. Professor Zdun leads the Research Group Software Architecture at the University of Vienna's Faculty of Computer Science. The group focuses on empirical validation of architectural patterns, tool development for conformance checking, and advancing design decision methodologies in cloud-native and AI-driven systems.

Eitan Tadmorمشاهده پروفایل

استاد

• Nonlinear Conservation Laws
• Spectral Methods
• Kinetic Theory
• +۵ مورد دیگر

Eitan Tadmor is a Distinguished University Professor at the Department of Mathematics and Institute for Physical Science & Technology at the University of Maryland. He holds the 2024 Chaire d'excellence at Sorbonne University's Fondation Sciences Mathématiques de Paris, and has served as Director of multiple research centers including the Center for Scientific Computation and Mathematical Modeling (2002-2016) and The Sackler Institute of Scientific Computation (1993-1996). Current: University of Maryland (2005-present) Previous: UCLA (1995-2002), Tel-Aviv University (1989-1995), CalTech (1980-1982) His research spans nonlinear conservation laws , entropy-stable schemes , collective dynamics , spectral methods , and multiscale modeling . He pioneered the spectral viscosity method and developed stability criteria for numerical schemes. Recent publications focus on swarm-based optimization , Euler-Poisson equations , and hydrodynamic alignment with over 15000 citations. His work on kinetic formulations and regularizing effects in PDEs has become foundational in computational mathematics. 2022 Norbert Wiener Prize (AMS-SIAM) 2022 Gibbs Lecturer (AMS) 2015 Peter Henrici Prize (SIAM-ETH) 2013-2021 Fellow of AMS/SIAM NSF grants (1999, 2008-2012, 2012-2020) He developed CentPack software for hyperbolic conservation laws and co-authored influential review papers on numerical methods and mathematical modeling. His collaborative work with institutions like IPAM, KI-Net, and ETH-ITS demonstrates international scientific leadership.

• Real-Time Systems
• System Architectures
• Communication Protocols
• +۳ مورد دیگر

Roman Obermaisser is a Professor at the Vienna University of Technology (TU Wien), affiliated with the Cyber-Physical Systems department. His research focuses on real-time systems, system architectures, communication protocols, safety-critical systems, distributed algorithms, and fault-tolerance. He holds a PhD in Computer Science from TU Wien, awarded in 2003 for his work on integrated architectures for control paradigms. His academic contributions span over two decades, with publications in top-tier conferences and journals. Key research themes include time-triggered architectures (TTA), fault containment in embedded systems, and integration of heterogeneous communication protocols like CAN and Ethernet. He has supervised numerous graduate students, contributing to advancements in system-on-chip (SoC) design, transient-resilient architectures, and diagnostic frameworks for real-time systems. Obermaisser’s work emphasizes practical applications in automotive and industrial systems, addressing challenges such as scalability, reliability, and composability. His involvement in projects like GENESYS and DECOS highlights his role in developing cross-domain reference architectures for embedded systems. Recent efforts include evaluating ontology-based reconfiguration and COTS-based Ethernet solutions for safety-critical networks. His articles reflect a focus on real-time communication protocols, fault-tolerant design, and system integration, with applications ranging from automotive networks to smart transducers. Advising over 20 students underscores his commitment to nurturing the next generation of embedded systems researchers.

Victor Vianuمشاهده پروفایل

استاد

• Computational Logic
• Database Systems
• Database Theory
• +۴ مورد دیگر

Victor Vianu is a Professor of Computer Science and Engineering at the University of California, San Diego and holds the INRIA International Chair at INRIA-Saclay in Paris. He has maintained continuous faculty status at UC San Diego since 1983 while developing extensive international collaborations, particularly with French research institutions including INRIA, ENST-Paris, ENS-Paris, and the University of Paris. His academic credentials include a Ph.D. in Computer Science from the University of Southern California (1983) and undergraduate studies in Mathematics and Informatics at the University of Bucharest (1974-1977). Professor Vianu's research spans computational logic, database systems and theory, and automatic verification. His work uniquely bridges theoretical foundations with practical applications in XML processing, workflow systems, and data-driven applications. He has made seminal contributions to understanding the theoretical underpinnings of database query languages and their expressive power, particularly in the context of XML technologies and workflow systems. His research demonstrates a consistent trajectory from theoretical computer science to practical database systems applications. His publication record reveals significant contributions to database theory spanning over three decades, with particular emphasis on XML technologies, workflow systems, and formal methods for data-driven applications. His work shows a clear evolution from foundational theoretical work to practical applications in business processes and web technologies. INRIA International Chair (2013) Fellow of the American Association for the Advancement of Science (AAAS) (2013) ACM PODS Alberto O. Mendelzon Test-of-Time Award (2010) Fellow of the Association for Computing Machinery (ACM) (2006) Professor Vianu has held significant leadership roles including Editor-in-Chief of the prestigious Journal of the ACM, numerous program committee chair positions for major database conferences (PODS, ICDT, ASIAN), and General Chair for ACM SIGMOD conferences. He has served on the executive committees of SIGMOD (1998-2000) and PODS (1993-2004), and was a member of the ICDT Council (1997-2007), demonstrating sustained influence in the theoretical database community. His extensive invited talks at major conferences including College de France, ACM PODS, and International Conference on Database Theory highlight his international recognition.

Giovanni De Micheliمشاهده پروفایل

استاد

• Computer Architecture
• Electrical Engineering
• Integrated Systems
• +۵ مورد دیگر

Giovanni De Micheli is a Professor of Electrical Engineering and Computer Science at EPF Lausanne, Switzerland. He also serves as Director of the Integrated Systems Centre and the Institute of Electrical Engineering at EPFL, and chairs the Scientific Committee of CSEM in Neuchatel. Previously, he held academic roles at Stanford University for 18 years, including Full Professor, Associate Professor, and Assistant Professor in the Department of Electrical Engineering. His research spans synthesis of digital circuits, hardware/software co-design, low-power design, and Networks on Chip (NoC) technology. 2003: IEEE Emanuel Piore Award 2000: Golden Jubilee Medal of the IEEE CAS Society 2000: ACM Fellow 1994: IEEE Fellow 1990: IEEE/CS Distinguished Service Award 1988: NSF Presidential Young Investigator Award His seminal contributions include pioneering C-based synthesis and Boolean matching algorithms for digital circuits, foundational work in dynamic power management using stochastic control, and the development of Network-on-Chip (NoC) technology. His publications, such as "Networks on Chips: A New SoC Paradigm" and "Dynamic Power Management for Portable Systems" , have shaped modern SoC design practices. With over 400 technical articles, 9 books, and an H-index of 56, his work remains highly influential.

Sylvain Lefebvreمشاهده پروفایل

پژوهشگر

• Computer Graphics
• Texture Synthesis
• Additive Manufacturing
• +۴ مورد دیگر

Sylvain Lefebvre is a permanent researcher at INRIA (Institut National de Recherche en Informatique et en Automatique) in France, where he leads the MFX research team since 2018. Previously, he was part of the ALICE group at INRIA Nancy (2009-2018) and the REVES team in Sophia Antipolis (2006-2009). His career includes a postdoctoral position at Microsoft Research Seattle (2005) following his PhD at INRIA Rhones-Alpes under Fabrice Neyret. His educational background includes a PhD in Computer Graphics from Université Joseph Fourier (Grenoble) in 2005, preceded by a Master in Computer Graphics from INP Grenoble in 2001. His habilitation thesis focused on Runtime Texture Synthesis. Lefebvre's research centers on simplifying content creation for highly detailed patterns, structures, and shapes with applications spanning Computer Graphics to additive manufacturing. He develops fast, controllable by-example synthesis approaches that generate content while enforcing user-specified constraints. His work addresses computational challenges through novel data structures and algorithms optimized for GPUs and FPGAs, including his Silice programming language. The ERC-funded ShapeForge project (2012-2017) advanced shape generation for 3D printing, leading to the IceSL software for digital modeling and fabrication. Analysis of his 15 most recent publications reveals a strong focus on additive manufacturing optimization, with recurring themes in structural integrity, material efficiency, and geometric algorithms. His work bridges computer graphics theory with practical fabrication constraints, particularly in microstructure design, slicing techniques, and mechanical metamaterials. The interdisciplinary nature spans computer science, materials engineering, and robotics. EUROGRAPHICS Young Researcher Award (2010) ERC Starting Grant for ShapeForge project (2012) Lefebvre has advised over 25 PhD students and interns including Marco Freire, Thibault Tricard, and Jimmy Etienne. His ShapeForge project received significant ERC funding, supporting research in computational fabrication. He serves on numerous program committees including SIGGRAPH, Eurographics, and SIGGRAPH Asia, reflecting his leadership in the computer graphics community. As leader of the MFX team since 2018, Lefebvre directs research in computational fabrication, focusing on IceSL software development for 3D printing workflows. The team integrates computer graphics techniques with manufacturing constraints, developing tools that simplify complex object design and fabrication while addressing real-world challenges in material usage and structural integrity.

Edgar Erdfelderمشاهده پروفایل

استاد

• Statistical power analysis
• Multinomial processing tree (MPT) modeling
• Sequential statistical inference
• +۳ مورد دیگر

Edgar Erdfelder is a Full Professor of Psychology at the University of Mannheim, Germany, holding the Chair of Cognitive Psychology and Individual Differences since 2008. He is affiliated with the School of Social Sciences and has made significant contributions to cognitive psychology, statistical modeling, and decision-making research. Previously, he served as Full Professor at the University of Mannheim (2002–2008), Associate Professor at the University of Giessen (2001–2002), and Senior Lecturer at the University of Bonn (1987–2001). Ph.D. in Psychology, University of Trier (1986) Habilitation in Psychology, University of Bonn (2000) Diploma (M.Sc.) in Psychology, University of Göttingen (1980) Erdfelder's research focuses on statistical power analysis, multinomial processing tree (MPT) modeling, sequential statistical inference, and cognitive modeling. His work explores judgment and decision-making through mathematical and computational frameworks, integrating signal-detection theory with threshold models. He developed the widely used GPOWER software for statistical power analysis and advanced MPT models to measure cognitive process speeds. His recent publications with students highlight applications of Bayesian sequential methods, meta-analyses of sleep effects on memory, and theoretical extensions of the recognition heuristic. These studies span subfields like cognitive architecture, decision theory, and experimental design. Martin Irle Award (2020) Fellow of the Association for Psychological Science (2016) Heinz Heckhausen Award (1988) Erdfelder has held leadership roles, including Vice President of Research at the University of Mannheim and Academic Director of the Center of Doctoral Studies in Social and Behavioral Sciences funded by the DFG. He mentored numerous Ph.D. students and led the DFG-funded Research Training Group SMiP, focusing on statistical modeling in psychology.

• Model-Based Testing
• Automata Theory
• Machine Learning
• +۵ مورد دیگر

Bernhard Aichernig is an Associate Professor at the Institute of Software Engineering and Artificial Intelligence. His work bridges formal methods, model-based testing, and artificial intelligence, with a focus on automata learning, digital twins, and AI-assisted programming. Institution: Institute of Software Engineering and Artificial Intelligence Key Research Areas: Model-Based Testing, Automata Learning, AI-Driven Verification His research explores the integration of machine learning into formal verification, enabling scalable testing of complex systems like IoT devices and reinforcement learning agents. Recent projects include AI-Augmented DevOps frameworks (AIDOaRT) and digital twin validation (LearnTwins). Notable scientific awards include multiple best paper recognitions at SEFM (2020, 2021) and the TAYSIR Competition first place (2023). His publications emphasize hybrid approaches combining genetic programming, SMT solving, and neural networks for system modeling. 2025 : AI-assisted programming, timed automata via domain knowledge 2024 : Stochastic environment modeling, Git system learning 2023 : Reinforcement learning under partial observability, digital twins for VPN servers He actively contributes to testing frameworks like AALpy and investigates explainable AI for fault diagnosis in cyber-physical systems.