Yu-Fang Chen is a research professor at Academia Sinica, Taiwan, active across premier programming-languages venues such as PLDI, POPL, OOPSLA, SAS, APLAS and VMCAI. His work sits at the intersection of program verification , automata theory and constraint solving , with recent emphasis on quantum-circuit verification and string-number constraint solving . Research interests revolve around rigorous methods to ensure software reliability: developing novel automata models (level-synchronized tree automata, position-constrained string automata), building practical solvers that blend length, substring and numeric constraints, and extending automated reasoning to the quantum domain. His papers consistently introduce new decision procedures, learning algorithms and tool-chains that improve the scalability of static analysis and formal verification. Between 2017 and 2025 he (co-)authored more than a dozen peer-reviewed papers and served on over thirty program committees, including steering and organization chair roles for VMCAI 2026 and SAS 2023 . No doctoral students or funded-grant details are disclosed in the supplied sources.
Anders Miltner is an Assistant Professor at Simon Fraser University in Canada. He previously worked as a Postdoctoral Fellow at UT Austin and earned his PhD from Princeton University . Education: PhD (Princeton University), Postdoctoral Fellow (UT Austin) Research interests include Program Synthesis , Bidirectional Programming , Language Design , Domain-Specific Languages , and IDE Tools . His work focuses on creating tools and languages that enhance programmer productivity through synthesis techniques and bi-directional transformations. Recent publications include work on DSLs for grammatical domains, recursive functional program synthesis, representation invariants, and edit suggestion synthesis. Articles span conferences like OOPSLA , PLDI , ICFP , and POPL , with an emphasis on formal methods and tool development. He contributes to academic communities as a Committee Member and Co-Chair in tracks like Student Research Competition and Artifact Evaluation Committee , but no specific scientific awards are listed in available data. Advising and mentoring activities include Session Chair roles and Student Research Competition Judge duties. His contributions to GitHub repositories in OCaml , Scala , and TeX demonstrate a practical focus on language implementation and synthesis techniques.
António Sousa Gago is an Associate Professor at the Civil Engineering, Architecture and Geo-resources Department of Instituto Superior Técnico , University of Lisbon . He serves as Coordinator of the MSc and BSc in Civil Engineering and is a Senior Researcher at CERIS – Civil Engineering Research and Innovation for Sustainability . He is also Vice-President and Founding Member of the Portuguese Society for the Study of Construction History and a Senior Member of the Portuguese Engineers Society with expertise in structures. PhD in Civil Engineering (2004, IST) on Structural Analysis of Arched Structures MSc in Structural Engineering (1996, IST) on Static and Dynamic Analysis of Block Structures His research focuses on seismic retrofitting of masonry structures , heritage conservation , innovative reinforcement techniques using materials like GFRP and CFRP, and structural analysis of historical buildings . He has developed 15+ peer-reviewed publications on topics including diagonal tension in masonry , CFRP bonding , seismic vulnerability , and heritage structural modeling . His work has been recognized by the Prémio SECIL UNIVERSIDADES (2009, 2012) for outstanding academic contributions. He has supervised numerous PhD and Master’s students , including projects on seismic reinforcement of Pombalino buildings , CFRP applications , and traditional vault analysis . Gago has also led technical consultancy projects for seismic rehabilitation of schools, churches, palaces, and historical monuments, such as the Parque Escolar program and the Rehab Toolbox initiative .
Emanuele D'Osualdo is a Tenure-Track Professor of Formal Methods for Software Engineering at the University of Konstanz, Department of Computer and Information Science. Previously, he was a Postdoctoral Researcher at Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken until April 2024, working with Derek Dreyer on verification of concurrent software. Before that, until September 2020, he was a Marie Curie Fellow at Imperial College London, working with Prof. P. Gardner. From 2015 to 2017, he was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer. His educational background includes: PhD (DPhil) in Computer Science from the University of Oxford (2015), supervised by Prof. C.-H. Luke Ong Undergraduate and master's studies at the University of Udine, Italy, graduating with honors and supported by the Scuola Superiore scholarship Emanuele D'Osualdo's research focuses on Formal Methods for the verification of software, with particular emphasis on two main approaches: automatic verification methods using static analysis and infinite-state model checking; and compositional methods, focusing on program logics for properties beyond safety. His work spans several areas including Programming Languages, Verification, Security, Concurrency Theory, Probabilistic Programs, Types, Static Analysis, Process Algebra, and Model Checking. His research has led to the development of tools such as Soter for automatic safety verification of Erlang programs and James Bound for analyzing π-calculus. His recent publications demonstrate a strong focus on advanced verification techniques for concurrent and distributed systems, with particular attention to linearizability, session types, security protocols, and probabilistic reasoning. His work bridges theoretical foundations with practical applications in software verification, showing a progression from foundational work on π-calculus to more applied verification of concurrent data structures and probabilistic systems. He has received notable recognition for his work, including: Winner of the 2016 CPHC/BCS Distinguished Dissertation award Marie Curie Fellow Emanuele actively supervises students and leads research in formal methods. He is involved in several research projects related to software verification and has presented his work at top-tier conferences including POPL, OOPSLA, ESOP, and CAV. He is scheduled to give a keynote at HYPER'25 in Zagreb and will be attending POPL'25. His research group appears to focus on developing theoretically sound yet practical verification techniques for modern concurrent and distributed software systems.
Ravi Chugh is an Associate Professor in the Department of Computer Science at the University of Chicago. His work bridges Programming Languages (PL) and Human-Computer Interaction (HCI), focusing on direct manipulation programming systems and hole-driven development. Affiliation: University of Chicago Role: Director of Undergraduate Studies Research interests: Direct Manipulation Programming Systems Type Systems Program Synthesis Structured Editing Visual Programming His recent work includes Ragged Blocks (UIST 2025) for structured text rendering, Code Style Sheets (OOPSLA 2025) for styling code, and projects like Sketch-n-Sketch and Hazel for bimodal programming environments. Professional Activities: Program Committee: HATRA 2025, VL/HCC 2023, PLDI 2022, POPL 2021 Artifact Evaluation Co-Chair: PLDI 2018-2020 Editorial Board: Journal of Functional Programming (2020–)
Simon Oddershede Gregersen is a postdoctoral researcher at the Courant Institute of New York University, working with Joseph Tassarotti. He earned his PhD from Aarhus University in 2023 under Amin Timany and Lars Birkedal. His research focuses on programming languages and program verification, particularly for security properties, distributed systems, and randomized programs. Current Position: Postdoctoral Researcher, Courant Institute, New York University PhD: Aarhus University (2023) Future Role: Tenure-Track Faculty, CISPA (starting January 2026) Simon devises techniques like program logics and logical relations to enable formally verified software systems with machine-checked proofs. His work is supported by an Internationalization Fellowship from the Carlsberg Foundation (CF23-0791). He has presented his research at international conferences and workshops, including ICFP, POPL, and POST. Recent publications highlight his contributions to probabilistic programming verification, error bound reasoning, and logical relations for security. He received the ICFP 2024 Distinguished Paper Award for his work on error bound analysis. Simon invites collaboration with prospective interns and PhD students at CISPA starting 2026. Email: s.gregersen@nyu.edu
Damla DURAK UŞAR is an Assistant Professor in the Department of Industrial Engineering at Turkish-German University , Faculty of Engineering. She holds a Ph.D. in Business Administration from Özyeğin University (2017), an MBA from Marmara University (2008), and a B.Sc. in Metallurgical and Materials Engineering from Istanbul Technical University (2003). Her academic career includes a postdoctoral researcher role at the TÜSİAD-Özyeğin University Sustainable Development Forum (2017–2019) before joining Turkish-German University in 2020. Research Interests: Her work focuses on the intersection of corporate sustainability , supply chain management , and financial performance . She explores the impact of ISO certifications and blockchain technology on operational excellence, particularly in perishable food supply chains and multi-tier supply chain systems . Broader themes include game theory applications and gender diversity in corporate leadership. Recent Article Trends: Her publications (2017–2024) emphasize empirical analysis of sustainability practices in manufacturing, with a focus on Turkey. Key areas include environmental and social governance (ESG) , dynamic programming , and technology-driven supply chain resilience . While most articles are journal publications in Sustainability and International Journal of Production Research , she also contributes to conferences like the World Symposium on Sustainability Leadership (2025) and DSI Annual Conference (2024). Labs/Teams: She is affiliated with the TÜSİAD-Özyeğin University Sustainable Development Forum , where she conducted postdoctoral research, and collaborates with co-authors such as Mehmet Ali Soytaş, Yasenur Kayıkçı, and Batin Latic Aybak.
Laurent Hascoët is a permanent INRIA Researcher at Sophia-Antipolis center in France since 1986. He leads the ECUADOR team , previously known as TROPICS team, focusing on Automatic Differentiation (AD) since 1998. Research Interests: Specializing in Program Analysis and Transformation Parallelization Algorithms Compiler Techniques for AD Scientific Computing Applications Memory Optimization in Reverse Mode AD His work includes foundational research on data-flow analyses for adjoint programs, formalization of SPMD parallelization methods for mesh-based computations, and development of the TAPENADE Automatic Differentiation tool. The tool has been applied to complex systems like ocean circulation models (OPA) and CFD simulations. Scientific Work: He has contributed to Formalizing AD data-flow equations Extending TAPENADE to C language Optimizing checkpointing strategies Advancing tangent-on-reverse second derivative computation Reducing memory usage through address reversal techniques
Michael D. Bond is a Professor in the Department of Computer Science and Engineering at Ohio State University, where he leads the Programming Languages and Software Systems (PLaSS) Research Group. His work focuses on designing program analyses and software and hardware systems that enhance computing reliability, scalability, and security. As an active member of the programming languages and systems research community, he serves in leadership roles including General Chair for PLDI 2027 and ISMM 2024. Professor Bond's research interests span programming languages, systems, and security with a particular focus on information flow control, concurrency, memory management, and Rust programming language systems. His group has made significant contributions to data race detection, predictive analysis, information flow control in Rust, and memory-disaggregated systems. Recent work includes Carapace (static-dynamic information flow control in Rust), Cocoon (static information flow control in Rust), and IsoPredict (predictive analysis for weakly isolated data applications). His research group has secured substantial funding, including multiple NSF grants such as SaTC-2348754 (2024-2027) on information flow control in Rust, CyberCorps-2336531 (2024-2029), and CSR-2106117 (2021-2025). Professor Bond has advised numerous PhD and MS students, many of whom have gone on to prestigious positions at Google, Amazon, Huawei, and academic institutions. Scientific Awards: Outstanding Teaching Award, Department of Computer Science and Engineering, Ohio State University (2018) Lumley Research Award, College of Engineering, Ohio State University (2016) OOPSLA 2015 Distinguished Paper and Artifact Awards NSF CAREER Award ACM SIGPLAN Outstanding Doctoral Dissertation Award Professor Bond actively contributes to the research community through service as program committee member for top conferences including PLDI, ASPLOS, and OOPSLA. He is currently the General Chair for PLDI 2027 and served as General Chair for ISMM 2024. His group's open-source implementations accompany many publications, demonstrating commitment to reproducibility and practical impact.
Isabel Cecília Correia da Silva Praça Gomes Pereira is a Coordinator Professor at the School of Engineering of the Polytechnic Institute of Porto (ISEP), where she serves as Director of the Master on Informatics Engineering and Advisor of ISEP Presidency for R&D. She is also a Senior Researcher at GECAD (Research Group on Intelligent Engineering and Computing for Advanced Innovation and Development), a research unit ranked as Excellent by the Portuguese Science & Technology Foundation. Dr. Praça holds a PhD in Electrical and Computer Engineering - Industrial Informatics from the University of Trás-os-Montes e Alto Douro, and completed her post-doctoral studies in Artificial Intelligence - Multi-Agent Systems with support from the Portuguese National Science Foundation (SFRH/BPD/30111/2006). Her academic journey includes progressive appointments from Assistant to Adjunct Professor and finally to Coordinator Professor at ISEP. Her research focuses on Artificial Intelligence applied to cybersecurity and security of AI , with significant contributions to applying AI in various domains including cybersecurity (projects like AIDA, SAFE, VESTA), industry (SeCoIIA, Cyberfactory), and energy systems (SPET, MAS-Society). She leads a research team at GECAD working on these topics and has strong connections with over 100 companies and technology transfer centers across more than 30 countries. Analysis of her recent publications reveals a strong trend toward AI security, with particular emphasis on adversarial attacks against AI systems, secure implementation of AI in critical domains, and privacy-preserving AI techniques. Her work spans both theoretical foundations and practical applications across multiple sectors including energy, healthcare, and network security, demonstrating her ability to bridge academic research with real-world applications. Dr. Praça has been recognized as an expert by several prestigious organizations including the European Union Agency for Cybersecurity (ENISA), where she contributes to working groups on Security of AI and the European Cybersecurity Skills Framework. She also serves as an expert for NATO's Defence Innovation Accelerator for the North Atlantic (DIANA) and represents ISEP in the European Cybersecurity Organization (ECSO). As an educator, she teaches Machine Learning and Multi-agent Systems in the MSc in AI program, and Security of Communications and Infrastructures in the Cybersecurity branch of the MSc in Informatics. She currently supervises 4 PhD students in AI security and privacy and has guided 45 Master's theses, demonstrating her commitment to developing the next generation of researchers and practitioners in her field. Her research is supported by numerous international and national grants, including multiple Horizon Europe and Horizon 2020 projects where she serves as Principal Investigator or Co-PI. She has participated in over 35 R&D projects totaling significant funding, with a strong track record of translating research into practical applications through industry partnerships.
Min Hu is a Lecturer in the Department of Building Technology at Linnaeus University's Faculty of Technology. With a PhD in Building Technology completed in 2018, Dr. Hu has established a research program focused on improving machine strength grading of structural timber through advanced analysis of fiber orientation and local bending stiffness related to knots in sawn timber. Dr. Hu's research interests center on timber engineering, wood mechanics, and structural analysis, with particular expertise in non-destructive testing methods including laser scanning and X-ray computed tomography. Their work bridges computational modeling with practical applications in wood construction, developing sophisticated models to predict mechanical properties of timber based on internal structure. The publication record demonstrates a consistent focus on understanding fiber orientation in Norway spruce and other timber species, with recent work expanding into Cross-Laminated Timber (CLT) applications. The research shows progression from fundamental studies of wood microstructure to practical engineering applications for improving timber grading and construction systems. Dr. Hu actively supervises bachelor's and master's degree projects while teaching courses in Structural Mechanics, Construction Technology, and the Finite Element Method. Their pedagogical approach emphasizes creating an encouraging environment that conveys the joy of learning and inspires critical thinking. Department of Building Technology Faculty of Technology Linnaeus University Dr. Hu leads research within multiple collaborative frameworks including the Linnaeus University Centre for Competitive Timber Structures (Lnuc TiSt) and participates in several ongoing research projects focused on sustainable wood construction, detection of internal timber properties, and improving CLT-based building systems through engineering design.
Giorgio Levi is a Full Professor in the Department of Computer Science at the University of Pisa, Italy. He works on theoretical aspects of programming languages and formal methods. Research includes interpreter design and abstract interpretation Teaches courses on Abstract Interpretation in Declarative Languages Contributed to projects like FIRB - Model B - Pisa Research Interests : His work focuses on abstract interpretation, programming language semantics, and code analysis. He has developed interpreters for functional languages, denotational semantics, operational semantics, and type inference systems. Teaching : He teaches a course on abstract interpretation in declarative languages, with materials including denotational interpreters, operational semantics, and run-time structures. Projects : Involved in the FIRB - Model B - Pisa research initiative, which relates to interpreter refinements and semantic evaluation functions.
Professor Tolga Ayav is affiliated with the Department of Computer Engineering at Izmir Institute of Technology , where he has served as faculty since 2006. He received his BSc in Electrical and Electronics Engineering (1995) from Dokuz Eylül University, MSc in Computer Engineering (1999) from Izmir Institute of Technology, and PhD in Computer Engineering (2004) from Ege University. He was a researcher at INRIA Rhone-Alpes in 2005. Education BSc: Electrical and Electronics Engineering, Dokuz Eylül University (1995) MSc: Computer Engineering, Izmir Institute of Technology (1999) PhD: Computer Engineering, Ege University (2004) Research Interests include formal methods for software testing, hardware component and on-chip system tests, real-time and fault-tolerant embedded systems, blockchain applications, and machine learning. His work focuses on: Formal verification techniques Real-time system optimization Hardware-software co-design Blockchain-based security solutions Mathematical modeling in testing Recent Publications span topics like: Deep learning for livestock monitoring Blockchain in IoT security Fourier expansion in fault analysis Optimized data replication strategies Finite state machine testing Scientific Awards include: Best Paper Award at IEEE CBDCom 2016 for cloud data replication research Teaching includes courses such as: CENG 312: Computer Networks CENG 523: Advanced Topics in Real-Time Systems CENG 215: Circuits and Electronics Projects he has led include: TÜBİTAK TEYDEB: Spectrally Efficient Small Cell Base Station Design BAP: Dedicated Server for Physical Network Applications Lab Leadership : He leads the DCS Research Group at Izmir Institute of Technology, focusing on distributed computing and real-time systems.
Rui Abreu is a Full Professor at the Faculty of Engineering of the University of Porto, Portugal. His academic career spans multiple institutions including IST, ULisbon where he served as an Associate Professor, and the University of Porto where he previously held the position of Assistant Professor. He has also been a Visiting Researcher at Google NYC (2019-2020) and a member of the Model-Based Reasoning group at PARC's System and Sciences Laboratory. Dr. Abreu earned his Ph.D. in Computer Science - Software Engineering from the Delft University of Technology, The Netherlands, and his M.Sc. in Computer and Systems Engineering from the University of Minho, Portugal. His research revolves around software quality with emphasis on automating testing and debugging phases of the software development life-cycle as well as self-adaptation. With extensive expertise in both static and dynamic analysis algorithms, his work spans traditional software engineering, quantum software testing, and security-focused development practices. His recent publications demonstrate a strong focus on applying AI techniques to software engineering problems, quantum software testing, and security vulnerability detection. The trend shows increasing integration of large language models in debugging tools and expanding research into quantum software verification. Dr. Abreu has received significant recognition for his work, including 6 Best Paper Awards and a Distinguished Paper Award at ESEC/FSE 2019. His research has attracted considerable attention in the software engineering community. As an entrepreneur, he co-founded DashDash in January 2017, a platform that allows users to create web applications using only spreadsheet skills. The company secured $9M in Series A funding in May 2018. His industry experience complements his academic work, particularly in the areas of practical software tools and applications. Dr. Abreu has been actively involved in numerous conferences, serving as General Chair for ICST 2020, Program Committee member for multiple tracks across various conferences, and as Steering Committee member for ICST. His leadership in the software engineering community is evident through his extensive service and contributions to the field.
Alexandre Chapoutot is a Lecturer and researcher at ENSTA Paris within the Computer Science and Systems Engineering Unit (U2IS). He leads the Semantics of Hybrid Systems (SSH) research group and serves as Head of the 2nd year specialization of the engineering cycle in Computer Science. His academic work bridges theoretical computer science with practical engineering applications, focusing on the rigorous analysis and verification of complex systems. Chapoutot's research interests span the verification of cyber-physical systems, with a strong emphasis on interval analysis and mobile robotics. He has made significant contributions to the static analysis of programs through abstract interpretation, particularly for improving the accuracy of floating-point arithmetic calculations. His work bridges theoretical computer science with practical engineering applications, developing methods that ensure the reliability and safety of autonomous systems. The research has direct applications in robotics, control systems, and safety-critical embedded software where numerical precision and system correctness are paramount. His recent publications reveal a strong trend toward the integration of formal methods with practical robotics applications. The work spans theoretical foundations in hybrid systems verification, practical implementations for robotics navigation and control, and innovative approaches to combining different verification techniques. A significant portion of his recent work focuses on Signal Temporal Logic applications, trajectory optimization, and the development of verified algorithms for autonomous systems. The publications demonstrate a consistent progression from theoretical foundations to practical implementations with real-world robotics applications. Chapoutot actively supervises multiple PhD students working on cutting-edge research topics at the intersection of formal methods and robotics. His research group collaborates extensively with other institutions and researchers, as evidenced by the numerous co-authored publications across various domains. He contributes to the development of the DynIbex software library, which provides validated solutions for ordinary differential equations using Runge-Kutta methods. His laboratory work centers around the Semantics of Hybrid Systems (SSH) group, which develops theoretical frameworks and practical tools for the analysis and verification of cyber-physical systems. The group's research spans formal methods, numerical analysis, and robotics, with a strong emphasis on developing mathematically rigorous approaches that can be applied to real-world engineering problems.
