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

• Language-based Security
• Compilers
• Formal Verification
• +۴ مورد دیگر

Letterio Galletta is an Assistant Professor of Computer Science at IMT School for Advanced Studies Lucca, within the SySMA research unit. Previously, he held a postdoctoral researcher position at the University of Pisa's Department of Computer Science and earned his Ph.D. in Computer Science from the University of Pisa in 2014. His research focuses on language-based security, leveraging programming languages, compilers, and formal verification to address security challenges in adaptive software, IoT, firewalls, and blockchain technologies. Key research areas include secure compilation, access control policy analysis, smart contract formal models, and static analysis techniques. His work bridges theoretical foundations with practical applications, such as securing satellite communication systems (IRIS2) and enhancing firewall policy enforcement. Publications highlight contributions to blockchain transaction parallelism, IoT security metrics, and formal methods for SELinux configurations. He actively contributes to tools like FWS (Firewall Synthesizer) and VeriOSS for bug bounty protocols. His research emphasizes interdisciplinary approaches, combining cybersecurity with distributed systems and embedded computing.

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Answer Set Programming
• +۵ مورد دیگر

Zeynep Gözen Saribatur Yaman is a PostDoc Researcher at the Department of Databases and Artificial Intelligence, Technische Universität Wien (TU Wien). Her role is supported by the Austrian Science Fund (FWF) as a Projektassistentin (Dr.in techn.). She is affiliated with the DBAI group and contributes to multiple research projects including AURA (2022–2026), DynaCon (2017–2020), AI4EU (2019–2021), and HumanE-AI-Net (2020–2024). Her primary affiliation is with TU Wien’s Faculty of Informatics, where she focuses on advancing explainable AI through abstraction techniques in logic-based systems. Zeynep holds a Doctorate in Technical Sciences (Dr.techn.) from TU Wien (2019), where her dissertation addressed Abstraction for reasoning about agent behavior with answer set programming . She also holds an MSc in a relevant field, though its specifics are not explicitly detailed in the text. Her research spans multiple funded initiatives, emphasizing both theoretical contributions and applied work in robotics and agent systems. Her research interests revolve around abstraction mechanisms in Answer Set Programming (ASP), argumentation frameworks , and their applications to explainable AI , robotics planning , and agent behavior modeling . She explores techniques to reduce complexity in logic-based systems while preserving critical reasoning aspects, with a focus on making AI systems more transparent and understandable. Zeynep has contributed to several projects aiming to enhance AI reasoning through abstraction. Her work bridges formal methods and practical AI challenges, such as reasoning about dynamic environments and multi-agent systems. She actively participates in international conferences and workshops, including KR, AAMAS, ICAPS, and EPIA, where she presents advancements in knowledge representation and reasoning. Her advising record is not explicitly stated in the provided texts. She has collaborated on grants from FWF, EU Horizon 2020, and other competitive funding bodies. Her research also intersects with cognitive factories and hybrid reasoning systems for robotics applications. As part of the DBAI group at TU Wien, she contributes to the development of AI tools and methodologies that prioritize comprehensibility and scalability. Her lab affiliations include the Knowledge-Based Systems Group (DBAI), where she works on theoretical and applied AI challenges.

Lelio Brunمشاهده پروفایل

پژوهشگر ارشد

• Formal Methods
• IoT Security
• Verified Compilation
• +۲ مورد دیگر

Lelio Brun is a Research Fellow at the National Institute of Informatics (Tokyo), focusing on applying formal methods to IoT security within the ZT-IoT project. He holds a PhD in Computer Science from École normale supérieure - PSL Research University (2020), an MSc in Computer Science from Université Paris Cité (2016), and an MSc in Aerospace Engineering from ISAE-ENSMA (2013). His research spans formal methods , IoT security , and verified compilation , with emphasis on synchronous languages like Lustre. He develops techniques to ensure correctness in safety-critical embedded software through semantic modeling and compiler verification. Awards include the Best Paper award at EMSOFT'23 and the GDR GPL accessit prize for his doctoral work. He contributes to projects like Vélus (a verified Lustre compiler) and Obelisk (Menhir grammar pretty-printer).

Eric Goubaultمشاهده پروفایل

استاد

• Formal Verification
• Concurrent and Distributed Systems
• Directed Algebraic Topology
• +۳ مورد دیگر

