Dr Nour Ali is a Reader in the Department of Computer Science at Brunel University London , where she co-heads the Brunel Software Engineering Lab and serves as Vice-Dean of Education for the College of Engineering, Design and Physical Sciences. She holds a PhD in Software Engineering from Universidad Politecnica de Valencia, Spain, and a Major in Computer Science from Bir-Zeit University, Palestine. Research Interests: Software architecture for distributed and adaptive systems, integrating techniques like Model-Driven Engineering, Reverse Engineering, and Machine Learning. Teaching: Module leader for Software Project Management and supervisor of undergraduate group projects and final-year projects. Scientific Contributions: Over 70 publications in journals, conferences, and books. Key research areas include microservice architecture recovery, autonomic healthcare systems, and mobile self-adaptive architecture. Scientific Awards: Fellow of the Higher Education Academy (HEA). Membership: Deputy Editor-in-Chief for IET Software, member of multiple conference program committees, and reviewer for EPSRC, NWO, and other funding bodies.
Daehyeok Kim is an Assistant Professor in the Department of Computer Science at The University of Texas at Austin, where he co-leads the UT Networked Systems Research Group and participates in the Wireless Networking and Communications Group and 6G@UT. He serves as co-PI for the LDOS NSF Expeditions in Computing project, a major initiative rethinking operating systems through AI. His educational background includes a Ph.D. in Computer Science from Carnegie Mellon University under advisors Vyas Sekar and Srinivasan Seshan, where his dissertation introduced abstractions for elastic in-network computing. He also earned B.S. and M.S. degrees in Computer Science and Engineering from POSTECH, South Korea, followed by research scientist work at KAIST prior to his Ph.D. Kim's research centers on hardware-software co-design for cloud and edge data centers, targeting speed, efficiency, and resilience. Key projects include resource management for programmable infrastructure, robust cellular network design, end-to-end network transport frameworks, and learning-directed operating systems. His work bridges computer networks, operating systems, distributed systems, and 5G/6G technologies, with emphasis on virtualized radio access networks (vRAN) and edge computing challenges. Analysis of his recent publications reveals a dominant focus on enhancing 5G/6G infrastructure reliability—particularly in virtualized RANs—through innovations in failover mechanisms, integrity protection, and latency-sensitive resource allocation. His research consistently addresses critical industry pain points like sub-second availability requirements, fronthaul security vulnerabilities, and end-to-end service-level objective (SLO) guarantees for mobile-edge applications. Notable scientific awards include: NSF CAREER Award (2025) for advancing cloud hardware efficiency Microsoft Research PhD Fellowship (2019) Bronze Award at Samsung HumanTech Paper Awards (2018) Qualcomm Innovation Awards (2016) His grant portfolio features leadership in the $10M+ LDOS NSF Expeditions project and the NSF CAREER award, both driving transformative work in AI-integrated operating systems and resilient network infrastructure. These projects demonstrate strong industry-academia collaboration with Microsoft Research, wireless vendors, and cloud providers. Kim co-leads the UT Networked Systems Research Group, which operates within the Wireless Networking and Communications Group and 6G@UT consortium. These labs maintain a 5G/6G testbed for Open RAN validation and focus on solving real-world problems in cellular infrastructure, edge computing, and network security through close partnerships with industry leaders.
Chaopeng Shen is a Professor in the Department of Civil and Environmental Engineering at Pennsylvania State University. His research bridges hydrology with state-of-the-art deep learning and differentiable modeling techniques, focusing on advancing our understanding of hydrologic cycles and their interactions with ecosystems, energy, and carbon cycles. He leads the Multi-scale Hydrology, Processes and Intelligence group (MHPI) and has developed the Process-based Adaptive Watershed Simulator (PAWS) for large-scale hydrologic modeling. Shen's work emphasizes physics-informed machine learning , where deep learning components are integrated with process-based equations through differentiable modeling. This approach enables training neural networks using big data while respecting physical laws, leading to improved generalizability and robustness. His group has demonstrated advantages of differentiable models in rainfall-runoff prediction, routing, ecosystem modeling, and water quality studies. Notably, his team's deepLDB project addresses landslide prediction using AI and big datasets. Recent publications highlight his contributions to global water modeling (grid-LSTM, differentiable Muskingum-Cunge routing), extreme flood forecasting (probabilistic diffusion models), and hydrologic uncertainty quantification . Shen actively engages in interdisciplinary collaborations through the PRISM Cooperative Institute, which aims to integrate multi-domain data for systemic risk assessment. His group has advised students including Dapeng Feng, Wen-Ping Tsai, Kuai Fang, Xinye Ji, and Tasnuva Mahjabin. Shen's research is supported by the National Science Foundation (NSF), Department of Energy (DoE), USGS, Google.org, and the Gates Foundation. He serves as Editor for the Journal of Geophysical Research - Machine Learning & Computation and Chief Editor for Frontiers in Water: Water & AI. His open-source software tools like PAWS and deepLDB are available through dedicated project websites.
Rasheed Hussain is an Associate Professor of Intelligent Network Security at the Smart Internet Lab and Bristol Digital Futures Institute (BDFI), School of Electrical, Electronic and Mechanical Engineering at the University of Bristol, UK. Previously, he served as a Senior Lecturer at the same institution from December 2021 to July 2025. He has held academic positions at Innopolis University, Russia, where he served as Associate Professor and Director of the Institute of Information Security and Cyber-Physical Systems, and as a guest researcher at the University of Amsterdam, Netherlands. His educational background includes a PhD in Computer Engineering from Hanyang University, South Korea (2011-2015), an MS in Computer Engineering from the same institution (2008-2010), and a B.Sc in Computer Software Engineering from the University of Engineering and Technology, Peshawar, Pakistan (2003-2007). Hussain's research focuses on network and cybersecurity, particularly future network security including 6G, the role of Digital Twins in future networks and systems security, and Responsible AI including fairness, trustworthiness, and explainability. His work spans information security, privacy, applied cryptography, vehicular networks, Internet of Things, Content-Centric Networking, cloud computing, API security, and blockchain applications. Senior member of IEEE Member of ACM ACM Distinguished Speaker Editorial board member for IEEE Communications Surveys & Tutorials, IEEE Access, and other journals His recent publications demonstrate a strong focus on the intersection of AI, networking, and security, with particular emphasis on Digital Twins, blockchain applications, federated learning, and 6G security. His research shows a clear trajectory toward addressing security challenges in emerging network architectures while incorporating responsible AI principles. Scientific Recognition: ACM Distinguished Speaker Netherlands University Teaching Qualification (Basis Kwalificatie Onderwijs, BKO) Hussain serves as a reviewer for major IEEE transactions, Springer and Elsevier journals, and participates in technical program committees for conferences including IEEE VTC, IEEE VNC, IEEE Globecom, and IEEE ICC. He is also certified as a trainer for the Instructional Skills Workshop (ISW) and contributes to the ESRC Centre for Sociodigital Futures (CenSoF) at the University of Bristol. His laboratory work centers around the Networks and Blockchain Lab, which focuses on security solutions for next-generation networks, with particular emphasis on Digital Twins security, blockchain applications, and AI-driven network security solutions. His current projects involve developing secure frameworks for future networks, trustworthy AI models, and privacy-preserving federated learning approaches.
Luo Mai is an Assistant Professor at the University of Edinburgh's School of Informatics , with an upcoming promotion to Associate Professor (UK Reader) in August 2025. He leads the Large-Scale Machine Learning Systems Group and co-leads the UK EPSRC Centre for Doctoral Training in Machine Learning Systems and an ARIA Project on Scaling AI Compute by 1000X . PhD in Computer Science (Imperial College London, 2018) MRes in Advanced Computing (Imperial College London, 2012) His research focuses on the intersection of computer systems , machine learning , and data management . Key contributions include award-winning systems like WaferLLM (wafer-scale LLM inference), Tenplex (elastic ML), and ServerlessLLM (serverless LLM serving), published at top venues (OSDI, SOSP, ICML, NeurIPS, JMLR). Recent publications demonstrate trends in GPU-based distributed systems , LLM optimization , and adaptive machine learning . His team has developed groundbreaking open-source projects including TensorLayer , TorchOpt , and ServerlessLLM . Awarded Microsoft Research StarTrack Scholar (2024) , secured ARIA grant (2024) with Imperial College & Cambridge University, and received Google Fellowship during PhD (2012-2016). As an educator, he designed Edinburgh's popular Machine Learning Systems course (150+ students). His group supervises multiple PhD students including Yao Fu (recognized as 2024 Rising Star in ML & Systems) and Leyang Xue .
Dr. Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology (Illinois Tech), where she explores logical foundations of concurrency and develops formal methods for program verification. She earned her Ph.D. in Pure and Applied Logic from Carnegie Mellon University in 2021 under Frank Pfenning, followed by a postdoctoral fellowship at CMU with Limin Jia and Stephanie Balzer. Current affiliation: Illinois Tech (since ~2021) Previous affiliation: Carnegie Mellon University (Ph.D. and postdoc) Research focus: Type theory, logical verification, and security for concurrent systems Teaching: Courses on programming languages, type systems, and security Her research addresses fundamental challenges in concurrent programming, including: Developing modal logic frameworks for system verification Designing type systems for intermittent computing Creating behavioral type systems for security guarantees Applying relational logic to GPU security and secure compilation Investigating logical foundations of session-typed processes Formal verification of cyclic process networks Current research trends include: Hybrid dynamic verification for parallel systems Logical approaches to side-channel security Formal methods for cyber-physical systems Crash-resilient computing models Security verification in decentralized applications Noninterference proofs in session-typed concurrency Scientific recognition: NSF SaTC CORE Collaborative Award #2350217 Organizing committee member at Dagstuhl Seminar 26071 Professional leadership: Program committee co-chair for PLACES 2025 Committee roles at LICS 2026, ESOP 2026, ICFP 2025, and ECOOP 2025 Regular reviewer for ACM Transactions journals Laboratory involvement: Co-director of behavioral types research at Illinois Tech Collaboration with Carnegie Mellon's formal verification group Key participant in the FACCT workshop
Dr. John McGowan is a Lecturer at the School of Computing Engineering and the Built Environment , Edinburgh Napier University. His work bridges Music Therapy , Interaction Design , and Assistive Technologies for autistic individuals. Research Focus: Development of the CymaSense application—a real-time 3D audio-visual tool for augmenting music therapy sessions. This research explores how interactive cymatics (sound visualization) can improve communication and social interaction for people on the autism spectrum. Research Trends: His publications emphasize multi-sensory environments , therapeutic software systems , and user-centered design for neurodiverse populations. Recent work addresses stress triggers in autistic adults using augmented reality and mobile technologies . Supervision: Co-supervised PhD projects on topics including auditory selective attention in mixed reality and adaptive sound design for video games . Grants: Secured funding from Edinburgh Napier University and Arts & Humanities Research Council ( Audio Mostly 2023 conference ). £5,000 grant (AHRC) for embodied music interaction research Labs: Affiliated with the Centre for Interaction Design , contributing to interdisciplinary projects in health technology and creative arts .
Miroslaw Staron is a Professor of Interaction Design and Software Engineering at Chalmers University of Technology. He maintains a unique 50/50 work arrangement, spending half his time on field research at Ericsson while holding his academic position. His research bridges academic theory with industrial practice through collaborations with major companies including Volvo Car Corporation and Volvo Information Technology. His research spans several key areas in software engineering: Software metrics and measurement systems in industry Model driven software development and empirical studies Defect prediction in software projects Requirements engineering in model-based development Applications of AI and machine learning in software engineering Automotive software development and security Staron's recent work demonstrates a strategic shift toward integrating AI technologies into software engineering processes, with particular focus on automotive applications. His publications from 2024-2025 reveal expertise in generative AI applications for code review automation, testing methodologies, and requirements engineering, showing how these technologies can transform traditional software development practices while addressing domain-specific challenges in automotive systems. Current research projects include: Kvantdatorer för framtidens mobilitetslösningar (2025-2027) Automatiserad och designoptimerad programvarukonstruktion/kodgenerering (2025-2029) Förvandla fordonsarkitektur med hjälp från AI (2021-2023) Arkitektonisk design och verifiering/validering av system med maskininlärning komponenter (2020-2024) With 78 publications documented in Chalmers' research database, Staron has established himself as a significant contributor to evidence-based software engineering research with strong industrial relevance.
Santiago Torres-Arias is an Assistant Professor at Purdue University, affiliated with the Elmore Family School of Electrical and Computer Engineering . His research spans computer systems security , software supply chain security , and applied cryptography . Campus: West Lafayette, Indianapolis Office: BHEE 324B Contact: santiagotorres@purdue.edu , +1 765-496-6610 Research Interests: Computer systems security Software supply chain security Distributed systems security Applied cryptography Password storage mechanisms Publication Trends: His recent work focuses on software supply chain security , including code signing , provenance mechanisms , and IoT vulnerabilities . Key projects address Sigstore , DevSecOps , and zero-trust dependencies . Scientific Awards: Advising & Grants: No student details provided No grant information listed
Víctor Adrián Braberman is a Full-time Associate Professor at the Department of Computer Science, Faculty of Exact and Natural Sciences, University of Buenos Aires (UBA), and a CONICET researcher. He serves as Co-director of the LaFHIS (Tools and Foundations for Software Engineering) Research Lab at UBA, where he leads significant research in formal methods and software engineering. His academic career demonstrates sustained excellence in both teaching and research within Argentina's premier academic institution. Braberman's research focuses on Formal Verification , particularly Model Checking of Timed Systems, Controller Synthesis, Formal Specification of event-based properties, Aspect-oriented modeling, and Software Architectures. His work also extends to Software Analysis , including Memory Consumption Prediction and Static and Dynamic Program Analysis. These interests position him at the intersection of theoretical computer science and practical software engineering applications, addressing critical challenges in system reliability and performance. His recent publications (2022-2025) reveal a clear trajectory toward integrating artificial intelligence with formal methods , particularly through the application of reinforcement learning to controller synthesis problems and the exploration of Large Language Models for software verification and falsification. The research shows increasing attention to scalability challenges in formal methods and the integration of probabilistic approaches to handle uncertainty in system environments. Automated Reasoning Amazon Research Award (ARA) (2024) Braberman has successfully supervised numerous PhD and Licentiate students, establishing a strong academic lineage in formal methods research in Argentina. His research has been supported by substantial grants including European Community projects (MEALS), ANPCyT PICT grants, UBACyT projects, and Microsoft Research funding. His leadership extends to directing major research initiatives in formal software engineering. As Co-director of LaFHIS, Braberman oversees a vibrant research ecosystem that bridges theoretical computer science with practical software engineering challenges. The lab maintains strong international collaborations, particularly with European institutions, and has secured competitive funding from both national and international sources, demonstrating the global relevance of their work in formal methods and software engineering.
Vera Pantelic is an Adjunct Assistant Professor in the Department of Computing and Software at McMaster University. Her research focuses on software engineering practices for model-based development in automotive systems, particularly centralized Electrical/Electronic (E/E) architectures, Simulink modeling, and supervisory control of probabilistic discrete event systems. Education: Not explicitly mentioned in the text. Her scholarly activity includes extensive contributions to conferences and journals in automotive software engineering, model transformation, and real-time systems. Her work addresses challenges in modularity, documentation, and compliance within automotive embedded systems. Her recent publications emphasize advancements in centralized E/E architectures, model-driven testing, and assurance cases for automotive safety. She collaborates on topics integrating software engineering principles with automotive domain requirements. Scientific Awards: No specific awards mentioned in the text. She serves as an advisor in software engineering, though specific student names are not listed. Her projects involve simulation-based testing, model refactoring, and compliance frameworks, supported by industry partnerships and academic grants. Her work contributes to labs and teams focused on automotive software reliability and model-driven engineering. No explicit lab or team affiliations are detailed in the provided text.
Anne Elisabeth Haxthausen is an Associate Professor at the Software Systems Engineering section within DTU Compute , Technical University of Denmark . Her work focuses on formal methods, railway control systems, and safety-critical software engineering. Founder and leader of the DTU Railway Verification Group Member of European Technical Working Group on Formal Methods in Railway Control Editorial board member for Springer Formal Aspects of Computing Journal Active in the Overture Language Board Her research emphasizes formal verification of railway interlocking systems, particularly through compositional approaches and automated tools. She has contributed to projects like RobustRailS, Overture, and RAISE, focusing on model-based development and verification. She serves as a tutor for bachelor students and contributes to the advisory committee for DTU's Computer Science and Engineering MSc program. Her recent publications explore challenges in verifying autonomous and AI-driven railway technologies.
Prof. Blerim Rexha is a full professor at the University of Prishtina's Faculty of Electrical and Computer Engineering, Kosovo. With a Ph.D. in Computer Engineering from Vienna University of Technology (2004), he has led research in cybersecurity, blockchain, machine learning, and electronic voting systems. His teaching portfolio includes data, computer, and internet security courses. Education : Ph.D. in Computer Engineering (Vienna), Electrical Engineer MSc (Prishtina), specialized certifications in software engineering, biometrics, and .NET programming. His research spans cybersecurity (DDoS mitigation, face authentication attacks), blockchain applications (electronic voting bridges, transaction privacy), and machine learning integration (boosted trees for intrusion detection, LSTM for vulnerability scanning). He has contributed to cloud security through novel encryption methods and AI-driven attack detection. Recent publications focus on energy efficiency in cloud vs on-premises systems, XGBoost/CatBoost/LightGBM comparisons for network security, and blockchain bridges for e-voting. His work has addressed privacy preservation in video data, SMS encryption, and eID card pseudo-profiles. Awards include the 2024 Marin Barleti Prize for academic contributions and Best Paper Awards in election security (2015) and Kosovo website vulnerabilities (2013). Honors : Marin Barleti Prize (2024) Cyber Security Ambassador (2018) ICT Academician of the Year (2016) Best Paper Awards (2015, 2013) As academic advisor to the KosovaCyberTeam , he mentors students like Korab Keqekolla and Abian Morina. His leadership extends to Kosovo's Cyber Security State Training Center curriculum development and jury roles in Albanian ICT Awards .
Liane Colonna is an Assistant Professor in Law and Information Technology at the Department of Law, Stockholm University , where she investigates ethical and legal challenges arising from AI-driven practices in higher education. She also engages in methodologically oriented research at the intersection of AI and Law, contributing to the Wallenberg AI, Autonomous Systems and Software Program – Humanities and Society. Additionally, Liane serves as the director of the Swedish Law and Informatics Research Institute (IRI) and is a member of the New York Bar since 2008. Primary Affiliation: Department of Law, Stockholm University Institute Leadership: Director, Swedish Law and Informatics Research Institute (IRI) Professional Status: Member of the New York Bar Research Interests: Ethical and legal challenges of AI in higher education Methodological approaches in AI and Law Data protection and privacy by design Regulatory frameworks for AI and emerging technologies Privacy implications of lifelogging and health IoT International data governance and surveillance law Publications demonstrate expertise in AI regulation, GDPR compliance, and privacy-preserving technologies, particularly for assisted living and educational contexts. Her work bridges technical implementation with legal accountability, emphasizing human oversight and ethical design.
Dr. Reza Samavi is an Associate Professor at Toronto Metropolitan University's Department of Electrical, Computer, and Biomedical Engineering, Faculty of Engineering & Architectural Science. He is also a Faculty Affiliate with the Vector Institute for Artificial Intelligence and directs the Trustworthy AI Research Lab (TAILab). Previously, he served as Assistant Professor and eHealth Graduate Program Coordinator at McMaster University's Department of Computing and Software (2014-2020). Holding a PhD in Computer Science (University of Toronto, 2013), his academic journey bridges industry experience with rigorous scholarly contributions. His research lies at the critical intersection of Trustworthy AI , Machine Learning Security , and Medical Informatics . He investigates Safety & Security of ML Algorithms Privacy-Preserving AI Systems Transparency Frameworks for Medical AI Blockchain-enabled Privacy Auditing Game Theory for Model Robustness Optimization-based Anonymization Techniques The TAILab research group under his leadership has produced groundbreaking work in Uncertainty Quantification for Neural Networks Robustness Against Adversarial Attacks Medical Image Analysis Clinical Decision Support Systems Emergency Medicine Predictive Modeling His recent projects focus on enhancing migrant youth mental health through LLM-based conversation agents and developing certified robustness guarantees for ensemble networks. Dr. Samavi's scholarly excellence is recognized through Privacy Technologies Research Award (IBM) Privacy By Design Research Award (Ontario IPC) Bridging Divides Emerging Research Grant (TMU) NSERC PGS-D Recipient (Co-supervised student) SOSCIP Accelerator Grant He has secured major funding from NSERC , SOSCIP , MITACS , HHS , and IDEaS programs. As a dedicated educator, Dr. Samavi teaches graduate courses in Secure Machine Learning and Software Testing while mentoring 15+ graduate students across PhD , MASc , and MEng programs. His lab has presented at premier venues including AAAI , IJCAI , and IEEE Transactions while maintaining active collaborations with institutions like Harvard, ETH Zurich, and the University of Waterloo.
