logo Link to overview Link to research programme Link to training programme Link to frequently asked questions Contract us


 

 

 

 

 

 

epsrc

LSCITS People

Principal Investigators

Project Administrators

Download Biography of all LSCITS members pdf

For a list of the Research Engineers working on the LSCITS Engineering Doctorate programme, click here.

 

Associate Faculty

 

 

Researchers

 



 

Principal Investigator

Dr Radu Calinescu - University of York

Radu Calinescu

" Radu holds an
award-winning Dphil in Computation from the University of Oxford "

Radu Calinescu is a Senior Lecturer in Large Scale Complex IT Systems at the University of York. Prior to joining the University of York in 2012, he was a part-time Lecturer on the Software Engineering Programme and a Senior Researcher on the Formal Verification research theme at the University of Oxford. He holds a DPhil in Computation from the University of Oxford, and was awarded a British Computer Society Distinguished Dissertation Award. He has over ten years of academic and industrial research experience in developing complex software systems in areas including adaptive systems, model-driven architectures and information systems for cancer research. He has chaired or has been on the program committees of multiple international conferences on autonomic, adaptive and complex systems. He is a Senior Member of the IEEE, and a member of the Editorial Boards of Computing and the Journal on Advances in Intelligent Systems.

Languages

Romanian and English

 

Areas of Research

  • Computation

  • Adaptive Systems and Systems of Systems

  • Senior Member of IEEE

Personal Web Page

