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

David Monniauxمشاهده پروفایل

پژوهشگر

• program verification
• abstract interpretation
• static analysis
• +۸ مورد دیگر

David Monniaux is a senior researcher (directeur de recherche) at CNRS and an adjunct professor at École polytechnique. He works at VERIMAG, a computer science laboratory jointly operated by CNRS and the University of Grenoble. Dr. Monniaux obtained his PhD in 2001 from Université Paris Dauphine under Professor Patrick Cousot, with a dissertation on the static analysis of probabilistic programs by abstract interpretation. He later earned his habilitation in computer science in 2009 from Université Joseph Fourier, Grenoble, and also holds an agrégation in mathematics. Monniaux's research focuses on program verification, with particular emphasis on proving software correctness. His work spans theoretical foundations in computability theory and practical applications in safety-critical systems. He has made significant contributions to abstract interpretation, static analysis, and the verification of numerical properties in programs. His research bridges computer science theory with practical engineering challenges, particularly in the context of critical embedded systems where software failures can have severe consequences. His work connects to diverse fields including game theory, algebra, and convex optimization. His recent publications demonstrate a strong focus on improving the precision and efficiency of static analysis techniques. Key themes include polyhedral approximation, program analysis with local policy iteration, abstraction of arrays and maps, synthesis of ranking functions, and computing worst-case execution times. These works collectively advance the field of program verification by addressing challenges in handling nonlinear constraints, branching, and complex data structures while maintaining computational feasibility. Monniaux has supervised several students including Julien Henry, Alexis Fouilhé, George (Egor) Karpenkov, and Alexandre Maréchal (now at LIP6), with current students Hang Yu and Valentin Touzeau. He has led significant research projects including VERASCO (2012-2015), which aimed at integrating a static analyzer into the CompCert certified compiler, and STATOR (2012-2017), an ERC starting investigator grant exploring advanced techniques for automatic inference of program invariants. At VERIMAG, Monniaux is part of a vibrant research community focused on critical systems. His work connects with broader efforts in formal methods, with applications in aviation, automotive systems, and other safety-critical domains where software reliability is paramount.

Simão Melo de Sousaمشاهده پروفایل

دانشیار

• Formal Methods
• Software Reliability
• Software Security
• +۷ مورد دیگر

Simão Melo de Sousa is an Associate Professor at the Computer Science Department of the Engineering Faculty at the University of Beira Interior (UBI) , where he leads the RELEASE (RELiablE And SEcure Computation) research group under Nova-Lincs. He holds a Habilitation ( Agregação ) in Computer Science from UBI, a PhD from Nice-Sophia Antipolis University (France), and advanced degrees from Orléans University (France). Research Focus: Formal methods, software reliability/security, blockchain, computational logic, programming language design, deductive verification Teaching: Courses: Proof and Programming Theory , Certified Programming , Formal Methods , Functional Programming Projects include GreenStamp , HORUS , and COPES (PI roles), alongside contributions to LEAF , FRESCO , and European COST Networks . His work bridges theory and practice through co-developed tools like Why3 , ARMY , and LISSOM , targeting safety-critical systems (avionics, railways, medical) and cloud/ubiquitous security. He actively contributes to educational platforms like Learn-OCaml and co-authored books such as Rigorous Software Development (Springer, 2011). Scientific Collaborations : Key partnerships with Tezos Foundation , OCaml Foundation , Nova-Lincs , and institutions including Critical Software , EFACEC , and INRIA . His publications span journals ( Science of Computer Programming , Journal of Automated Reasoning ) and conferences ( LICS , ISoLA , ACISP ).

Jiming Pengمشاهده پروفایل

دانشیار

• Optimization Modeling
• Algorithm Design
• Healthcare Systems
• +۴ مورد دیگر

Jiming Peng is an Associate Professor in the Department of Industrial Engineering at the University of Houston's Cullen College of Engineering. His work focuses on optimization modeling, algorithm design, and their applications in healthcare systems, financial engineering, energy systems, and big data analytics. He holds a PhD and has contributed extensively to scientific computing through innovative optimization frameworks. His research addresses complex challenges such as battery energy storage system planning, mobile health clinic deployment, and financial systemic risk management. Notable contributions include developing biconvex optimization models for energy storage investments, stochastic optimization approaches for portfolio execution, and multi-period curve fitting for pandemic forecasting. Peng's methodologies span nonlinear programming, integer programming, and robust optimization, with applications in electricity markets, healthcare logistics, and cybersecurity. His work bridges theoretical advancements with practical implementations in smart grids, financial networks, and public health systems. Recent publications emphasize energy arbitrage models, decentralized power distribution systems, and strategic investments in renewable energy infrastructure. His algorithms have been applied to improve decision-making under uncertainty in various sectors. No scientific awards or grants are explicitly mentioned in the provided texts. His advising and collaborations focus on optimization-based solutions, though specific student names or grant details are not listed here.

Bas Ketsmanمشاهده پروفایل

دانشیار

• Big Data Systems
• Database Theory
• Transaction Processing
• +۳ مورد دیگر

