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

Peter Pietzuch is a Professor in the Department of Computing at Imperial College London, where he leads the Large-Scale Data & Systems (LSDS) group. He also serves as the Director of Research and is a Visiting Researcher at Microsoft Research Cambridge. Pietzuch holds a Ph.D. from the University of Cambridge and a B.A. from Girton College. His research spans distributed systems, cloud computing, big data processing, and systems security. Key interests include: Scalable architectures for cloud-native applications Efficient stream processing and machine learning systems Trusted execution environments and secure cloud infrastructure Optimization of serverless computing and distributed databases His recent publications focus on adaptive machine learning frameworks, secure cloud resource management, and high-performance stream processing systems. Trends show strong emphasis on hardware-software co-design, confidential computing, and fault-tolerant architectures. Awards include: Best Paper Award at Middleware'03 He actively advises PhD students and secures grants for projects like Faasm (serverless computing) and Teechain (blockchain security). His LSDS group collaborates with industry partners including Microsoft Research. Pietzuch teaches undergraduate and graduate courses including Scalable Systems for the Cloud and Operating Systems . He co-founded the ACM DEBS conference and serves on steering committees for EuroSys and Middleware.

• Distributed Systems
• Cloud Computing
• Big Data Processing
• +۵ مورد دیگر

Dr. Saad Khan is a Senior Lecturer in Cyber Security at the Department of Computer Science, School of Computing and Engineering, University of Huddersfield, United Kingdom. He is an active researcher and educator, supervising multiple PhD students and contributing to government-funded cybersecurity projects with Innovate UK, DCMS, and DASA. He is also a Fellow of the Higher Education Academy and serves on program committees for major conferences. His research focuses on intelligent systems for cyber security and digital forensics. Key areas include Security Information and Event Management (SIEM), access control, authentication, vulnerability assessment, anomaly detection, and image forensics. He aims to develop automated software tools that enhance digital infrastructure resilience against modern cyber threats. The recent publications reflect a strong trend in applying machine learning and AI to cybersecurity challenges, particularly in IoT security, zero-day attack detection, and human-centric security awareness. His work bridges technical innovation with practical implementation in real-world environments. Scientific Awards: Fellow of the Higher Education Academy Dr. Khan actively supervises PhD students and contributes to research grants through collaborations with UK government agencies. He has led work in three major funded projects and regularly reviews for top-tier journals and conferences. He is a member of the Centre for Cybersecurity at the University of Huddersfield, where he collaborates on interdisciplinary research initiatives focused on secure digital transformation and intelligent defense systems.

• Cyber Security
• Artificial Intelligence
• Machine Learning
• +۱۲ مورد دیگر

Reiko Heckel is a Professor of Software Engineering at the University of Leicester, serving as Director of Postgraduate Teaching for Computing degrees and Data Analytics Lead at the Leicester Innovation Hub. She previously held academic roles at the Technical Universities of Dresden and Berlin before joining Leicester in 2004. Her research focuses on graph transformation systems, model-based development, stochastic modeling, and formal methods in software engineering. She earned her PhD (Dr.-Ing.) in Computer Science from TU Berlin in 1998. Her research interests span software engineering pedagogy, formal specification techniques, and applications of graph grammars in system modeling. Recent work explores stochastic graph transformations for social networks, transparency engineering in AI systems, and blockchain-based smart contract frameworks. Her contributions bridge theoretical foundations with practical applications in cybersecurity, data integration, and human-centric systems design. Key contributions include advancements in automated test case generation via graph transformations, visual contracts for software reverse engineering, and formal methods for complex system analysis. Her work frequently intersects with industry through collaborations via the Leicester Innovation Hub, emphasizing data analytics and technology transfer. Education: MSc Computer Science, Technical University of Dresden PhD (Dr.-Ing.), Computer Science, TU Berlin (1998) Leadership Roles: Head of Department (2014-2018) Director of Postgraduate Teaching (Ongoing) Research Themes: Model-Based Development Stochastic Systems Analysis Graph Neural Networks Trustworthy AI Her publications reflect a focus on formal methods, with recent trends in applying graph transformation techniques to social network modeling, blockchain smart contracts, and educational pedagogy.

• Software Engineering
• Graph Transformation Systems
• Model-Based Development
• +۵ مورد دیگر

