People

Faculty Members
Administrative Support
Post Doctoral Researchers
NameRoomEmail
Dr. Charles Weir (Hall)B55, INFc.weir1@lancaster.ac.uk
PhD Researchers
Name (Advisor)
RoomEmail
Lewis Birch (Garraghan, Suri)B38l.birch@lancaster.ac.uk
Pierre Ciholas (Prince, Giotsas)B59p.ciholas@lancaster.ac.uk
Anna Dyson (Prince, Lacy)B55a.dyson@lancaster.ac.uk
Ovini Gunasekera (Suri, Gouglidis)B59o.gunasekera@lancaster.ac.uk
William Hackett (Garraghan, Suri)B38w.hackett@lancaster.ac.uk
Xavier Hickman (Prince, Suri)B55x.hickman@lancaster.ac.uk
Savvas Kastanakis (Suri, Giotsas)B59s.kastanakis@lancaster.ac.uk
Karena Kyne (Prince, Lacy)k.kyne@lancaster.ac.uk
Sam Maesschalck (Giotsas, Race)B55s.maesschalck@lancaster.ac.uk
Thomas Miller (Prince, Sturdee)B55t.miller@lancaster.ac.uk
Lewis Newsham (Prince)l.newsham1@lancaster.ac.uk
Alavro Lopez Pellicer (Angelov, Suri)a.lopezpellicer@lancaster.ac.uk
Alex Staves (Gouglidis, Hutchison)B55a.staves@lancaster.ac.uk
Stefan Trawicki (Garraghan, Suri)B55s.trawicki@lancaster.ac.uk
Prior/Part-Time
Yiqun Chen (Suri, Bradbury)
James Boorman (Prince, Gouglidis)
Igor Ivkic (Gouglidis)
Paul McCherry (Giotsas, Hutchison)
Ric Derbyshire (Busby, Hutchison)
George Nomikos (Giotsas, Hutchison)
Eduardo Soares (External Collaborator)
Jiajie Zhang (Gouglidis)
PhD Alumni