Bas Ketsman is an Associate Professor in Computer Science at the Vrije Universiteit Brussel , affiliated with the Software Languages Lab . His research focuses on modern, scalable big data systems, particularly on query processing with formal optimality guarantees, high-availability transaction processing, and querying linked data on the web. Education: PhD in Computer Science from Hasselt University (2017) under advisor Frank Neven , postdoctoral research at EPFL (2018–2019), and internships at University of Washington (Seattle, Madison). His recent work explores robustness in transaction systems, isolation level allocation, and distributed query processing. He has authored numerous publications in top-tier venues like ACM SIGMOD , PODS , and ICDT , with several receiving best paper and distinguished dissertation awards. Scientific Awards: ACM PODS Best Paper Award (2014, 2015) 2018 EACTS Distinguished Dissertation Award 2019 SIGMOD Jim Gray Doctoral Dissertation Award Honorable Mention ACM SIGMOD Research Highlight Award (2016, 2023) PODS 2023 Distinguished Paper Award Bas collaborates with researchers like Christoph Koch and Frank Neven and is involved in projects such as FWOTM1224: Formal Approaches to Join Queries and SRP92: Real-Time Cross-Media Data Exploration . He actively mentors PhD and postdoc candidates and welcomes new applicants with expertise in formal theory or engineering.

Sven Dziadekمشاهده پروفایل

استادیار

• Theoretical Computer Science
• Automata Theory
• Weighted Automata
• +۶ مورد دیگر

Sven Dziadek is an Assistant Professor (Maître de Conférence) at Télécom SudParis, France. He is affiliated with the ACMES team (SAMOVAR) and previously held postdoc positions at Inria Paris (VALDA team), Télécom Paris, and EPITA's LRE laboratory. His research focuses on theoretical computer science, particularly automata theory, weighted automata, and formal verification. He earned his PhD from Universität Leipzig under the DFG QuantLA research training group, studying weighted logics and automata for infinite words. Research Interests: Automata Theory, Weighted Automata, Formal Verification, Energy Problems, Context-Free Languages of Infinite Words, Enumeration Algorithms, Homotopy Type Theory, Proof Assistants. Publications span foundational work on ω-regular energy problems, Büchi automata, and formal methods, with contributions to theoretical computer science journals and conferences like FM, FSTTCS, and RTSS. His work bridges automata theory with practical applications in verification and infinite-word computations. Collaborations include Luc Segoufin (ENS Ulm), Antoine Amarilli (Télécom Paris), Uli Fahrenberg (EPITA), and supervisors Manfred Droste and Werner Kuich. Current research explores homotopy type theory and proof assistants for formalizing theoretical results.

• Real-Time Systems
• Embedded Systems
• Scheduling Algorithms
• +۳ مورد دیگر

Michael Richard is an Associate Professor at ISAE-ENSMA, affiliated with the Real Time Team within the LIAS laboratory. His research focuses on real-time systems engineering, particularly in scheduling algorithms, embedded systems, and avionic architectures, with over two decades of contributions to the field. His primary research interests include real-time scheduling theory, model-based design methodologies, and distributed systems validation. Richard develops frameworks like MoSaRT to bridge design and scheduling analysis, emphasizing response time computation, task allocation, and criticality-aware scheduling for safety-critical applications in avionics and embedded domains. Analysis of Richard's publications reveals consistent focus on fixed-priority scheduling, real-time transaction feasibility, and distributed system optimization. His work spans theoretical complexity analysis (e.g., self-suspending tasks) to practical tools for avionic architecture validation, demonstrating evolution from foundational scheduling principles to integrated model-based approaches addressing modern embedded system challenges. Richard operates within the LIAS laboratory—a joint research unit between ISAE-ENSMA and ENSIP—where his Real Time Team collaborates on national and international projects. The team maintains strong industry connections in aerospace and automotive sectors, focusing on translating scheduling theory into deployable solutions for real-world real-time systems.

• Real-Time Systems
• Embedded Systems
• Scheduling Theory
• +۳ مورد دیگر

Ahmed Rahni serves as a Research Fellow at ISAE-ENSMA, affiliated with the Laboratory of Engineering Applications of Signaling and Systems (LIAS) within the Real Time Team. His work centers on real-time scheduling theory and response time analysis for transaction-based embedded systems. He earned his PhD in Networks and Telecommunications from the University of Poitiers in 2008 with the thesis "Contributions to the validation of real-time scheduling in the presence of transactions under fixed priorities and EDF". Rahni's research focuses on Real-Time Systems, Embedded Systems, and Scheduling Theory. His expertise includes feasibility analysis of real-time transactions, worst-case response time computation under fixed priority and EDF scheduling, and offset-aware scheduling for time-critical applications. His work addresses fundamental challenges in ensuring temporal correctness for complex real-time environments. His publication history reveals consistent contributions to real-time scheduling theory from 2006-2012, with emphasis on analytical methods for transaction processing systems. Key trends include comparative analysis of schedulability techniques, development of efficient response time computation frameworks, and extension of scheduling theory to handle transaction dependencies and offsets. No scientific awards were documented in the provided materials. The available information indicates no formal student advisement or research grants were recorded in the source text. As an active member of LIAS's Real Time Team, he contributes to the laboratory's research infrastructure spanning both ISAE-ENSMA (Chasseneuil) and ENSIP (Poitiers) locations, focusing on theoretical and applied real-time systems engineering.