Jeremy Gibbons is a Professor of Computing at the University of Oxford, affiliated with the Department of Computer Science within the Faculty of Computer Science. He serves as Director of the Professional Programmes, overseeing part-time postgraduate degrees in Software Engineering. His roles include Chair of the Faculty of Computer Science (2012–2016), Director of the Software Engineering Programme, and Fellow of Kellogg College. Gibbons' research focuses on programming methodologies, particularly functional and object-oriented languages, with an emphasis on program calculation, design patterns, and bidirectional transformations. He leads the Algebra of Programming research group and is Editor-in-Chief of the Journal of Functional Programming and The Art, Science, and Engineering of Programming . Education includes a D.Phil. from Oxford University. His work spans formal methods, domain-specific modeling for clinical trials (e.g., CancerGrid project), and semantic frameworks for software systems. He has advised numerous students and contributed to open-access initiatives in publishing. Key collaborations include roles in ACM SIGPLAN and IFIP Working Groups 2.1 and 2.11. Research interests emphasize foundational aspects like profunctor optics, categorical programming, and algorithm design. Notable projects include datatype-generic programming and metadata-driven engineering for clinical trials. His work bridges theoretical computer science with practical applications in software architecture and system design.

• Functional Programming
• Programming Languages
• Software Engineering
• +۳ مورد دیگر

Marcin Jurdzinski is an Associate Professor (Reader) in the Department of Computer Science at the University of Warwick , UK. He has been a faculty member since 2004 and is a core member of the Foundations of Computer Science and Discrete Mathematics and its Applications research groups. University: University of Warwick School: Faculty of Science Department: Department of Computer Science Position: Associate Professor (Reader) Email: Marcin.Jurdzinski@warwick.ac.uk Office: CS2.19 His research lies at the intersection of algorithms, game theory, automata, and logic , with a strong emphasis on formal verification , model checking , and theoretical computer science . He is best known for his foundational work on parity games , including the development of small progress measures and discrete strategy improvement algorithms. The recent publications reveal a consistent focus on computational complexity in games and verification. Key themes include stochastic games, timed automata, bisimilarity, and quantitative analysis . His work often bridges theoretical insights with practical verification challenges, especially in real-time and probabilistic systems. He has supervised several PhD students and hosted postdoctoral researchers such as Laure Daviaud and Alexander Kozachinskiy. He has led EPSRC-funded projects including Solving Parity Games in Theory and Practice and Counter Automata: Verification and Synthesis . PhD Students: Aditya Prakash, Thejaswini K. S., Michail Fasoulakis, John Fearnley, Michal Rutkowski, Ashutosh Trivedi Postdocs: Laure Daviaud, Alexander Kozachinskiy He is actively involved in the academic community, serving on the steering committee of the Highlights of Logic, Games and Automata conference and on program committees for major venues such as CONCUR, ICALP, and LICS. He has also organized workshops including FORMATS and ICALP co-located events.

• Algorithms
• Game Theory
• Automata Theory
• +۷ مورد دیگر

Professor Barry Porter is a faculty member at Lancaster University in the School of Computing and Communications . His research focuses on emergent software platforms that address software complexity through component models , meta-software platforms , and machine learning . Key areas include distributed systems, cloud integration with sensor nodes, green computing, and real-time visualization. Research Interests : Runtime adaptation in complex systems Self-assembling software architectures Machine learning for code optimization Distributed emergent systems at scale Green computing for multi-core environments Edge-cloud continuum integration Recent Publication Trends : His 2025 work explores genetic improvement for software using speciation algorithms , program geometry projection , and multi-agent decision frameworks . Earlier studies (2022-2024) investigate edge-cloud systems , neural transfer learning , and ecosystem curation in emergent software. Supervision & Projects : He supervises PhD student Ben Craine and leads projects like B-EGI (Bio-Enhanced Genetic Improvement) and BBC Prosperity Partnership for media delivery. Collaborations span environmental IoT, multi-agent learning, and fog computing. Labs & Groups : Affiliated with the Lancaster Intelligent, Robotic and Autonomous Systems Centre , Centre of Excellence in Environmental Data Science , and the Distributed Systems group.

• Emergent Software Systems
• Runtime Adaptation
• Component-Based Software
• +۷ مورد دیگر