Eric Goubault is a Professor of Computer Science at École Polytechnique, France, where he leads the Department of Computer Science. He holds a position at the Laboratoire d'informatique (LIX), part of the UMR 7161 research unit. His research focuses on formal verification of numerical programs, concurrency theory, directed algebraic topology, and hybrid systems. Currently, he directs the 'Engineering of Complex Systems' academic and research chair alongside colleagues from ENSTA ParisTech and Télécom ParisTech, supported by industry partners like Thales and Dassault Aviation. Key roles include heading the master's program COMASIC (Conception, Modélisation et Architecture des Systèmes Industriels Complexes) and overseeing ongoing projects such as the ANR-funded Coverif, Malthy, and CAFEIN initiatives. His work bridges theoretical computer science with practical applications in embedded systems and safety-critical software validation. Research interests span geometric methods for concurrency, topological approaches to verification, and robustness analysis of numerical computations. Notable contributions include developing abstract interpretation techniques for static analysis and co-authoring the book *Directed Algebraic Topology and Concurrency* (2016). He advises multiple PhD students and collaborates on projects involving distributed computing and fault-tolerant protocols. Recent activities include organizing academic positions openings at LIX and contributing to conferences like CAV, EMSOFT, and FLOC. His publications emphasize formal methods, hybrid systems analysis, and geometric models for distributed systems.

Ahmad Salim Al-Sibahiمشاهده پروفایل

استادیار

• Probabilistic Programming
• Programming Language Theory
• Static Analysis
• +۵ مورد دیگر

Dr. Ahmad Salim Al-Sibahi is an Assistant Professor in the Programming Language and Theory of Computation Section at the University of Copenhagen's Department of Computer Science. He is a core member of the Aleatory Science Team, focusing on probabilistic programming applications in protein folding and inference algorithm optimization. His work combines formal methods with practical machine learning frameworks like Pyro. Educational Background: PhD in Computer Science (2014-2017), IT University of Copenhagen MSc in Computer Science (2014), IT University of Copenhagen Postdoctoral Researcher at University of Copenhagen (2017-2019) Research Interests: His primary focus lies at the intersection of probabilistic programming and computational biology. He develops efficient inference algorithms for probabilistic models, particularly in protein structure prediction and voucher scanning applications. His earlier work includes formal verification of program transformations using inductive refinement types and static analysis techniques. Awards: Best Paper Award at GPCE 2018 Contributions: He contributed to dependently-typed language Idris and co-developed family-based model checking techniques. His research bridges theoretical programming language constructs with applied problems in bioinformatics and software modernization.

• Agent Based Modelling
• Reactive synthesis
• Formal Methods
• +۶ مورد دیگر

Luca Di Stefano is a Post-Doc Researcher at Technische Universität Wien (TU Wien) since March 2024. His research focuses on the specification and verification of complex collective systems like multi-agent systems and robot swarms, using formal methods such as model checking and reactive synthesis. He works on online formal techniques including runtime monitoring. Research Interests: Software verification Model checking Multi-agent systems Formal semantics Process calculi Reactive synthesis Static analysis Recent Article Trends: His work spans formal verification of reconfigurable systems, emergent behavior in collective systems, and synthesis techniques for infinite-state models. Keywords include Agent-Based Modelling, Formal Methods, Temporal Logic, and Runtime Monitoring. Thesis Supervision: He supervises BSc and MSc theses at TU Wien, with Ezio Bartocci as main advisor. Examples include "Type checking a novel language for reconfigurable multi-agent systems" (Benjamin Stolz, 2025) and "Evaluating in-memory caching strategies" (Love Lyckaro, 2023). Teaching: He teaches courses like "Scientific Research and Writing" and "GPU Architectures and Computing" at TU Wien, and has served as teaching assistant for concurrent programming courses at University of Gothenburg and Chalmers. Labs & Projects: He contributes to tools like LAbS (attribute-based stigmergy language), SLiVER (verification tool), R-CHECK (model checking for reconfigurable systems), sweap (symbolic reactive synthesis), and pyxmv (Python interface for nuXmv).

Robert Souléمشاهده پروفایل

دانشیار

• Networking
• Distributed Systems
• Databases
• +۱ مورد دیگر