Publications

  • Radu Calinescu, Kenneth Johnson and Yasmin Rafiq. Using Observation Ageing to Improve Markovian Model Learning in QoS Engineering. Proc. of the 2nd ACM/Spec International Conference on Performance Engineering (ICPE 2011).
    To appear.

  • R. Calinescu, S. Kikuchi & M. Kwiatkowska. Formal Methods for the Development and Verification of Autonomic IT Systems. In Cong-Vinh, P. (ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification, IGI Global. To appear.

  • Radu Calinescu, Shinji Kikuchi. Formal Methods @ Runtime. Modelling. In: Development and Verification of Adaptive Computer Systems, LNCS, Springer, 2011. To appear.

pagetop

Complete publications list

 

Principal Investigator

Professor Dave Cliff - University of Bristol

Prof Dave Cliff

" Dave has acted as
a consultant and
advisor to the
UK Government "


Dave Cliff is professor of computer science at the University of Bristol, and a chartered fellow of the BCS. He has previously held faculty posts at the universities of Sussex and Southampton in the UK, and at the MIT Artificial Intelligence Lab in the US. He spent 1998-2005 working in industry, initially as a research scientist for Hewlett-Packard Labs near Bristol, and latterly as a director for Deutsche Bank's Foreign Exchange Complex Risk Group, in the City of London. He’s worked as a consultant for a number of companies, mainly in media and finance, and has also acted as a consultant and advisor to the UK Government.


Languages

English

 

Areas of Research

  • Algorithmic Trading

  • Advisor

  • Inventor

Personal Web Page

Publications

  • Complexity and Emergent Behaviour in ICT Systems (UK Government Office of Science and Technology briefing paper; Dave Cliff was one of the co-authors).

  • D. Cliff. ZIP60: Further Explorations in the Evolutionary Design of Trader Agents and Online Auction-Market Mechanisms. IEEE Transactions on Evolutionary Computation. 13(1):3-18, 2009.

sectiontop

pagetop

Complete publications list

 

Principal Investigator

Professor Justin Keen - University of Leeds

Prof Justin Keen

" Justin Keen is
Professor of Health
Politics in the Leeds
Institute of Health
Sciences "


Justin Keen is Professor of Health Politics in the Leeds Institute of Health Sciences. His main research interests are in the governance of health care, and in particular the application of systems and network concepts to the organization and delivery of care, and the role of information technologies in health care.

 

Languages

English

 

Areas of Research

  • The governance of healthcare

  • IT in healthcare

Personal Web Page

Publications

  • J. Keen. Complexity and Contradiction: the case of the NHS National Programme for IT. In: C Hood and H Margetts (eds) Paradoxes of Modernization. Oxford University Press (2009)

sectiontop

pagetop

Complete publications list

 

Principal Investigator

Professor Marta Kwiatkowska - University of Oxford

Prof Marta Kwiatkowska

" Marta Kwiatkowska
spearheaded the development of probabilistic and quantitative methods in verification on the international scene "

 

 

 

 

 

 

 


Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. Prior to this she held appointments at the Universities of Birmingham, Leicester and the Jagiellonian University in Cracow, Poland. Marta Kwiatkowska spearheaded the development of probabilistic and quantitative methods in verification on the international scene. The PRISM model checker (www.prismmodelchecker.org) developed under her leadership is the leading software tool in the area, cited 2000 times, and is widely used for research and teaching. Applications of probabilistic model checking have spanned communication and security protocols, dependability analysis, nanotechnology designs, power management and systems biology. Kwiatkowska has been invited to speak at a number of leading conferences and summer schools, including LICS 2003, ESEC/FSE 2007 and FASE/ETAPS 2011 conferences, and ESSLLI 2010 and Marktoberdorf 2011 summer schools. Her research is currently supported by £3.7m of grant funding from EPSRC, EU and ERC, including the recently awarded ERC Advanced Grant VERIWARE "From software verification to everyware verification". Marta Kwiatkowska is a Fellow of the BCS. She is on editorial boards of several journals, including IEEE Transactions on Software Engineering, Science of Computer Programming and Royal Society's Philosophical Transactions A. She regularly serves as a member of numerous programme committees and is a founding member of the Steering Committee of the International Conference on Quantitative Evaluation of SysTems (QEST). She was lead organiser of the Royal Society Discussion Meeting "From computers to ubiquitous computing, by 2020" and guest co-editor of the associated Proceedings in Phil. Trans. R. Soc. A vol 366 no 1881.

Languages

English and Polish

 

Areas of Research

  • Probabilistic and quantitative methods in verification

  • From software verification to everyware verification

Personal Web Page

Publications

  • Radu Calinescu, Lars Grunske, Marta Kwiatkowska, Raffaela Mirandola and Giordano Tamburrelli - Dynamic QoS Management and Optimisation in Service-Based Systems. To appear in IEEE Transactions on Software Engineering, 2010.

sectiontop

pagetop

Complete publications list

 

Principal Investigator

Professor John McDermid - University of York

Prof John McDermid

" John is best known for his work on safety, including the Goal Structuring Notation (GSN), which is now the de facto standard for presenting safety arguments "


John McDermid is Professor of Software Engineering at the University of York where he heads a major research group studying high integrity systems. He has worked extensively with industry, particularly in the aerospace sector. He is best known for his work on safety, including the Goal Structuring Notation (GSN) which is now the de facto standard for presenting safety arguments. He has given courses on safety and software engineering to more than 120 companies on five continents. He has published 6 books and over 350 papers. He was elected a Fellow of the Royal Academy of Engineering in 2002. He has extensive experience as a consultant, mainly in the area of safety critical systems and software. He advised the MoD on the development of DS 00-56 Issue 4. He is also a member of the Defence Scientific Advisory Council providing advice to the MoD on their research programmes and on a variety of projects. OBE in 2010 New Year’s Honours List.

Languages

English

 

Areas of Research

  • Safety

  • Safety and Software Engineering

Personal Web Page

Publications

  • X. Ge, R.F. Paige and J.A. McDermid. An Iterative Approach for Development of Safety-Critical Software and Safety Arguments, in Proc. Agile 2010, IEEE Press, Nashville, Tennessee, August 2010.

  • X. Ge, R.F. Paige and J.A. McDermid. Analysing System Failure Behaviours with PRISM, in Proc. Workshop on Model-Checking Secure and Reliable Systems (co-located with SSIRI 2010), IEEE Press, Singapore, June 2010.

sectiontop

pagetop

Complete publications list

 

Principal Investigator

Professor Richard Paige- University of York

Prof Richard Paige

" Richard is on the editorial boards of the Journal of System Architecture and Software & System Modelling "


Prof. Richard Paige holds a chair in Enterprise Systems at the University of York. He previously held an academic post at York University in Canada. His research focuses on software engineering for large-scale systems, particularly investigating the challenges of abstraction and automation when applied to enterprise-wide systems that have substantial reliability, robustness, safety and security requirements. His recent work has concentrated on the design, development and implementation of domain-specific languages and tools for supporting abstraction while enabling automation in the engineering process. He sits on the steering committees of several conferences in the field of model-driven engineering (TOOLS, ICMT, ECMFA) and is on the editorial boards of the Journal of System Architecture and Software & System Modelling.


Languages

English

 

Areas of Research

  • Design, development and implementation of domain-specific languages and tools for supporting abstraction while enabling automation in the engineering process

Personal Web Page

Publications

  • Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes: Concordance: A Framework for Managing Model Integrity. ECMFA 2010: 245-260

  • J.R. Williams, F.A.C. Polack & R.F. Paige. Formal analysis in model management: exploiting the power of CZT, To appear in Proc. ASM, Alloy, B and Z (ABZ) 2010, Orford, Quebec, Canada, February 2010, LNCS, Springer-Verlag.

sectiontop

pagetop

Complete publications list

 

Principal Investigator

Professor Ian Sommerville - University of St Andrews

Prof Ian Sommerville

" Ian is the 2011 recipient of the ACM's Influential Educator Award"


Ian Sommerville has been a professor of computer science at St Andrews since 2006 and was previously at Lancaster University. His research interests are primarily in complex systems engineering with a focus on dependability, requirements engineering and socio-technical systems. While at Lancaster, he cooperated with sociologists to study complex computer-based systems with a view to understanding the realities of their use and this has led to a long-term interdisciplinary collaboration. He is convinced that by examining social, organisational and human issues that we can build systems that offer faster 'time to value' after they have been deployed. His goal now is to make socio-technical systems engineering a reality where we use our understanding of socio-technical issues in the development process to create more usable and dependable software systems.

Languages

English

 

Areas of Research

  • Complex systems engineering with a focus on dependability, requirements engineering and socio-technical systems

Personal Web Page

Publications

  • D. Greenwood, A. Khajeh-Hosseini, & I. Sommerville. Towards a Multi-level Model of Conflict to Sensitise practitioners to the Socio-organisational Complexity of an IT Systems Development Project. Submitted to Journal of Information Technology. 2010

  • A. Khajeh-Hosseini, D. Greenwood & I. Sommerville. Cloud Migration: A Case Study of Migrating an Enterprise IT System to IaaS. In Proc. The 3rd International Conference on Cloud Computing. 2010.

sectiontop

pagetop

Complete publications list

 

Project Operations Mgr

Viv Paulete - University of Bristol

Viv Paulete

" Viv supports the LSCITS Director and manages all LSCITS events"

Before joining the LSCITS project at the University of Bristol, Viv was a communications specialist at HP Labs. She holds a Marketing Diploma from the CIM and is a Prince2 qualified Project Manager.

Languages

English and Spanish

 

Areas of Research

N/A

sectiontop

pagetop

Publications

N/A

 

Project Administrator

Dawn Forrester - University of York

profile

" Dawn is the EngD administrator and is based at University of York"

Dawn is based at the University of York and is responsible for the EngD administration.

Languages

English

 

Areas of Research

N/A

sectiontop

pagetop

Publications

N/A

 

Associate Faculty

Dr Raphael Clifford - University of Bristol

Dr Raphael Clifford

" Raphael Clifford ia a Senior Lecturer at the University of Bristol "


Raphaël Clifford is a Senior Lecturer in Computer Science at the University of Bristol. ....Further information to follow shortly.


Languages

English

 

Areas of Research

  • Algorithms

  • Computational Complexity

Personal Web Page

Publications

  • Clifford, R, Zvi Gotthilf, Moshe Lewenstein & Popa, A. ‘Restricted Common Superstring and Restricted Common Supersequence’, Combinatorial Pattern Matching (CPM), (pp. To appear-), 2011

  • Clifford, R & Sach, BG. ‘Pattern matching in pseudo real-time’, Journal of Discrete Algorithms, 9, (pp. 67-81), 2011

  • Clifford, R & Popa, A. ‘Maximum subset intersection’, Information Processing Letters, 111, (pp. 323-325), 2011

sectiontop

pagetop

Complete publications list

 

Associate Faculty

Dr Kerstin Eder - University of Bristol

Dr Kerstin Eder

" Kerstin was invited to present her state-of-the-art approach to Design Verification, Education and Research at CDNLive in April 2008 "

 

 

 

Kerstin is a Senior Lecturer in Computer Science at the University of Bristol and normally teaches the Master-level Design Verification unit and the concurrency part of the Concurrency and Communications unit. In collaboration with a consortium of local microelectronic design companies she has initiated the introduction of the new MSc in Advanced Microelectronic Systems Engineering in 2006 and is now the Director of this MSc programme which is run jointly between the Department of Computer Science and the Department of Electrical and Electronic Engineering. In addition, she is the Programme Director of the undergraduate MEng in Computer Science and Electronics. In 2007 Bristol has been selected as a lead university to head the Cadence Academic Network in the area of Advanced Verification. She was invited to present her state-of-the-art approach to Design Verification education and research at CDNLive! in April 2008. More information can be obtained from a press release that recently appeared at Electronicstalk.

Languages

English and German

 

Areas of Research

  • Specification, verification and analysis techniques which allow designers to define a design and to verify/explore its behaviour in terms of functional correctness, performance, power consumption and energy efficiency

  • Computational logic, especially formal verification, declarative programming languages and their implementation, abstract machines, compilation techniques and meta programming

Personal Web Page

Publications

  • Ioannides, C & Eder, KI. ‘Coverage Directed Test Generation Automated by Machine Learning’, ACM Transactions on Design Automation of Electronic Systems (TODAES), 17, (pp. 7:1-7:22), 2012

  • Kerrison, SP, Eder, KI & McIntosh-Smith, SN. ‘Energy Efficient HPC Software: Learning from Embedded Systems Development’, SIAM Conference on Parallel Processing for Scientific Computing, 2012

sectiontop

pagetop

Complete publications list

 

Associate Faculty

Dr Ayalvadi Ganesh - University of Bristol

Dr Ayalvadi Ganesh

" I am interested in the mathematical modelling of communication and computer networks, and in decentralised algorithms for such networks"

 

I am interested in the mathematical modelling of communication and computer networks, and in decentralised algorithms for such networks. Specific interests include large deviations and applications to queueing theory and statistics, random graph models and stochastic processes on graphs, and decentralised algorithms for resource allocation in the Internet and in wireless networks.


Languages

English

 

Areas of Research

  • Complex Systems

  • Applied Probability

  • Bayesian Modelling & Analysis

  • Optimisation under Uncertainty

Personal Web Page

Publications

  • All listed here

sectiontop

pagetop

Complete publications list

 

Associate Faculty

Professor Tim Kelly - University of York

Dr Tim Kelly

" Tim has supervised a number of research projects with funding and support from Airbus, BAE SYSTEMS, Data Systems and Solutions, DTI/TSB, EPSRC, ERA Technology, Ministry of Defence, QinetiQ and Rolls-Royce."

 

Tim Kelly is a Professor of High Integrity Systems within the Department of Computer Science at the University of York. He is also Academic Theme Leader for Dependability within the UK MoD-funded Software Systems Engineering Initiative. His research interests include safety case management, software safety analysis and justification, software architecture safety, certification of adaptive and learning systems, and the dependability of “Systems of Systems”. He has supervised a number of research projects in these areas with funding and support from Airbus, BAE SYSTEMS, Data Systems and Solutions, DTI/TSB, EPSRC, ERA Technology, Ministry of Defence, QinetiQ and Rolls-Royce. He has published over 150 papers on high integrity systems development and justification in international journals and conferences.


Languages

English

 

Areas of Research

  • Safety case management, software safety analysis and justification, software architecture safety.

Personal Web Page

Publications

  • Z. Kurd, T. Kelly, J. McDermid, R. Calinescu & M. Kwiatkowska. Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. In Proceedings of 28th International Conference on Computer Safety, Reliability, and Security (Safecomp2009) LNCS, Springer, 2009.

  • Z. Kurd, T. Kelly, J. McDermid, R. Calinescu & M. Kwiatkowska. Toward a Self-Management Architecture for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. IET System Safety, London, 2009.

sectiontop

pagetop

Complete publications list

 

Associate Faculty

Dr James Marshall - University of Sheffield

Dr James Marshall

" James was invited to participate in the Ernst Strüngmann Forum on 'Cognitive Search: Evolution, Algorithms and the Brain', which
was held at the
Frankfurt Institute for
Advanced Studies in
February 2011 "

James Marshall is a Reader in Computational Systems Biology at the University of Sheffield. He has been invited to contribute to a AAAI symposium on modeling complex adaptive systems as if they were voting processes, at Stanford University, on March 21st-23rd 2011. James has also been invited to participate in a meeting on 'Insect Self-Organisation and Swarming' at the NSF Mathematical Biosciences Institute, Ohio State University, on March 14th-18th 2011 and was invited to participate in the Ernst Strüngmann Forum on 'Cognitive Search: Evolution, Algorithms and the Brain', which was held at the Frankfurt Institute for Advanced Studies in February 2011.

For further information see his personal web page.

 

 

 


Languages

English

 

Areas of Research

  • Biologically-Inspired Algorithms

  • Cognitive Behaviour

  • Complex Adaptive Systems

  • Decision Theory

  • Evolutionary Theory

  • Mathematival Biology

  • Social Insect Behaviour

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Associate Faculty

Dr Manuel Oriol - University of York

Dr Manuel Oriol

" Manuel Oriol has an MSc from ENSEEIHT (Toulouse) and a PhD from University of Geneva "

 

Manuel Oriol has an MSc from ENSEEIHT (Toulouse) and a PhD from University of Geneva. He has work experience at University of Maryland, at ETH Zurich and is currently a senior lecturer at University of York. He has worked on various topics that include middleware, computer science education, dynamic software updating, and software testing.

 

 

 


Languages

English and French

 

Areas of Research

  • Middlware

  • Computer Science Education

  • Dynamic Software Updating

  • Software Testing

Personal Web Page

Publications

  • M. Oriol, F. Ullah. YETI on the cloud. In Testing In The Cloud (STITC) workshop at ICST 2010.

sectiontop

pagetop

Complete publications list

 

Associate Faculty

Dr Fiona Polack - University of York

Dr Fiona Polack

" Fiona has a particular interest in modelling
and validation of
agent-based complex systems simulations for use in science and engineering "

 

Dr Polack is a Senior Lecturer in the Department of Computer Science at the University of York. She is a CI on the EPSRC CoSMoS project on complex systems simulation, and has a particular interest in modelling and validation of agent-based complex systems simulations for use in science and engineering. With Prof. Richard Paige, she is supervising a range of PhD projects related to model-driven engineering.

 

 

 

 


Languages

English

 

Areas of Research

  • Model driven engineering

Personal Web Page

Publications

  • Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes: Concordance: A Framework for Managing Model Integrity. ECMFA 2010: 245-260

sectiontop

pagetop

Complete publications list

 

Associate Faculty

Dr Chris Preist - University of Bristol

Dr Chris Preist

" Chris led work on the strategic impact of climate change on business and technology development to exploit emerging opportunities"

 

 

Chris Preist is a Reader in Computer Science at the University of Bristol. He is also an Associate of Forum for the Future http://www.forumforthefuture.org.uk,
faculty member of the WWF One Planet Leaders programm http://www.panda.org/what_we_do/how_we_work/businesses/training/ and a freelance consultant in innovation and sustainability.

Prior to joining Bristol, he was Head of Sustainable IT Research at HP Labs, Bristol from 2007-09, where he led work on the strategic impact of climate change on business and technology development to exploit emerging opportunities. Prior to this, his research was primarily in the areas of artificial intelligence, knowledge representation, agent technology, and the semantic web. He was the technical lead on the EU Framework 5 Semantic Web-based Web Services project, coordinating input from over 20 researchers across 8 insitutions, and chair of the Scientific Advisory Board of the Framework 6 DIP project. His work in the application of artificial intelligence techniques to automated diagnosis led to the deployment of several systems within HP manufacturing facilities and the development of an award winning product (Agilent Fault Detective). He has a degree in Mathematics from Warwick University, and a Ph.D. in Semantics of Logic Programming from Imperial College, London. He has had over 40 publications in refereed conferences and journals, and 6 patents granted.

Languages

English

 

Areas of Research

  • The integration of life cycle analysis and carbon footprinting techniques into broader systemic models of sustainability impact.

  • The role of computer technology within the wider socio-technical systems emerging to address climate change and other sustainability issues.

  • The interplay between technology innovation, business models and sustainability impacts, particularly in the commercial publishing industry

Personal Web Page

Publications

  • Reducing the Greenhouse Gas Emissions of Commercial Print with Digital Technologies. Canonico, S., Sellman, R. and Preist, C.

  • Proceedings of the IEEE International Symposium on Sustainable Systems and Technology, 2009. Integral Ecology applied to Small Scale Community Woodlands. Preist, C. Journal of Corporate Citizenship,30, pp67-79, June 2008.

sectiontop

pagetop

Complete publications list

 

Associate Faculty

Dr Colin Runciman - University of York

Dr Colin Runciman

" Colin has three decades of research and teaching experience in Computer Science, mostly in software technology and related theory"

 

Colin Runciman read Mathematics and Computation in his first degree, and his PhD was in theoretical Computer Science. He worked as a researcher in laboratory automation and compiler construction before taking up a permanent academic post. He has three decades of research and teaching experience in Computer Science, mostly in software technology and related theory. He has held visiting research positions in both academic and industrial organisations in Europe and North America. He is currently Professor of Computer Science at York, where he leads a research group in Programming Languages and Systems

 

 

 


Languages

English

 

Areas of Research

  • Programming Languages and Systems

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Associate Faculty

Dr Tom Scutt - University of Bristol

Dr Tom Scutt

" Tom has worked in the games industry as programmer (including the AI programming for several of the Tomb Raider games), designer, and studio manager "

 

Tom Scutt is currently a part-time lecturer in computer science at the University of Bristol. He was a full-time lecturer in AI at the University of Nottingham for seven years, before joining the video game industry in 1998. Since then he has worked in the games industry as programmer (including the AI programming for several of the Tomb Raider games), designer, and studio manager; while still regularly giving academic lectures. He currently acts as a Game Design consultant for a number of companies. His research interests include MMO game AI & virtual economics; pervasive/locative games; using games to teach programming at primary level; and 'gamification' (using social/casual gaming reward systems to modify real-world behaviour).

 

Languages

English

 

Areas of Research

  • MMO game AI & virtual economics

  • Using games to teach programming at primary level

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Associate Faculty

Dr Karoline Wiesner - University of Bristol

Dr Karoline Wiesner

" Reward for Excellence in Postdoctoral Research, University of California, Davis - 2007"

 

Karoline Wiesner is Lecturer in the School of Mathematics at the University of Bristol. She is the Director of Studies at the Bristol Centre for Complexity Sciences. She holds a PhD in Physics. She has held postdoctoral positions at the Santa Fe Institute for Complex Systems and the University of California, Davis, U.S. Her work is on information theory and complex biological systems.

Read more ...

 

 


Languages

English

 

Areas of Research

  • Complex Systems

  • Quantum Information

Personal Web Page

Publications

  • Intrinsic quantum computation (2008)
    J. P. Crutchfield, K. Wiesner
    Phys. Lett. A vol: 372 , Issue: 4 , Pages: 375 - 380
    DOI: http://dx.doi.org/10.1016/j.physleta.2007.07.052
    URL provided by the author

  • Computation in Finitary Stochastic and Quantum Processes (2008)
    K. Wiesner, J. P. Crutchfield
    Physica D
    DOI: http://dx.doi.org/10.1016/j.physd.2008.01.021
    URL provided by the author

 

sectiontop

pagetop

Complete publications list

 

Researcher

Mr Leon Atkins - University of Bristol

Leon Atkins

" Leon is currently researching the power consumption of algorithms"

 

Leon is a PhD student at the University of Bristol in the Algorithms group under the supervision of Raphaël Clifford. He is currently researching the power consumption of algorithms. More specifically, he is investigating online scheduling with speed scaling in novel and restricted settings and also hopes to look at the issue of temperature management from an algorithmic point of view.

Departmental Involvement

  • Organiser of the Theory of Computing Reading Group

  • He has also been a Student Assistant for the departmental Admissions Days and Open Days

  • He is the ex-Vice President of the Computer Science Society (CSS)

Languages

English

 

Areas of Research

  • Power consumption of algorithms

  • Online shceduling with speed scaling in novel and restricted settings

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

Dr Adam Barker - University of St Andrews

Dr Adam Barker

" Adam's broad research interests concentrate on the theoretical foundations and effective engineering of large-scale distributed systems "

 

Adam Barker is a Lecturer in the School of Computer Science, University of St Andrews. Prior to moving to St Andrews, Adam worked as a postdoctoral researcher at the University of Melbourne, the University of Oxford and the National e-Science Centre (NeSC), University of Edinburgh. He completed his PhD at the School of Informatics, University of Edinburgh.

Adam's broad research interests concentrate on the theoretical foundations and effective engineering of large-scale distributed systems, his current interests are in Cloud computing infrastructures. He is Co-Investigator of the Elastic Virtual Infrastructure for Research Applications (ELVIRA) project, funded via EPSRC and JISC.

 


Languages

English

 

Areas of Research

  • Cloud Computing Infrastructures

  • Co-Investigator of the Elastic Virtual Infrastructure for Research Applications (ELVIRA) project

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

Dr Gordon Baxter - University of St Andrews

Dr Gordon Baxter

" Gordon has experience in systems development, mostly on industrial and defence applications, having worked for Rolls Royce, Racal, Systems Designers, NEI and ICI. "

 

Gordon Baxter has degrees in Computer Science (BSc(Eng)), Cognitive Science (MPhil), and Human Factors (PhD). He has several years experience in systems development, mostly on industrial and defence applications, having worked for Rolls Royce, Racal, Systems Designers, NEI and ICI. Most of this work involved aspects related to user interface design and human-computer interaction. Since joining academia he has worked on projects looking at rapid decision making in complex environments (for the DRA), dependability of computer based systems (for the NHS in Leeds, and several social services departments across the UK), and large scale complex IT systems. He is a Chartered Engineer, a Member of the British Computer Society, and an Associate Member of the Ergonomics Society.

 


Languages

English

 

Areas of Research

  • Rapid decision making in complex environments

  • Dependability of computer based systems

  • Large scale complex IT systems

Personal Web Page

Publications

  • F. E. Ritter, G. Baxter, J. W. Kim, S. Srinivasmurthy "Learning and Retention" to appear in The Oxford Handbook of Cognitive Engineering, Vol. 1: Foundations, Perspectives and Cognitive Issues, edited by J.D. Lee and A. Kirlik.

  • G. Baxter & I. Sommerville. Socio-Technical Systems: From design methods to systems engineering. To appear in Interacting With Computers. 2010.

sectiontop

pagetop

Complete publications list

 

Researcher

Dr John Cartlidge - University of Bristol

Dr John Cartlidge

" John is working on the development of a rigorous simulation framework for modelling next generation LSCITS "

In October 2010, John Cartlidge became a Research Associate in Cloud Computing at the University of Bristol, working on the development of a rigorous simulation framework for modelling next-generation large-scale data centres for delivery and pricing of cloud services. He has a first class BSc in Artificial Intelligence & Mathematics (2000) and a PhD in Computer Science (2004), both from the University of Leeds, UK. After receiving his PhD he spent four years in industry working for Hewlett-Packard Labs European Research Centre, the London Stock Exchange (LSE), and other smaller companies on commercial research projects including: agent-based modelling of the LSE; statistical modelling of bidder behaviour on eBay; and development of a proprietary dark liquidity exchange (patent pending). From 2008-10, John worked as a Research Associate at the University of Central Lancashire, UK, where his research focused on evolutionary computation and finance. He is director and co-founder of Victria.net, a private consultancy company specializing in financial software design and development.

Languages

English

 

Areas of Research

  • Development of a rigorous simulation framework for modelling next-generation large scale data centres for delivery and pricing of cloud services

Personal Web Page

Publications

  • J. Cartlidge & S. Phelps, (2011), “Estimating demand for dynamic pricing in electronic markets,” GSTF International Journal on Computing (JoC), vol. 1, no. 2, pp. 128–133, Feb, 2011. DOI: 10.5176_2010-2283_1.2.50, ISSN: 2010-2283.

sectiontop

pagetop

Complete publications list

 

Researcher

Mr Tom Cassey - University of Bristol

Tom Cassey

" Tom is looking into decentralised control in distributed systems "

 

Tom Cassey is a PhD student at the University of Bristol. Tom recently graduated from Bristol with a masters degree in Computer Systems Engineering. In October 2008 Tom commenced a PhD, jointly sponsored by HP Labs and the University of Bristol, looking into developing statistically optimal, or near-optimal methods for performing decentralised control in distributed systems.

 

 


Languages

English

 

Areas of Research

  • Developing statistically optimal, or near-optimal methods for performing decentralised control in distributed systems

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

George Despotou - University of York

George Despotou

" George is a researcher in the high integrity systems engineering (HISE) group at York University "

 

George is a researcher in the high integrity systems engineering (HISE) group. George has previously worked for the Software Systems Engineering Initiative (SSE), the Dependable Computing Systems Centre (DCSC) funded by BAE Systems and the Defence and Aerospace Research Partnership (DARP), in collaboration with BAE Systems, Qinetiq and Rolls-Royce.

He holds a PhD on dependability cases and co-evolution with complex critical systems, which defined the Dependability Case Metamodel (DCM). Current research activities and interests include requirements engineering and assurance of critical systems, safety analysis using model driven approaches (such as defence architectural frameworks DODAF & MODAF and enterprise modelling frameworks), and assurance of Systems of Systems.


Languages

English

 

Areas of Research

  • Requirements engineering and assurance of critical systems, safety analysis using model driven approaches

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

Dr Klaus Draeger - University of Oxford

Dr Klaus Draeger

" Klaus is a research assistant at University of Oxford"

 

Klaus is currently working as a research assistant at the Computing Labs, University of Oxford. His research interest is on Verification of Complex Concurrent real-time Systems. His activities are focused around Quantitative Analysis and Verfication

Languages

English

 

Areas of Research

  • Themes: Verification

  • Activities: Quantitative Analysis and Verification

  • Projects: Predictable Software Systems

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

Ms Lu Feng - University of Oxford

Lu Feng

" Lu Feng is a research assistant at University of Oxford Computing Laboratory, and a member of Trinity College, Oxford "

 

Lu Feng is a research student at Oxford University Computing Laboratory, and a member of Trinity College, Oxford. She holds a B.Eng in Information Engineering from the Beijing University of Posts and Telecommunication (China) and a M.Phil in Computer Speech, Text and Internet Technology from the University of Cambridge. She is currently pursuing a D.Phil in Computer Science as part of the Predictable Software Systems component of the EPSRC-funded Large-Scale Complex IT Systems initiative. Her supervisor is Professor Marta Kwiatkowska.

 

Languages

English and Mandarin

 

Areas of Research

  • Predictable Software Systems component of the EPSRC-funded Large Scale Complex IT Systems

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

Dr Xiaocheng Ge - University of York

Dr Xiaocheng Ge

"Xiaocheng Ge has degrees from Beijing University, China in Aeronautics and Astronautics "

 

Xiaocheng Ge has degrees from Beijing University, China, in Aeronautics and Astronautics. He has been working and studying at University of York since 2004. He is interested in the field of high integrity system engineering, particular the topics of agile and model-driven software development, security and safety of complex systems.

 

 

 

 


Languages

English and Mandarin

 

Areas of Research

  • Agile and model-driven software development, security and safety of complex systems

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

David Greenwood - University of St Andrews

David Greenwood

"David's work on using social network analysis for troubleshooting problematic system deployments won the ISSS Anatol Rapoport Award for best student paper in a quantitative systems science "

 

 

 

 

 

David Greenwood is a PhD student at the University of St Andrews funded by an EPSRC studentship. He is working with Prof. Ian Sommerville on the topic of sociotechnical issues that affect the adoption and operation of large-scale IT systems. His research expertise comprises social analysis and modelling for systems engineering.

In 2011 his work on responsibility modelling for identifying sociotechnical threats to the dependability of coalitions-of-systems was nominated for best paper at the Sixth IEEE International Conference on System of Systems Engineering. His work on using social network analysis for troubleshooting problematic system deployments won the ISSS (International Society for the System Sciences) Anatol Rapoport Award for best student paper in a quantitative systems science.

The practical and academic value of this work stems from the fact that it helps corporations become aware of the socio-technical intricacies and interdependencies of services they consume (or offer). One benefit is that it enables the troubleshooting of situations that were previously misunderstood due to their scale or socio-technical intricacy. Another of the benefits is that it enables the systematic identification of risks in situations where corporations were previously unable to do this. This work has been recognised as particularly valuable due to the increasing prevalence of distributed models of work (e.g. outsourcing, near-sourcing, virtual organisations, complex supply chains) supported by complex IT systems.

Languages

English

 

Areas of Research

  • Social Analysis and Modelling for Systems Engineering

  • Socio-technical risk identification

  • Coalitions-of-system

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

Mo Haghighi - University of Bristol

Mo Haghighi

" Mo specialises in embedded system design, sensor networks and microwave communications "

 

 

Mo Haghighi is a full time PhD student at the University of Bristol. He is currently pursuing his research in the area of “Decentralized Adaptive Dynamic Data Gathering in Wireless Sensor Network” in collaboration with the BAE Systems. He has obtained his BEng in Electronic and Telecommunications engineering followed by an MSc in Wireless Sensor Networks. He specialises in embedded system design, sensor networks and microwave communications. Having worked for Sun Microsystems for two years, he has extensive programming experience in Java, C/C++, SystemC and Assembly. He has been developing an operating system for 8-32 bit embedded systems called “ACRAYBOT” which is multi-threading, multi-tasking, light and very flexible. He has also designed and implemented several projects including: “Automated RFID register system”, “Smart sensor network for energy management” and “autonomous sensor-based robotic platform”. His current research focuses on designing Middleware for WSNs in order to enable optimal adaptability with different hardware platforms and application services.

Languages

English

 

Areas of Research

  • Decentralised Adaptive Dynamic Data Gathering in Wireless Sensor Network

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

Dr Kenneth Johnson - University of York

Dr Kenneth Johnson

" Kenneth works with Radu Calinescu on the EPSRC funded project, Cloud Computing for Large Scale Ccomplex
IT Systems "

 

 

 

 

 

 

Kenneth is currently a post-doc researcher at University of York working with Radu Calinescu on the EPSRC-funded project "Cloud Computing for Large-Scale Complex IT Systems".

The work in this area aims to provide a theoretical foundation to specify, analyse and verify non-functional properties of cloud-based systems applied to several case studies in industry.

Before joining the LSCITS project, he worked at L'Institut National de Recherche en Informatique et en Automatique in Rennes, France in embedded system specification. The research developed semi-automatic methods of translating thread-based programs into the synchronous language SIGNAL which were used to analyse static and dynamic properties of program control-flow in order to detect deadlocks.

His research background is in the algebraic theory of data types. A data type consists of data and operations on data modeled by sets and functions respectively, to form algebras. It is a rich and general theory allowing the specification of data types, reasoning with them mathematically, and analysing programs that compute with them.

His work in this area developed a unifying theory of spatial objects modelled by discrete and continuous data types, particularly in the case of the continuous functions over the real numbers, with applications to case studies in volume graphics. In the theory of data types it is natural to consider computability, which is the topic of ongoing work in this subject.

Languages

English

 

Areas of Research

  • Algebraic theory of data types

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

Ali Khajeh Hosseini - University of St Andrews

Ali Khajeh-Hosseini

"Ali Khajeh-Hosseini is a PhD student at the University of St Andrews' Cloud Computing Co-Laboratory "

 

Ali Khajeh-Hosseini is a PhD student at the St Andrews Cloud Computing Co-Laboratory, University of St Andrews. He has an MSc in High Performance Computing from the Edinburgh Parallel Computing Centre at the University of Edinburgh, and a BSc in Computer Science from the Robert Gordon University in Aberdeen. His research focuses on socio-technical issues in cloud computing, and aims to help enterprises make decisions regarding the adoption of cloud computing by analysing its costs, benefits and risk.

 

 

 

Languages

English

 

Areas of Research

  • Socio-technical issues in cloud computing

Personal Web Page

Publications

  • A. Khajeh-Hosseini, D. Greenwood & I. Sommerville. Cloud Migration: A Case Study of Migrating an Enterprise IT System to IaaS. In Proc. The 3rd International Conference on Cloud Computing. 2010.

  • A. Khajeh-Hosseini, D. Greenwood, J. W. Smith & I. Sommerville. The Cloud Adoption Toolkit: Supporting Cloud Adoption Decisions in the Enterprise. To appear in Software: Practice and Experience. 2011.

  • D. Greenwood, A. Khajeh-Hosseini, & I. Sommerville. Towards a Multi-level Model of Conflict to Sensitise practitioners to the Socio-organisational Complexity of an IT Systems Development Project. Submitted to Journal of Information Technology. 2010

sectiontop

pagetop

Complete publications list

 

Researcher

Marco de Luca - University of Bristol

Marco De Luca

" Marco has extensive working experience developing leading edge algorithmic trading systems for major multinational companies in the global financial markets "

 

Marco De Luca holds a M.Sc. in Computer Science at University of Pisa, Italy. Marco has extensive working experience developing leading-edge algorithmic trading systems for major multinational companies in the global financial markets. He was Assistant Vice President in the department of Derivatives IT at Credit Suisse, London; Manager in the Algorithmic Trading team at Barclays Capital, London; Senior Software Developer in the MarketView team at ABN Amro, London. He also worked for ION Trading, major producer of electronic trading middleware services such as the MarketView software suite.

Marco is currently a self-funding doctoral student in Computer Science at the University of Bristol, where he is a member of Dave Cliff's LSCITS Research Group. Marco is pursuing his PhD research on adaptive algorithmic trading agents, of relevance to real-world financial markets and also to decentralized market-based control of ultra-large-scale complex IT systems. Marco commenced his studies, and joined the Bristol LSCITS Group, in October 2009.

Languages

English and Italian

 

Areas of Research

  • Adaptive algorithmic trading agenets, of relevance to real-world financial markets, and

  • Decentralised market-based control of ultra-large-scale complex IT systems

Personal Web Page

Publications

  • Marco De Luca, Dave Cliff - Agent-Human Interactions in the Continuous Double Auction, Redux: Using the OpEx Lab-in-a-Box to explore ZIP and GDX - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, 2011.

  • Marco De Luca, Dave Cliff - Evaluation of the Adaptive-Aggressive Trading-Agent Strategy Against Human Traders in CDA: AA Wins - Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, 2011.

sectiontop

pagetop

Complete publications list

 

Researcher

Paul Mayo - University of York

Paul Mayo

" Paul's research is focusing on operational safety cases for Large Scale Complex IT Systems "

 

Paul Mayo spent 21 years as an engineer in the Royal Air Force. He successfully completed the Safety Critical Systems Engineering MSC at the University of York during 2001-2002 and spent the following 3 years assuring the safety of aircraft and weapons systems on secondment to QinetiQ at Boscombe Down. Paul retired from the Royal Air Force in 2005 and has remained in the safety critical field, working as a safety engineer, safety manager and safety consultant on rail signalling systems, UAVs, weapon systems and helicopters. His research is focusing on operational safety cases for large scale complex IT systems.

 

 

 

Languages

English

 

Areas of Research

  • Operational safety cases for Large Scale Complex IT Systems

Personal Web Page

Publications

  • P. Mayo. Creating a Competence Argument to Support a Safety Case. IET System Safety, London, 2009

  • P. Mayo. Structured Safety Case Evluation: A Systematic Approach to Safety Case Review. IET System Safety, London, 2006

  • T. Kelly, R. Weaver, P. Mayo. Gaining Confidence in Goal Based Safety Cases. Safety Critical Systems Symposium, Bristol, 2006

sectiontop

pagetop

Complete publications list

 

Researcher

Michael Meadows - University of Bristol

Michael Meadows

"Michael is researching opinion dynamics across large populations from the broader subject of examining large-scale attacks on socio-technical systems"

 

Michael is a PhD Student at the University of Bristol. He achieved his BSc in Computer Science at the University of Leicester and then moved to Bristol to pursue research more closely linked to his own interests. After starting on a joint venture research programme with the University of Bristol and BAE Systems, Michael joined the LSCITS group and is currently supervised by Professor Dave Cliff. He is currently researching opinion dynamics across large populations from the broader subject of examining large-scale attacks on socio-technical systems. Although his primary focus was originally to research population dynamics in populations that contain a subversive and malicious threat, his interests have broadened since joining LSCITS allowing him to consider the complexity of opinion dynamics as a broader subject.

 

 

Languages

English

 

Areas of Research

  • Opinion dynamics

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

Chris Musselle - University of Bristol

Chris Musselle

" Chris is researching the detection of malicious software across large scale networks "

 

Chris Musselle is a PhD student at the University of Bristol, undertaking a 4 year program at the Bristol Centre for Complexity Sciences (BCCS) doctoral training centre. He holds a Master's degree in Chemistry from the University of Bristol, and is currently pursuing research into the detection of malicious software across large scale networks. His primary research interests include; Machine learning and anomaly detection, modelling and simulation, and graphical models.

 

Languages

English

 

Areas of Research

  • Machine Learning and anomaly detection

  • Modelling and simulation

  • Graphical models

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

 

 

Researcher

Ms Yasmin Rafiq - University of York

Yasmin Rafiq

" Yasmin researches online machine learning for self-star, cloud-based systems "

 

Yasmin Rafiq carries out research at the University of York in the area of online machine learning for self-star, cloud-based systems. Initially my research work will target service-based systems deployed in the cloud, as their component services are often characterised by variable non-functional parameters such as service rates and failure rates. The machine learning algorithms and techniques developed as part of this research will ensure that the operational models that guide self-adaptation in cloud-based systems are brought and maintained in sync with the actual behavior of these systems, based on observations of this behavior. These techniques will enable self-star, cloud-based systems to attain improved adaptiveness when the initial models they base their decisions upon are approximate, and when the system behavior changes over time.

Languages

English

 

Areas of Research

  • Service-based systems deloyed in the cloud

Personal Web Page

Publications

 

 

 


sectiontop

pagetop

Complete publications list

 

Researcher

Jason Reich - University of York

Jason Reich

" Jason is investigating the formal verification of the functional language implementations "

 

Jason Reich is a research student at the University of York, having previously completed an MEng in Computer and Systems Software Engineering. His PhD, co-supervised by Professors Colin Runciman and Richard Paige, is investigating the formal verification of functional language implementations. His academic interests generally lie within the topics of functional languages (in particular, Haskell), semantics, compiler design, formal methods and innovative architectures.

 

 

Languages

English

 

Areas of Research

  • Functional programming

  • Compiler optimisation

  • Mechanical theorem proving

  • Novel architectures

Personal Web Page

Publications

sectiontop

pagetop

Complete publications list

 

Researcher

Owen Rogers - University of Bristol

Owen Rogers

" Owen is director of Cloudonomics Ltd and a Chartered Engineer "

 

Owen Rogers is a doctoral researcher at the University of Bristol. Owen graduated from Cardiff University with a MEng in Computer Systems Engineering in 2005. Following this, he joined telecommunications firm Cable & Wireless, first as a Graduate Engineer, and then as Product Development Manager for Managed Security Services. In 2009, Owen joined managed services provider Claranet, as Product Portfolio Manager. He started his PhD, sponsored by HP Labs, in March 2010 and is looking into ways of understanding and modelling increasing complexity and scale in cloud computing infrastructures. Owen is director of Cloudonomics Ltd and a Chartered Engineer.

 

Languages

English

 

Areas of Research

  • Understanding and modelling increasing complexity and scale in cloud computing infrastructures.

Personal Web Page

Publications

  • Owen Rogers, Dave Cliff - The Effect of Market Demand on Truthfulness in a Computing Resource Options Market - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, 2010.

  • Owen Rogers, Dave Cliff - The Effects of Truthfulness on a Computing Resouce Options Market - Proceedings of the International Conference on Advances in Distributed and Parallel Computing, 2010.

 

sectiontop

pagetop

Complete publications list

 

Researcher

 

Dr John Rooksby - University of St Andrews

Dr John Rooksby

" John's research is in the area of socio- technical systems "

 

John Rooksby is a research fellow at the University of St Andrews. He holds a BSc (first class) and PhD in Computer Science, both awarded by the University of Manchester. He took his position at St Andrews in 2008. He has previously held research positions at Lancaster University and The University of Salford. His research is in the area of socio-technical systems; he has carried out a number of studies of the uptake and use of systems in healthcare and human practices in software development and testing.

 

 

Languages

English

 

Areas of Research

  • Socio-technical systems

Personal Web Page

Publications

 

 

 

sectiontop

pagetop

Complete publications list

 

Researcher

Daniel Schien - University of Bristol

Daniel Schien

" I've always been passionate about IT and its potential for innovation. Now I'm investigating if these innovations are environmentally sustainable "

 

Dan is a PhD candidate and research assistant at the School of Computer Science, University of Bristol. He is also the Research Staff Representative for the Computer Science Department. Currently, his main focus is on modelling the use phase energy consumption of digital media. For several years prior to coming to Bristol he was consulting organisation in the telecommunications and health sector such as Nokia, Deutsch Telekom AD and Biotronik, on software development projects, developing a curriculum for the teaching of computer science in the Afghan University of Herat

 

 

 

 

 

Languages

English

 

Areas of Research

  • Energy Consumption of Cloud Services

  • Sustainability of ICT

  • Life Cycle Approaches to ICT Impact Assessment

Personal Web Page

 

Publications

 

 

 

sectiontop

pagetop

Complete publications list

 

 

Researcher

James Smith - University of St Andrews

James Smith

" James is interested in the potential energy efficiency impacts of Cloud systems and how they effect organisations"

 

James Smith is a doctoral research student at the University of St Andrews in Scotland. He graduated with a B.Sc in Computer Science from St Andrews in 2009 then returned to pursue a Ph.D with an LSCITS initiative funded studentship. His supervisor is Prof. Ian Sommerville.

Since starting his research course in September 2009 he has begun to look at Socio-Technical Issues in Cloud Computing. In particular he is interested in the potential energy efficiency impacts of Cloud systems and how they effect organisations.

 

 

 

Languages

English

 

Areas of Research

  • Socio-technical issues in Cloud Computing

Personal Web Page

Publications

 

 

 

sectiontop

pagetop

Complete publications list

 

Researcher

Ilango Sriram - University of Bristol

Ilango Sriram

" Ilango worked as research associate at the Hewlett-Packard Research Labs in
Bristol, UK"

 

Ilango Sriram is a PhD student at the University of Bristol, funded by Hewlett-Packard Labs. Ilango has a Master's degree in Computer Science from the Technical University of Munich (Germany). He spent a year as a research associate at the Hewlett-Packard Research Labs in Bristol, UK, where he worked on automated mapping of business processes to application and infrastructure configuration, and explored ways of monitoring and managing virtualised infrastructures in data centres. For his PhD, fully sponsored by HP Labs, he is looking into ways of understanding and modelling increasing complexity and dynamics in future generations of data centres.

 

 

Languages

English, German and Tamil

 

Areas of Research

  • Socio-technical issues in Cloud Computing

Personal Web Page

Publications

 

 

 

sectiontop

pagetop

Complete publications list

 

Researcher

 

Ms Charlotte Szostek - University of Bristol

Charlotte Szostek

" Charlotte is a member of the Bristol Centre for Complexity Science "

 

Charlotte Szostek is a PhD student at the University of Bristol She is a member of the Bristol Centre for Complexity Science, having completed a Master of Research in Complexity Science in 2010. She completed a project with Biochemistry on The Integration of Receptor Trafficking and Signalling in Angiogenesis and a Second with Dave Cliff on Automated Algorithmic Trading. Charlotte holds a MSc in Earth Systems Science; funded by the NERC; and a BEng in Civil Engineering; during which she was a Queen's Jubilee Scholar of the Institute of Civil Engineering, receiving funding from the Institute and representing it. She started her PhD in February 2011 and is investigating automated Algorithmic Trading from a Complex System perspective. She is looking at ways to use automated trading algorithm to better understand financial markets as complex adaptive systems; their dynamics and emergent features.

Languages

English

 

Areas of Research

  • Automated Algorithmic Trading from a Complex System perspective

pagetop

sectiontop

Publications

 

 

 

Personal Web Page

Complete publications list

 

Researcher

Duncan Tait - University of Bristol

Duncan Tait

" Duncan recently graduated from the University of Reading with a BSc degree in Physics "

 

Duncan Tait is an EngD student at the Systems Centre run between the University of Bristol and Univesity of Bath, his sponsoring company is Thales UK. Duncan recently graduated from the University of Reading with a BSc degree in Physics. In November 2009 Duncan commenced an EngD looking into Communications Networking Simulation - specifically radio communications and complex behaviour thereof.

 

 

 

 

Languages

English

 

Areas of Research

  • Communications Networking Simulation

Personal Web Page

Publications

 

 

 

sectiontop

pagetop

Complete publications list

 

Researcher

Dr Derek Wang - University of St Andrews

Dr Derek Wang

" Derek has several years industrial experience in software development, dependable real-time control systems, systems architecture, and IT consultancy "

 

Yuanzhi (Derek) Wang is a research fellow at the university of St Andrews. Prior to this, he was doing a PhD in Computer Science at the Australian National University, and was a research project officer at the Commonwealth Scientific and Industrial Research Organisation (CSIRO) in Australia. He also has several years industrial experience in software development, dependable real-time control systems, systems architecture, and IT consultancy. His current research interest includes large scale socio-technical software-intensive systems, service-oriented computing, and cloud computing. In particular, his work aims to investigate and understand various critical socio-technical factors involved in the processes of cloud adoption, diffusion, and sustainability, and to facilitate these processes through pragmatic methods and tools.

 

 

 

Languages

English

 

Areas of Research

  • Large scale socio-technical software-intensive systems

Personal Web Page

Publications

 

 

 

sectiontop

pagetop

Complete publications list

 

Researcher

James Williams - University of York

James Williams

" James interests include software modelling, analysis and simulation; formal methods; formal verification; stealthly integrating formal practices into semi-formal techniques; search-based software engineering "

 

James Williams is a PhD student at the University of York. James graduated from the same university in July 2009 with a Master's degree in Computer Systems and Software Engineering and started his PhD in October 2009. His research focuses on looking at ways to exploit the use of formal methods in a model-driven engineering environment in order to improve the design, implementation and testing of large-scale complex systems.

 

 

 

 

 

Languages

English

 

Areas of Research

Current Projects:

  • UtoZ
    Automatic formalisation of UML to Z: A tool developed during for my Master's thesis. The tool is an implementation of the process developed by Nuno Amalio in his PhD thesis, that takes UML class and state diagrams and formalises them into a Z specification. I am currently extending the and improving the tool, as well as looking at integrating the tool with the Community Z Tools (CZT) project with the aim to provide better feedback to the user regarding the consistency of their diagrams.

  • ZTlite
    A (relatively) light-weight text-editor for Z, including parser, type-checker and AST-view. Built using the Community Z Tools project.

 

Personal Web Page

Publications

 

 

 

sectiontop

pagetop

Complete publications list

 

For a list of the Research Engineers working on the LSCITS Engineering Doctorate programme, click here.

 


cloud
EVENTS publications Health & Social Contacts
CLOUD
EVENTS
PUBLICATIONS
HEALTH & SOCIAL CARE
CONTACTS