Amy Zavatsky is a Reader in Engineering Science at the University of Oxford and Tutorial Fellow at St Edmund Hall, with faculty service since 1996. Her work bridges mechanical engineering and clinical orthopaedics, focusing on lower extremity biomechanics and gait analysis within the Department of Engineering Science. Education: BSc in Bioengineering, University of Pennsylvania DPhil in Engineering Science, University of Oxford (Thouron Award recipient) Research Focus: Prof. Zavatsky pioneers orthopaedic biomechanics research with emphasis on foot/ankle kinematics, knee osteoarthritis mechanisms, and gait compensations. Her work integrates theoretical modeling with in vitro experimentation to develop clinical applications for cerebral palsy, flatfoot, and running injuries. Current projects advance multi-segment foot modeling and cognitive-efficient data visualization for clinical gait analysis. Publication Trends: 2021-2025 works reveal three converging themes: (1) Open-source foot modeling ( OpenOFM ), (2) Data visualization for clinical decision-making, and (3) Sensor optimization using statistical methods. These publications consistently bridge engineering innovation with orthopaedic clinical practice through collaborations with the Oxford Gait Laboratory. Scientific Recognition: Philip Leverhulme Prize (2003) for outstanding early-career scholarship University Teaching Award (2008) for biomechanics instruction and MSc Biomedical Engineering development Departmental Teaching Awards: Silver (2021), Bronze (2022) Institution of Mechanical Engineers Thomas Stephen Prize (1993) Academic Leadership: Prof. Zavatsky directs undergraduate engineering tutorials at St Edmund Hall while teaching mechanical/civil/biomedical engineering courses. She previously served as Director of Graduate Studies (2016-17), Acting MSc Biomedical Engineering Director (2006-07), and Junior Proctor (2012-13). Her DPhil supervision targets lower-limb biomechanics projects requiring strong engineering fundamentals. Research Infrastructure: Based at the Institute of Biomedical Engineering (Nuffield Orthopaedic Centre), she collaborates extensively with the Oxford Gait Laboratory. Her biomechanics research group utilizes motion capture systems and multi-segment modeling to translate engineering principles into clinical rehabilitation protocols.

• Biomechanics
• Orthopaedic Biomechanics
• Gait Analysis
• +۴ مورد دیگر

José Luiz Fiadeiro is a Professor at Royal Holloway, University of London , affiliated with the Centre for Distributed and Global Computing. He previously held positions at the University of Leicester (including Head of Department), University of Lisbon, and Technical University of Lisbon. He has conducted visiting research at Imperial College London, King’s College London, PUC-Rio, University of Pisa, SRI International, UPC Barcelona, and NASA Ames. Research Interests: Formal aspects of software system modeling and analysis in global ubiquitous computing, with emphasis on distributed systems, formal verification methods, and service-oriented architectures. His work integrates theoretical computer science with practical software engineering challenges. Editorial & Leadership: Associate Editor: SN Computer Science Board Member: Information Processing Letters, EPTCS Steering Committee: CALCO (co-founder), ETAPS, FASE, WADT, WS-FM Scientific Board: INESC-TEC (Portugal) Awards & Honors: Elected Member, Academia Europaea Fellow, British Computer Society Grants & Projects: Leverhulme Trust Visiting Professorship (2018) Semantic Completions: Unifying Wave/Particle Information Views (AFOSR, 2016) Modeling and Analysis of Dynamic Interaction Networks (Royal Society, 2013–2015) Verification of Service-Oriented Systems (EPSRC, 2012) Professional Service: Extensive panel membership for research assessment in Portugal, Romania, Belgium (AEQES), France (AERES), and Lithuania (SKVC).

• Formal Methods
• Software Engineering
• Global Computing
• +۲ مورد دیگر