Robert Soulé is an Associate Professor at Yale University, holding dual appointments in Computer Science and Electrical Engineering. He previously served as an Associate Professor at the Università della Svizzera italiana (USI) in Lugano, Switzerland, and retains an Adjunct Professor position there. Soulé earned his B.A. from Brown University and his Ph.D. from New York University, followed by a postdoc at Cornell University. He is a Senior Member of the ACM and IEEE, and his research has been recognized with best paper awards at DEBS 2012, NSDI 2018, and CoNEXT 2020. His research focuses on computer systems, including networking, distributed systems, databases, and programming languages. Notable contributions include work on in-network computing, programmable data planes, and sustainable networking. He teaches advanced courses on databases, networking, and compilers at Yale and has previously taught at USI and Cornell. Soulé advises a team of PhD students and postdocs, with alumni working in industry and academia. His grants include NSF support for sustainable computing initiatives. He leads research efforts in areas like carbon-aware networking, quantum network specifications, and high-performance RPC systems. His work bridges theory and practice, emphasizing system design and verification. Affiliations: Yale University, USI (Adjunct) Education: Ph.D. (NYU), B.A. (Brown) Grants: NSF funding for sustainable computing Lab/Team: Research group focused on systems and networking innovations

• Software Engineering
• Cloud Computing
• Web Services
• +۳ مورد دیگر

Professor Hong Zhu is a Professor of Computer Science at the School of Engineering, Computing and Mathematics, Oxford Brookes University. He chairs the Cloud Computing and Cybersecurity research group, established in 2020, and teaches courses on cloud computing, software engineering, and distributed systems. His research focuses on software engineering methodologies for cloud-native applications, formal methods for service-oriented systems, and automated testing techniques. Key projects include the development of the CAOPLE programming language and CIDE integrated development environment for cloud software. He has organized major conferences like IEEE AITest, SOSE, and EDGE, and contributes to academic leadership roles. Research interests include software development methodologies, cloud-native software languages, formal specification (e.g., SOFIA), and testing frameworks (e.g., Morphy). He actively supervises PhD students and leads initiatives in edge computing, AI testing, and cybersecurity patterns. His work bridges theory and practice, emphasizing automation, quality assurance, and innovative software tools.

Ming Maمشاهده پروفایل

استادیار

• Artificial Intelligence
• Medical Imaging
• Large Language Model
• +۳ مورد دیگر

Ming Ma is an Assistant Professor in the Department of Graduate Computer Science and Engineering at the Katz School of Science and Health, Yeshiva University. He leads the Medical Imaging and Artificial Intelligence lab. He holds a Ph.D. in Computer Science from Stony Brook University and completed a postdoctoral fellowship at Stanford University. His research focuses on integrating artificial intelligence with medical imaging, particularly in areas like medical image segmentation, deep learning applications in healthcare, and geometric modeling for biomedical systems. Education: Ph.D. in Computer Science, Stony Brook University, USA Postdoctoral Scholar, Stanford University, USA Research Interests: His work spans Artificial Intelligence , Medical Imaging , Large Language Models , Geometric Modeling , and Computer Vision . He develops novel algorithms for medical image analysis, including techniques for dose prediction in radiation therapy, pulmonary nodule detection, and segmentation of vascular structures. Recent projects emphasize the application of graph convolutional networks and optimal transport methods in low-dose CT imaging. Conference Contributions: He serves on program committees for conferences like AAAI 2022, ICONIP 2024, and CHASE 2025, reflecting his leadership in advancing AI and biomedical engineering research. Labs/Teams: His lab at Yeshiva University focuses on interdisciplinary research at the intersection of AI, medical imaging, and computational anatomy, with a commitment to translating algorithmic innovations into clinical applications.

Son Hoangمشاهده پروفایل

دانشیار

• Formal Methods
• Autonomous Systems
• Program Semantics
• +۳ مورد دیگر

Dr. Son Hoang is an Associate Professor in the School of Electronics and Computer Science at the University of Southampton, where he leads research in formal methods and autonomous systems. He is a core member of the Cyber-Physical Systems Group and serves as Admissions Tutor for the Aerospace Electronic Engineering program. Hoang holds a first-class honors degree in Computer Engineering (2001) and a PhD (2006) from the University of New South Wales, Australia, where he developed the Probabilistic B-Method and supporting toolkit. His research focuses on formal system development , program semantics , and autonomous systems verification . Current projects include HD-Sec (Holistic Design of Secure Systems on Capability Hardware) and HICLASS (Enabling Development of Complex and Secure Aerospace Systems). His work consistently applies formal methods like Event-B and UML-B to safety-critical domains. Publication analysis reveals Hoang's research centers on formal verification techniques for autonomous and cyber-physical systems, with recent emphasis on: safety-security coengineering, exception handling mechanisms, human intervention modeling in autonomous vehicles, and requirements engineering for critical systems. Awards: Best paper award at ICECCS 2014 Best paper award at iFM 2007 Hoang supervises PhD candidates including Haider Mahmood Al-Shareefy, and mentors undergraduate/master's students in software engineering projects. His grant portfolio includes EPSRC-funded research on secure hardware and aerospace systems. He leads developments in the Rodin formal methods platform and contributes to the university's Event-B @ Soton initiative.

