计算机系是一个年轻而充满活力的部门，以科学的方式研究计算的本质。显而易见，我们的研究人员正在工作于尖端领域。由于莱斯特大学研究人员在现代计算机科学的开展重要工作，并有益于您；同时，我们的教学又具有高层次，创新课程传统。
我们的研究特点可以概括为8大主题。教职员和学生通常参与研究基金项目，包括国家和国际水平与其他大学和公司，以及其他合作项目的数量。具体项目的工作提供资助研究领域。
●代数和范畴结构和方法
主题：代数，共代数和范畴对象等数学对象，包括共归纳法和模态逻辑。计算机科学中的应用：共代数、代数规范;代数于并发、分布式、移动和上下文感知计算模型;一般系统理论和计算模型（化学，生物等）;语义概念建模方法和技术;语义编程语言;验证和检测。
●算法设计，分析及工程
主题：数据结构，算法，近似算法，不确定数据，包括在线算法处理。应用： 性能优化和能源消耗在光学和Ad-hoc网络，铁路调度，生物信息学，文本索引，半结构数据，网络分析。
●代数结构计算复杂性
主题：形式语言理论和计算复杂性。代数结构中的算法问题。算法发展。不可判定问题。自动机和半群。biautomaticity。双曲群和半群。句法映子。字符串重写系统。
●演绎，重写和转换
主题：图转换;项重写;定理证明，随机的方法。生物结构重写。操作语义的并发性和编程语言。
●交互设计和社会技术系统评估
主题：可用性和用户体验评价方法，新兴的互动技术;交互设计，计算机支持的协同工作/学习环境。数字教育游戏;社会性软件的互操作性问题;跨文化的网上社区的演变;自适应混搭服务;社会网络分析;软件质量模型;设计转移和评价方法和工具，Web 2.0增强需求工程;复杂社会经济技术服务工程：形式化建模和分析，业务流程和服务水平协议，安全与信任;互动和基于上下文的协作团队技术。
●软件密集型系统模型
主题：庞大而复杂的软件密集型系统的概念，语言和语义模型。特别是：架构维度（协调，分配，上下文意识）;协作系统;嵌入式，混合，和定时系统;形式化规范，确认和验证技术，面向服务的系统。组成和涌现行为/属性。
●优化和启发式算法
主题：组合优化调度;资源配置;路由;网络设计和优化;近似算法;元启发式算法解;遗传和进化算法，动态优化的进化算法，基于人工神经网络的优化，混合智能系统，在线算法和竞争力分析。
●软件演化
主题：元建模，模型驱动架构/开发遗留系统再工程;方面发现和重构;软件过程工程;。增量开发：规则驱动，应时组合。
Research in the Department
We are a young and dynamic department that takes a scientific approach to Computing. This is evident in our research where we have people working at the cutting edge of the subject. You will benefit from the fact that researchers at Leicester are playing a major part in developing modern trends in Computer Science; this is reflected in our teaching where we have a strong tradition of high-level and innovative courses.
Our research profile can be characterized by the eight broad themes listed overleaf. Staff and students are usually involved in a number of research grants including projects with other universities and companies as well as other collaborations at national and international level. Funded research positions are often made available for working in specific projects.
●Algebraic and Categories structures and Methods
TOPICS: Algebras, coalgebras and categorical structures as mathematical objects, including (co)inductive methods and modal logics. Applications in computer science: Algebraic and coalgebraic specification; Calculi and models of concurrent, distributed, mobile, and context-aware computing; General systems theory and computational models (chemical, biological, etc); Semantics of conceptual modeling methods and techniques; Semantics of programming languages; Validation and verification.
●Algorithm Design, Analysis and Engineering
TOPICS: Data structures, hierarchical-memory algorithms, algorithms approximation, algorithms for dealing with uncertain data, including online algorithms. Applications to: optimizing performance and energy consumption in optical and ad-hoc networks, railroad optimization, bioinformatics, text indexing, representing semi-structure data, network analysis.
●Computational complexity of algebraic structures
TOPICS: Formal language theory and computational complexity. Algorithmic problems in algebraic structures. Algorithm development. Undecidability results. Automatic groups and semigroups. Biautomaticity. Hyperbolic groups and semigroups. FA-presentable structures. Syntactic monoids. Word problems of groups and semigroups. Reduced and irreducible word problems. String rewriting systems.
●Deduction, Rewriting and Transformation
TOPICS: Graph transformations; Term rewriting; Theorem proving, Stochastic approaches. Rewriting of bio-structures. Operational semantics of concurrency and programming languages.
●Interaction Design and Evaluation of Socio-technical Systems
TOPICS: Usability and user experience (UX) evaluation methodologies emergent interactive technologies; interaction design if computer-supported collaborative work/learning (CSCW/L) environment. Digital education gams; Interoperability issues of social software; Evolution of cross-cultural online communities; Adaptive mash-up services for personal responsive learning environment; Social network analysis of computer-mediated interactions; Creativity and software quality models; Tans-sectorial transfer of design and evaluation methods and tools; Web 2.0 –enhanced requirement engineering; Engineering of complex socio-technical services: formal modeling and analysis, orchestration and service-level agreements, security and trust; interaction and context-based technologies for collaborative teams.
●Models of software intensive systems
TOPICS: concepts, languages, and semantic models for large and complex software intensive systems. In particular: Architectural dimensions (coordination, distribution, context-awareness); collaborative systems; Embedded, hybrid, and timed systems; Formal specification, validation and verification techniques; Service-oriented systems. Composition and emergent behavior/properties.
●Optimization and Heurisitics
TOPICS: Combinational optimization; scheduling; resource allocation; routing; network design and optimization; approximation algorithms; meta-heurisitics; competent genetic and evolutionary algorithms; evolutionary algorithms for dynamic optimization; artificial neural networks for optimization; hybrid intelligent systems; online algorithms and competitive analysis.
●Software Evolution
TOPICS: meta-modelling; Model-driven architecture/development; Re-engineering of legacy systems; Aspect discovery and refactoring; Software process engineering; System families. Incremental development; Features and Aspect: policy-driven, ad-hoc composition.