Mark Batty is a Professor in the School of Computing at the University of Kent, specializing in formal methods for concurrent systems. His work bridges hardware-software interfaces, focusing on memory models for C/C++, OpenCL, and architectures including x86, ARM, POWER, and GPUs. As a member of the Programming Languages and Systems Research Group, he develops mathematical specifications and verification tools for real-world concurrency challenges. His research centers on empirical testing of hardware/compiler behavior, formal modeling of system components, and verification of fine-grained concurrent algorithms. Key contributions address relaxed memory semantics, transactional memory, and compositional reasoning for concurrent data structures. His work combines theoretical rigor with practical tool development to ensure correctness in complex concurrent environments. Analysis of his 2015-2025 publications reveals consistent focus on memory consistency models, formal verification of weak memory concurrency, and compiler optimizations. Dominant themes include C/C++11 standards, GPU concurrency semantics, and mechanized verification techniques. His research demonstrates strong industry relevance through collaborations with hardware vendors and contributions to language standards. Mark Batty has received significant recognition: John C. Reynolds Doctoral Dissertation Award (2015) from ACM SIGPLAN CPHC and BCS Distinguished Dissertation Award (2015) Lloyds Register Foundation and Royal Academy of Engineering Research Fellowship (2016) He actively leads major research initiatives and mentors next-generation researchers: Current Funding: EPSRC Standard Grant 'Verifiably Correct transactional memory' (2018), VeTTS Grant 'Specification and verification of C++ data structure libraries' (2018), EPSRC First Grant 'Compositional, dependency-aware C++ concurrency' (2018) PhD Recruitment: Actively seeking candidates for UKRI-funded studentship in Verified Trustworthy Software Systems Batty drives community engagement through Kent Concurrency Workshop (2016) and South of England Programming Language Seminars, fostering national collaboration in programming languages research. His leadership in organizing Royal Society discussions underscores his influence in trustworthy systems verification.

• Concurrent Systems
• Formal Verification
• Programming Languages
• +۳ مورد دیگر

Dr. Hyungwoong Ahn is a Senior Lecturer in Chemical Engineering at the University of Edinburgh and an Adjunct Professor at Yonsei University. His expertise lies in adsorption process engineering, particularly for CO2 capture and gas separation. He leads the Carbon Capture Group and coordinates exchange programs for chemical engineering students. Dr. Ahn holds a BSc, MSc, and PhD in Chemical Engineering from Yonsei University. Roles: Senior Lecturer (Edinburgh) & Adjunct Professor (Yonsei) Research Focus: Pressure Swing Adsorption (PSA), CO2 capture technologies, hydrogen purification, and industrial decarbonisation Key Projects: PSA-SPUR technology development, ship-based carbon capture, and collaboration with HD Korea Shipbuilding Awards: KOFST Brain Pool Fellow, IChemE Global Awards finalist, and Honeywell UniSim Design Challenge winner His research integrates equilibrium theory analysis, numerical simulation, and experimental validation to advance carbon capture systems. He has authored over 50 publications (H-index 32) and secured funding from EPSRC, BEIS, KETEP, and others.

• Adsorption Processes
• CO2 Capture
• Carbon Capture and Storage
• +۵ مورد دیگر

Dr. Damian Arellanes is a Lecturer (Assistant Professor) in Computer Science at Lancaster University, UK, affiliated with the Software Engineering Group and Lancaster Centre for Intelligent, Robotic and Autonomous Systems (LIRA). He holds a PhD from The University of Manchester (2020) and a Postgraduate Certificate in Academic Practice from Lancaster University (2023). His research focuses on theoretical foundations of algebraic composition for high-level computation models, including emergent/self-organising systems and software composition. He has contributed to areas such as category theory, control-flow separation, and compositional programming for IoT systems. Education: PhD in Computer Science, University of Manchester (2020) Postgraduate Certificate in Academic Practice, Lancaster University (2023) MSc in Computer Science, supported by CONACYT (2012–2014) BEng in Computer Engineering, supported by PRONABES (2009–2012) Research Interests: Damian’s work emphasizes algebraic semantics, compositional models for software, and theoretical computer science principles. He explores how abstract mathematical frameworks (e.g., category theory) can formalize computational systems and enable scalable IoT solutions. Publications: Damian has published extensively on algebraic composition, IoT systems, and formal methods. Key themes include compositional programming, self-organizing software, and scalable service architectures. Awards: Official Nominator for the VinFuture Prize (2024) Honourable Mention for Most Outstanding Mexican Student in STEM (2021) Nick Sanders Kickstarter Fund (2019) Outstanding Doctoral Paper Award (2019) Best MSc Thesis in AI (2015) Advising & Grants: Damian supervises PhD students, such as Mina Yavari, and actively reviews for journals like IEEE TSC and conferences like TASE. He has secured scholarships and fellowships from CONACYT and the Mexican government. Labs/Teams: Member of LIRA’s Fundamentals Section and the Software Engineering Group at Lancaster University.

• Theoretical Computer Science
• Algebraic Composition
• Models of High-Level Computation
• +۵ مورد دیگر

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.

• Software Architecture
• Distributed Systems
• Adaptive Systems
• +۶ مورد دیگر