Houari Sahraouiمشاهده پروفایل

استاد

• Software Engineering
• Automated Software Engineering
• Model-Driven Engineering
• +۵ مورد دیگر

Houari Sahraoui is a Full Professor and Vice Dean of Planning and Infrastructure at the Faculty of Arts and Sciences, University of Montreal, where he also previously served as Department Director from 2013 to 2017. He leads the GEODES research group (Groupe de recherche sur les systèmes ouverts et distribués et l'expérimentation dans les logiciels) and has been actively supervising graduate students and conducting research in software engineering since at least 2000. Dr. Sahraoui's research focuses on automated software engineering , with particular emphasis on model transformations learning from examples using evolutionary approaches. His work spans reverse engineering (comprehension) and reengineering (refactoring, migration to component-based software), utilizing static and dynamic analysis techniques. He also investigates visualization of large sets of multidimensional data for software comprehension and maintenance. His research integrates artificial intelligence approaches to enhance various phases of the software development lifecycle. His recent publications demonstrate a strong trend toward integrating large language models and artificial intelligence with traditional software engineering practices. The research spans code review automation, model-driven engineering, microservices identification, and digital twins for applications like vertical farming. Many publications focus on improving automation through techniques like parameter-efficient fine-tuning, knowledge distillation, and social diversity metrics. Dr. Sahraoui was named a Fellow of Automated Software Engineering in 2023, an honor recognizing his significant and sustained contributions to the ASE community, both scientifically and professionally. This prestigious title is awarded by the IEEE/ACM International Conference Steering Committee. Dr. Sahraoui has supervised over 50 Master's and PhD students throughout his career, with recent supervision focusing on AI-assisted software engineering, code review automation, and model-driven approaches. His research has been supported by multiple grants from the Natural Sciences and Engineering Research Council of Canada (NSERC), MITACS, and industry partners, with projects spanning from 2000 to projected completion in 2031. He leads the GEODES research group (Groupe de recherche sur les systèmes ouverts et distribués et l'expérimentation dans les logiciels) which focuses on open and distributed systems and software experimentation. His current projects include 'Improving automation and assistance for software engineering tasks with generative AI' (2025-2031) and work on digital twins for vertical farming.

Pierre Corbineauمشاهده پروفایل

استادیار

• Formal Proof Systems
• Certified Security Protocols
• Interactive Theorem Proving
• +۳ مورد دیگر

Pierre Corbineau is an Assistant Professor in the Distributed and Complex Systems Group at the VERIMAG laboratory, teaching at Polytech'Grenoble engineering school within Joseph Fourier University. Previously, he held postdoctoral positions at Radboud University Nijmegen and completed his PhD at Laboratoire de Recherche en Informatique (LRI) in the Démons team. Education: PhD in Computer Science (2005), University Paris 11 Master's thesis (2001), University Paris 7 Research Interests: Focuses on certified security protocols, formal proof systems, and web-based collaborative theorem proving. Develops declarative proof languages (e.g., C-zar for Coq) and contributes to automated reasoning in type theory. Explores first-order logic proof search and equational reasoning. Teaching: Manages courses in microcontrollers, object-oriented programming, and UNIX system programming. Serves as pedagogic manager for Year 3 in the 3I department. Previously taught logic for mathematics aggregation preparation. Software Contributions: Developed C-zar (part of Coq since v8.1), a PTS type checker, and probabilistic binary tree implementations. Contributed to Coq's core functionality through reflective proof techniques and formal validation frameworks.

Cristian Eneمشاهده پروفایل

پژوهشگر

• Formal Verification
• Computer Security
• Cryptography
• +۴ مورد دیگر

