May Haidar is an Assistant Professor in the Department of Electrical Engineering & Computer Science at York University. Her work bridges theoretical and applied domains, focusing on software engineering, web applications, and formal verification techniques. Education: Ph.D. in Computer Science (Université de Montréal, 2008), M.S. (Concordia University), B.S. (American University of Beirut) Current Role: Teaching Object-Oriented Programming, Advanced Programming, and Web Development courses Her research explores formal methods in software engineering, particularly temporal logics and run-time verification for web applications. She has contributed to hybrid analysis techniques for composite web services and anomaly detection frameworks. Publications span formal verification, web application security, and embedded systems design, with a focus on integrating temporal logic extensions into validation processes. While no explicit awards are listed, her work has been presented at global conferences, including events in Dubai, Cambridge, and Las Vegas.
Stewart Weiss is an Associate Professor in the Department of Computer Science at Hunter College, part of the City University of New York (CUNY). His research focuses on Software Quality Assurance, computational biophysics, and integrating open-source software into computer science education. He holds a PhD in Computer Science from New York University's Courant Institute (1987), an M.S. from the same institute (1984), and a B.A. in Mathematics from Hunter College (1982), alongside a B.Arch. from The Cooper Union (1973). Dr. Weiss teaches courses such as Software Design and Analysis, Computer Theory, and UNIX Tools. His work spans grants from NSF and PSC-CUNY, including research in protein structure prediction via the kernel energy method and educational initiatives like 'Computing for Social Good.' He has advised on projects like the 'Gateway for Open Source Software Development' in curricula and contributed to tools for adaptive contrast sensitivity testing. His teaching philosophy emphasizes rigorous academic standards and hands-on learning. He has developed extensive resources, including tutorials on UNIX, parallel programming, and C/C++ programming. His research has explored topics ranging from mutation testing frameworks to quantum chemistry applications in molecular modeling.
Eric Koskinen is the Charles Berendsen Chair Associate Professor in the Department of Computer Science at Stevens Institute of Technology. His research focuses on improving concurrent software development for multi-core and distributed systems through advances in programming languages, verification techniques, and formal methods. He holds a PhD from the University of Cambridge and has held roles at Yale, NYU, and industry positions at IBM, Microsoft, and Amazon. Education: PhD (2013) University of Cambridge, MS (2008) Brown University, BS (2001) William & Mary Research Interests: Concurrent programming, formal verification, programming language design, and distributed systems Recipient of over $5M in grants from NSF/ONR/DARPA. Active in conference organization (POPL, PLDI) and has developed verification tools like CityProver and Veracity. Advises PhD students in concurrency research and teaches courses on programming languages, discrete structures, and software verification.
Christopher Lynch is a Professor in the Department of Computer Science at Clarkson University, part of the Coulter School of Engineering & Applied Sciences. His research focuses on Automated Deduction, including theorem proving, algorithm efficiency, and cryptographic protocol analysis. He has contributed to the development of efficient algorithms and tools for verification in hardware/software systems. His research interests include automated deduction, automated reasoning, and theorem proving, with a particular emphasis on improving algorithm efficiency for verifying specifications in hardware and software. He has developed new algorithms and modified existing ones to enhance their performance. Additionally, his work extends to cryptographic protocol analysis, focusing on symbolic methods and tools like CryptoSolve to ensure system security. His recent articles explore advancements in satisfiability modulo theories (SMT), unification algorithms (e.g., XOR unification and asymmetric unification), and the application of formal methods to cryptographic systems. Key contributions include improving theorem proving efficiency and developing tools for protocol verification. Christopher Lynch has been involved in collaborative research grants, including the "Unification Laboratory" projects aimed at enhancing cryptographic protocol analysis tools. No specific grants or advising details beyond this are provided in the text.
Jason Jaskolka is an Associate Professor in the Department of Systems and Computer Engineering at Carleton University, part of the Faculty of Engineering and Design. He holds a Ph.D. from McMaster University and is a licensed Professional Engineer in Ontario. His research focuses on cyber security evaluation and assurance, formal methods, and secure software engineering. He leads the Cyber Security Evaluation and Assurance (CyberSEA) Lab, emphasizing security-by-design principles for complex systems like industrial control systems and IoT-enabled healthcare. Education: Ph.D. (Software Engineering, McMaster University, 2015), M.A.Sc. (Software Engineering, McMaster University, 2010), B.Eng. (Software Engineering and Game Design, McMaster University, 2009). Research interests include: Cyber Security Evaluation & Assurance, Data-Driven Security Metrics, Formal Verification of Security Properties, Secure Software Architecture Design, and Industrial Cyber-Physical Systems Security. His work addresses challenges in threat modeling, compliance with security standards, and mitigating implicit system vulnerabilities. Recognition includes the 2021 New Faculty Excellence in Teaching Award for innovative pedagogy. He actively supervises graduate students in funded research positions. Key collaborations include Health Canada's Scientific Advisory Committee on Digital Health Technologies and the U.S. Department of Homeland Security’s Cybersecurity Postdoctoral Fellowship at Stanford University. Labs/Teams: CyberSEA Lab, focusing on developing rigorous security evaluation frameworks and tools for software-dependent systems.
Shuang Liu is a Researcher at the Institute of Computer Architecture and Computer Engineering, University of Stuttgart. Their work focuses on embedded systems, networks-on-chip (NoC), and chip design methodologies. They specialize in deadlock-free routing, fault-tolerant computing, and application-specific system synthesis using advanced techniques like integer linear programming. Research interests include optimizing NoC architectures for chiplet-based systems, co-design of floorplanning and routing topologies, and energy-efficient signal processing in medical electronics. Their recent work emphasizes formal verification methods and performance optimization in hardware-software co-design. Publications span topics such as deadlock prevention in NoC, ILP-based routing synthesis, and trade-offs in hearing aid ASIP design. Office hours are Monday 2–3 p.m. in Room 1.001, Pfaffenwaldring 5b, Stuttgart.
Rachida Dssouli is a Professor at the Concordia Institute for Information Systems Engineering (Concordia University). Her research focuses on advanced software engineering methodologies, quality assurance systems, and distributed computing frameworks. She specializes in model-based testing, federated learning optimization, and big data quality management. Her work integrates formal verification techniques with modern machine learning approaches to address challenges in edge computing, IoT, and safety-critical systems. Key research areas include: Development of hybrid swarm intelligence algorithms for optimizing large language model deployment in edge-cloud environments Design of reinforcement learning frameworks for robotics motion planning and IoT device scheduling Creation of interpretable machine learning tools for fault detection in software systems Establishment of holistic big data quality frameworks for continuous monitoring and unstructured data analysis Formal verification methods for avionics systems using multi-agent models Her recent work demonstrates trends toward AI-driven solutions for testing methodologies (e.g., SHAP-Driven fault detection) and edge-cloud integration (e.g., MIMO-based computation offloading optimization). The 2025 publications highlight advancements in federated learning and trust-aware IoT scheduling. Earlier works (2018-2020) emphasize foundational contributions to cloud trust models, big data quality metrics, and safety-critical system testing. Her research also addresses emerging technologies for developing countries through frameworks like neurodegenerative disease monitoring systems and mobile application requirements engineering. She has contributed to service-oriented architectures for healthcare systems and cloud-based resource orchestration strategies.
Jinqiu Yang is an Associate Professor in the Department of Computer Science and Software Engineering at Concordia University. His research focuses on software reliability, automated program repair, software testing, and quality assurance of machine learning systems, particularly in autonomous vehicles. He holds a PhD and MASc from the University of Waterloo and a B.Eng. from Nanjing University. Yang has been a tenure-track faculty member at Concordia since 2018, following research roles at IBM Watson and IBM CAS. Research Interests: Automated Program Repair Software Testing Machine Learning Systems Text Analytics of Software Artifacts Mining Software Repositories Autonomous Systems Quality Assurance Key Contributions: His recent work includes detecting concept drifts in ML systems (ICSE-25) and investigating social bias in LLM-generated code (AAAI-25). He leads the O-RISA Lab and has authored over 50 peer-reviewed publications, including distinguished papers at MSR-2018. Yang currently holds grants such as the NOVA FRQNT-NSERC Program (2024-2027) and the NSERC Discovery Grant (2019-2025). Service & Awards: Editorial Board Member of the Empirical Software Engineering Journal (EMSE) and active PC member in top venues like ICSE and FSE. Recipient of the IBM CAS Fellowship and ACM SIGSOFT Distinguished Paper Award. Teaching & Students: He mentors students in Master's and PhD programs, with funding available. His lab focuses on cutting-edge topics like secure code generation and autonomous vehicle reliability.
Dr. James Law serves as a Senior Experimental Officer at Sheffield Robotics and leads the Collaborative Robotics Group within the School of Computer Science at the University of Sheffield. He holds a joint appointment between the Department of Computer Science and the Advanced Manufacturing Research Centre, and serves as Director of Innovation and Knowledge Exchange at Sheffield Robotics. His work integrates academic research with industrial applications in advanced manufacturing. His research focuses on human-robot collaboration, trustworthy autonomous systems, and responsible innovation in manufacturing robotics. Law develops safety assurance frameworks and digital twinning solutions for collaborative workspaces, with particular emphasis on trust engineering, user authentication, and graphical communication systems that reduce human anxiety in robot co-working environments. His interdisciplinary approach bridges computer science, engineering psychology, and industrial implementation requirements. Law's publication portfolio demonstrates consistent advancement in collaborative robotics safety, with recent work (2022-2024) focusing on verified safety controllers, digital twin frameworks, and trust modeling in human-robot triads. His research shows progression from foundational developmental robotics (2010-2015) toward applied industrial solutions, with increasing emphasis on security, safety assurance, and human factors in manufacturing contexts. As an active science communicator, Law serves on the UK Robotics and Autonomous Systems network (UK-RAS) management board and the EPSRC Early Career Forum in Manufacturing Research. EPSRC STAMAN: Robotic skill transfer for manufacturing (Co-PI, £1M+) Horizon Europe OpenSwarm: Energy-aware swarm orchestration (Co-PI, £463k) EPSRC Security of Digital Twins in Manufacturing (Co-PI, £775k) EPSRC UKRI Trustworthy Autonomous Systems Node (Co-PI, £3M) Law leads the Collaborative Robotics Group and contributes to the Complex Systems Modelling research group, focusing on translating theoretical safety frameworks into practical industrial implementations through close collaboration with manufacturing partners and policy stakeholders.
Roles and Affiliations: Daniel Jackson is a Professor of Computer Science and Engineering at MIT, and Associate Director of CSAIL (Computer Science and Artificial Intelligence Lab). He leads the Software Design Group, focusing on conceptual software design, formal methods, and cybersecurity. Education and Professional Background: Jackson's work includes collaborations with NASA, Toyota, and Massachusetts General Hospital. He earned his ACM Fellow distinction and authored influential books like Software Abstractions and The Essence of Software . Research Interests: Jackson's research spans conceptual software design, formal methods using Alloy, cybersecurity, and autonomous systems. His projects include Riffle (local-first applications), Wildcard (web customization), and Certified Control (safety-critical systems). Articles Trends: Recent work emphasizes cybersecurity in autonomous vehicles, declarative diagram composition (Bluefish), and end-user software customization. His publications bridge theory and practical applications, often addressing dependability and usability. Awards and Recognition: ACM SIGSOFT Impact Award (2016), ACM SIGSOFT Outstanding Research Award (2017), MIT MacVicar Teaching Fellow, and MLK Leadership Award (2018). Grants and Labs: Supported by NSF grants and collaborations with industry, Jackson's work includes MIT’s Future of Data Initiative and cybersecurity projects. His lab, the Software Design Group, develops tools like Alloy and explores new paradigms for software development.
Adi Yoga Sidi Prabawa is a Senior Lecturer (Educator Track) at the National University of Singapore's School of Computing, Department of Computer Science. He also serves as Deputy Director of the Centre for Nurturing Computing Excellence (CeNCE). His academic journey includes a B.Sc. in Computer Science (2011) and Ph.D. in Computer Science (2019), both from NUS. His research focuses on Automated Software Verification , Language-based Information Flow Control , Type System , and Program Analysis . His work bridges theoretical computer science with practical security applications. His teaching spans computer organization, database systems, and programming languages, where he has developed educational tools for MIPS processor simulation and compiler implementation. His research publications include work presented at VMCAI 2018 and APLAS 2019, focusing on information flow verification and lattice representation in theorem provers. These works demonstrate his expertise in formal methods and programming language theory. IBM Certified Database Associate Microsoft Certified Technology Specialist Microsoft SQL 2008 Business Intelligence Development and Maintenance As an educator, he has taught numerous courses including CS2100 Computer Organisation, CS2102 Database Systems, and CS1010E Programming Methodology across multiple semesters from 2018-2022. He has developed comprehensive educational materials including MIPS interpreter, assembler, and compiler tools that serve as valuable resources for students learning computer architecture.
Alan Hu is a Professor in the Department of Computer Science at the University of British Columbia (UBC), part of the Faculty of Science. His research focuses on formal verification, algorithms, computer architecture, and electronic design automation. He teaches courses such as Intermediate Algorithm Design and Analysis (CPSC 320) and Introduction to Formal Verification and Analysis (CPSC 513). Dr. Hu has received notable awards, including the IEEE Council on Electronic Design Automation Outstanding Service Award and the IBM Faculty Award. His work emphasizes scalable verification techniques, SAT-based algorithms, and optimization in cloud computing and hardware systems. His research spans formal methods for hardware/software systems, including verification of embedded software, cache coherence, and network function virtualization. Notable contributions include advancements in SAT modulo theories, data race detection in heterogeneous systems, and cloud resource allocation frameworks like Cospot. Dr. Hu has been actively involved in teaching and curriculum development, consistently offering courses on algorithms, formal verification, and software design since 2000. His publications reflect a blend of theoretical foundations and practical applications in electronic design, cloud infrastructure, and verification tools. His scientific achievements include innovations in post-silicon validation, emulation-based coverage reduction, and formal analysis for debug trace optimization. He also contributes to the academic community through conference organization and editorial roles in formal verification and computer-aided design.
Professor Richard Buckland is a Professor in Cybercrime, Cyberwar, and Cyberterror at the School of Computer Science and Engineering, UNSW. He concurrently holds visiting roles as Professor of Educational Design at the National University of Malaysia (UKM) and Grand Challenge Visiting Professor in CyberSecurity at Taylors University. He leads the UNSW First Year Experience initiative and directs the UNSW/CommBank Security Engineering Capability partnership (SecEDU). His accolades include the 2008 Engineering Educator of the Year and 2013 ICT Educator of the Year awards, alongside over a decade of peer-reviewed teaching recognitions. His research bridges Cyber Security (focusing on electronic elections, cryptography, and security engineering) and Education Technology (exploring affective learning domains, non-mark-based motivation, and online education scalability). He pioneered Australia’s first MOOC and co-founded OpenLearning.com, amassing hundreds of thousands of students globally. His work emphasizes ethical hacking, election integrity, and fostering inclusive educational environments for diverse learners. Professional milestones include chairing the Australian Computer Society’s Academic Board, directing the Australian Centre for Cyber Security’s Education division, and serving on UNSW’s Academic Board. His grants and collaborations span industry partnerships and government security initiatives. Richard is also an advocate for unconventional learners, including gifted and neurodiverse students, and actively promotes kindness and emotional engagement in pedagogy.
Dr. Guowei Yang is a Senior Lecturer at the School of Electrical Engineering and Computer Science , The University of Queensland, Australia. He transitioned to this role in 2021 after serving as a tenured Associate Professor at Texas State University's Department of Computer Science. His research focuses on the intersection of Software Engineering Machine Learning Programming Languages Cybersecurity with an emphasis on system reliability and security. His recent publications (2022-2025) analyze: Android API compatibility challenges Symbolic execution optimizations Fuzzing techniques for JVM security Moving target defense strategies Automated patch generation Constraint classification in code analysis He leads a research group seeking students with backgrounds in software engineering, formal methods, and AI. Current funding includes a 2023-2026 Oracle Corporation grant for DevSecOps analysis. Dr. Yang supervises multiple PhD and Master's projects, often as principal advisor, focusing on topics like deep learning testing, IoT analysis, and DevSecOps integration.
Tim French is an Associate Professor in the Department of Computer Science and Software Engineering at the University of Western Australia's School of Physics, Maths and Computing. He is affiliated with the UWA Oceans Institute and serves as Regional Contest Director for the South Pacific Programming Contest and Programme Chair for the Australasian Conference on Artificial Intelligence 2022. His research focuses on logic, artificial intelligence, knowledge representation, and reasoning about uncertainty in multi-agent systems, probabilistic reasoning in games, and industrial applications like automated planning and machine learning for complex processes. French holds a PhD in Computer Science (2007) and BSc in Computer and Mathematical Sciences (1999), both from UWA. His expertise spans algorithms, automated reasoning, formal methods in software, and temporal logic verification systems. He has led or contributed to 6 major research projects including the ARC Research Hub for Transforming Energy Infrastructure and the ARC Training Centre for Transforming Maintenance through Data Science. His research outputs include 118 publications covering topics like aleatoric logic for probabilistic reasoning, semantic knowledge extraction from industrial maintenance systems, and deep learning applications in wastewater treatment. He has developed novel methods for knowledge graph construction, state estimation in complex systems, and user interface design informed by work characteristics models. Key grants: 6 active/finished projects totaling $M+ funding Leadership roles: Programming contest director, conference chair Interdisciplinary focus: Combines formal logic with industrial automation challenges French's work contributes to UN Sustainable Development Goals through education and innovation in sustainable industrial processes and environmental systems modeling. His team has developed practical solutions for maintenance procedure digitization, wastewater plant optimization, and robust agent-based systems for uncertain environments.