Ali Hamie is a Senior Lecturer at the School of Architecture, Technology and Engineering (University of Brighton, UK), specializing in formal methods in software engineering and ontology modeling. With over 35 publications, his work bridges theoretical formalisms like UML, OCL, and JML with practical implementation validation. BSc in Pure Mathematics (Lebanese University, 1982) Postgraduate Diploma in Computing (University of Essex, 1986) MSc in Computer Science (University of Essex, 1987) PhD in Computer Science (University of Essex, 1991) His research focuses on formal aspects of software development , including specification patterns, design by contract, and translation between formal notations (OCL to JML). Recent work examines diagrammatic reasoning in ontology engineering and hybrid modeling approaches combining formal and agile methods. Studies show his publications span formal methods , ontology modeling , and constraints validation , with recurring themes in OCL-JML interoperability, diagrammatic notations, and user-centric formalism evaluation. Awards include Fellow of the Higher Education Academy (2017) . He supervises research in formal computing, with past topics covering concept diagrams and ontology modeling. His academic career includes postdoctoral roles at Newcastle University and EPSRC-funded work at Imperial College.

• Formal Aspects of Software Development
• Software Engineering
• Formal Methods
• +۴ مورد دیگر

Dr. Shufang Zhu is a Lecturer (Assistant Professor equivalent) at the Department of Computer Science, University of Liverpool , and an Associate Member at the University of Oxford’s Department of Computer Science . Previously, she held roles including Senior Research Associate at Oxford (2023–2024) and Postdoctoral Researcher at Sapienza Università di Roma (2020–2022). She earned her Ph.D. in Software Engineering from East China Normal University (ECNU, 2020) under Prof. Geguang Pu, with a visiting Ph.D. at Rice University (2016–2018) under Prof. Moshe Y. Vardi. Education: B.Sc./Ph.D. in Software Engineering from ECNU (2010–2020). Scholarships include the Chinese Scholarship Council (CSC) and UT Austin EECS Rising Star (2022). Her research focuses on interdisciplinary areas of Formal Methods and Artificial Intelligence , emphasizing automated reasoning, planning, and synthesis. Key topics include temporal logics (LTL/LTLf), symbolic synthesis frameworks, and applications in reactive systems. Notable work addresses finite-trace specifications, best-effort strategies, and coordination in multi-agent systems. Teaching: Lecturer for Game-Theoretic Approach to Planning and Synthesis (European Summer School) and Foundations of Self-Programming Agents (Oxford). She also supervises funded Ph.D. positions, including a 2025 deadline for CSC-Liverpool scholarships. Awards: Future Digileader (Digital Futures, 2023), UT Austin EECS Rising Star (2022). Erdős number ≤3 via Moshe Y. Vardi. Collaborations: Co-chair of AAAI 2023 symposium on temporal logics in AI. Active in open-source tools like LydiaSyft for LTLf synthesis. Engages with academic networks through Google Scholar, DBLP, and GitHub.

• Artificial Intelligence
• Formal Methods
• Automated Reasoning
• +۳ مورد دیگر

Dr Cristina Gacek is a Senior Lecturer in Dependability and Trustworthiness of Socio-technical Systems at City St George's, University of London, since February 2010. Previously, she worked as a Lecturer at Newcastle University (2002-2010) and held research roles at Newcastle University (2001-2002), University of Southern California (1993-1998), and Rensselaer Polytechnic Institute (1992). Education: PhD in Computer Science, University of Southern California (1998) MSc in Software Engineering, University of Southern California (1995) MSc in Computer Science, Rensselaer Polytechnic Institute (1992) BSc in Mathematics with specialization in Informatics, Universidade do Estado do Rio de Janeiro (1989) PGCert in Teaching, Newcastle University (2004) Research Interests: Cristina's research focuses on facilitating the design, development, and evolution of dependable computer-based systems. She explores software architecture theory, software reuse, component-based software engineering, software product lines, open source software, and the psychological and sociological factors in software engineering environments. Her work bridges core computing science with interdisciplinary perspectives. Publications: Her research trends emphasize software architectures for dependable systems, mismatch detection in component-based systems, self-adaptive systems, and interdisciplinary approaches to open source software development. She has contributed to books, journal articles, and conference proceedings on these topics. Professional Memberships: Member of IEEE (1995–present) and ACM (1995–present).

• Software Engineering
• Computer Science
• Software Architecture
• +۵ مورد دیگر