Cristian Ene is a Researcher at Grenoble Alpes University and a member of the VERIMAG Laboratory. He holds a PhD in Computer Science (2001) from Grenoble Alpes University. His primary roles include teaching and conducting research in formal verification of cryptographic protocols, computer security, and distributed systems. He is actively involved in developing automated tools for cryptographic protocol analysis, such as contributions to the Tamarin Prover framework. Research Interests : His work focuses on formal methods for verifying cryptographic systems, including model counting, security protocol analysis, and decidability in process calculi. He explores topics such as information flow control, fault-injection countermeasures, and automated theorem proving for asymmetric encryption. Publications : His recent work spans formal verification techniques, optimization in Max#SAT solving (e.g., BaxMC), and cryptographic protocol analysis. Earlier contributions include foundational studies on process decomposition in π-calculus and formal security models in the random oracle framework. Teaching : He teaches courses on cryptographic engineering, formal verification of security protocols, programming languages, and compiler design. Course materials include slides, assignments, and practical exercises using tools like Tamarin Prover. Labs & Teams : He is affiliated with the VERIMAG Laboratory, which specializes in formal methods and embedded systems research. His work integrates theoretical foundations with practical applications in secure system design and automated verification.

Rajit Manoharمشاهده پروفایل

استاد

• Asynchronous VLSI Design
• Concurrency
• Formal Methods
• +۵ مورد دیگر

Rajit Manohar is the John C. Malone Professor of Electrical & Computer Engineering at Yale University, with appointments in Applied & Computational Mathematics and Computer Science. He is a core member of the interdisciplinary Computer Systems Lab (CSL), which bridges ECE and CS departments. His research focuses on asynchronous VLSI design, neuromorphic computing, and hardware-software co-design. Education: Manohar holds a B.S., M.S., and Ph.D. from the California Institute of Technology. His academic career spans over two decades, with notable contributions to asynchronous circuit theory and neuromorphic engineering. Research Interests: Manohar's work emphasizes energy-efficient asynchronous architectures, concurrency control, and biologically inspired computing. He explores topics like formal methods for circuit verification, cognitive systems, and dynamic sensor networks. His lab develops tools like Fluid (asynchronous synthesis) and Neurobench (neuromorphic benchmarking). Publications: Recent work includes advancements in asynchronous logic synthesis (Maelstrom), neuromorphic frameworks (Neurobench), and scalable brain-computer interfaces (SCALO). His research often intersects NSF-funded projects in energy-aware computing and neuromorphic systems. Awards: Inaugural Misha Mahowald Prize (2025), MIT TR35 (2000s), IBM Goldberg Award (2023) Grants & Labs: Manohar leads NSF-supported initiatives in carbon-aware networking and neuromorphic hardware. The Computer Systems Lab collaborates across disciplines to advance sustainable computing and neuro-inspired architectures.

Tobias Johnمشاهده پروفایل

پژوهشگر

• Knowledge Representation
• Automated Planning
• Formal Methods
• +۷ مورد دیگر

Tobias John is a Doctoral Research Fellow in the Department of Informatics at the University of Oslo, affiliated with the Faculty of Mathematics and Natural Sciences. He is a member of the Reliable Systems and Data and Knowledge Management (DKM) research groups, and his work is supported by the EU REMARO project. His research focuses on enhancing the robustness of controllers that interact with evolving knowledge bases, particularly OWL ontologies, using formal logic and automated planning techniques. University: University of Oslo School: Faculty of Mathematics and Natural Sciences Department: Department of Informatics Research Groups: Reliable Systems, Data and Knowledge Management (DKM) Project: REMARO (EU-funded) His research interests center on knowledge representation, automated planning, formal methods, and logic in computer science. He investigates how ontologies can be integrated into planning systems to improve reasoning under uncertainty and ensure reliable behavior in dynamic environments. His work bridges theoretical computer science with practical applications in robotics and software reliability. The recent publications of Tobias John reflect a strong trend in combining ontology-based reasoning with robust planning and testing methodologies. His work spans from theoretical automata transformations to applied risk-aware planning for marine robots and mutation-based testing of knowledge graph applications. The dominant themes include ontology-mediated planning, logic-based validation, and reliability engineering in AI systems. He has not received any explicitly mentioned scientific awards. Tobias John is actively engaged in research but there is no indication of advising students or managing grants independently. His contributions are primarily through collaborative research within the REMARO project and his publications with senior researchers such as Einar Broch Johnsen, Eduard Kamburjan, and Patrick Koopmann. He is part of the Reliable Systems and Data and Knowledge Management (DKM) research groups at the University of Oslo, which focus on dependable computing, knowledge engineering, and formal verification of complex systems.