No.Namepdf
DEEDS #29
SSG# 2 (Suri)
Salman Manzoor: School of Computing and Communications, Lancaster University, 2022.
“On the Security Assessment of the Cloud”
[Current: Lancaster University]
pdf
SSG #1 (Gouglidis)Nasser Alsalami: School of Computing and Communications, Lancaster University, 2020.
“Kleptography and steganography in blockchains”
[Current: ]
pdf
DEEDS #28 (Suri)Nicolas Coppik: Dept. of Computer Science, TU Darmstadt, 2019.
“Efficient Dependability Assessment of Systems Software”
[Current: ABB Research]
pdf
DEEDS #27 (Suri)Tsvetoslava Vateva-Gurova: Dept. of Computer Science, TU Darmstadt, 2019.
“Analysis and Detection of Cache-Based Exploits”
[Current: Software AG]
pdf
DEEDS #26 (Suri)Heng Zhang, Dept. of Computer Science, TU Darmstadt, 2019.
“On the Effective Use of Data Dependency for Reliable Cloud Service Monitoring”
[Current: ZF Friedrichshafen AG]
pdf
DEEDS #25 (Suri)Habib Saissi, Dept. of Computer Science, TU Darmstadt, 2019.
“On the Application of Formal Techniques for Dependable Concurrent Systems”
[Current: AUSY Technologies; Boston Consulting Group]
pdf
DEEDS #24 (Suri)Oliver Schwahn, Dept. of Computer Science, TU Darmstadt, 2019.
“On the Efficient Design and Testing of Dependable Systems Software”
[Current TU Darmstadt]
pdf
DEEDS #23 (Suri)Hatem Ayman, Dept. of Computer Science, TU Darmstadt, 2018.
“Analyzing and Mitigating Security Threats in P2P Systems”
[Current: ]
pdf
DEEDS #22 (Suri)Ahmed Taha, Dept. of Computer Science, TU Darmstadt, 2018.
“Quantitative Trust Assessment in the Cloud”
[Current: SAP]
pdf
DEEDS #21 (Suri)Kubilay Demir, Dept. of Computer Science, TU Darmstadt, 2017
“A Secure and Reliable Communication Platform for the Smart Grid”
[Current: Bitlis Eren University]
pdf
DEEDS #20 (Suri)Azad Ali, Dept. of Computer Science, TU Darmstadt, 2016
“Fault-tolerant Data Compression for WSN”
[Current: Audi]
pdf
DEEDS #19 (Suri)Mohammadreza Mahmudimanesh, Dept. of Computer Science,
TU Darmstadt, 2015
“Efficient Saptio-Temporal Sampling in Wireless Sensor Networks Based on Compressive Sampling”
[Current: Deutsche Telekom; Roche]
pdf
DEEDS #18 (Suri)Thorsten Piper, Dept. of Computer Science, TU Darmstadt, 2015
“Assessing and Enhancing Functional Safety Mechanisms for Safety-Critical Software Systems”
[Current: Continental]
pdf
DEEDS #17 (Suri)Daniel Germanus, Dept. of Computer Science, TU Darmstadt, 2015
“Increasing Structured P2P Protokol Resilience to Localized Attacks”
[Current: Deutsche Bahn; ENX Association]
pdf
DEEDS #16 (Suri)Stefan Winter, Dept. of Computer Science, TU Darmstadt, 2015
“On the Utility of Higher Order Fault Models for Fault Injections”
[Current: TU Darmstadt]
pdf
DEEDS #15 (Suri)Piotr Szczytowski, Dept. of Computer Science, TU Darmstadt, 2015
“Wireless Sensor Networks Maintenqance Framework”
[Current: NEC Research; Bosch]
pdf
DEEDS #14 (Suri)Matthias Majuntke,
Dept. of Computer Science, TU Darmstadt, 2012
“Data Consistency and Coordination for Untrusted Environments”
[Current: VW]
pdf
DEEDS #13 (Suri)Péter Bokor, Dept. of Computer Science, TU Darmstadt, 2011
“Efficient Verification of Fault Tolerant Message Passing Protocols”
[Current: IncQuery Labs; Siemens]
pdf
DEEDS #12 (Suri)Dan Dobre, Dept. of Computer Science, TU Darmstadt, 2010
“Time Efficient Asynchronous Service Replication”
[European Patent Office; NEC Research; SAP Research]]
pdf
DEEDS #11 (Suri)Marco Serafini, Dept. of Computer Science, TU Darmstadt, 2010
“Efficient & Low Cost Fault Tolerance for Web Scale Systems”
[Current: [UMass-Amherst; QCRI; Yahoo Research]]
pdf
DEEDS #10 (Suri)Brahim Ayari, Dept. of Computer Science, TU Darmstadt, 2010
“Perturbation Resilient Atomic Commit Protocols for Mobile Environments”
[Current: ABB Research
pdf
DEEDS #9 (Suri)Faisal Sheikh Karim, Dept of Computer Science, TU Darmstadt, 2010
“Tunable Reliable Information Transport”
[Current: Prof., U. Lahore]
pdf
DEEDS #8 (Suri)Constantin Sârbu, Dept. of Computer Science, TU Darmstadt, 2009
“Operational Profiling of OS Drivers”
[Current: Bosch; Lucent Alcatel R&D]
pdf
DEEDS #7 (Suri)Md. Shariful Islam, Dept. of Computer Science, TU Darmstadt, 2008
“Dependability Driven System Level Co-Design and Optimization of
Embedded Systems”
[Current: Innoventis GmbH]
pdf
DEEDS #6 (Suri)Andréas Johansson, Dept. of Computer Science, TU Darmstadt, 2008
“Robustness Evaluation of Operating Systems”
[Current: Volvo Research]
pdf
DEEDS #5 (Suri)Arshad Jhumka, Dept. of Computer Science, TU Darmstadt, 2003
“Automated Design of Efficient Fail-Safe Fault Tolerance”
[Current: Assoc. Prof., U. Warwick, UK]
pdf
DEEDS #4 (Suri)Örjan Askerdal, Dept. of Computer Engg., Chalmers, 2003
“On Impact and Tolerance of Data Errors with Varied Duration
in Microprocessores”
[Current: Volvo Research]
pdf
DEEDS #3 (Suri)Vilgot Claesson, Dept. of Computer Engg., Chalmers, 2002
“Efficient and Reliable Communication in Distributed Embedded Systems”
[Current: Swedish Space Agency; Swedish Science Foundation]
pdf
DEEDS #2 (Suri)Martin Hiller, Dept. of Computer Engg., Chalmers, 2002
“A Software Profiling Methodology for Design and Assessment
of Dependable Software”
[Current: Volvo; European Space Agency]
pdf
DEEDS #1 (Suri)Purnendu Sinha, Dept. of ECE, Boston Univ., 2000
[Current: Tata Consultancy Services; Samsung; IIIT-Bangalore]]