Formal Methods and Software Engineering

From Formal Methods and Software Engineering
Jump to: navigation, search
Quick Links Downarrow.png

K -- Online-sm.JPG

Welcome to the Formal Methods and Software Engineering (FMSE) group of the Faculty of Mathematics and Computer Science at the University of Bucharest.

Focusing equally on theory and practice, the Formal Methods and Software Engineering research aims to use the latest developments in formal methods to find solutions to practical software engineering problems.


Current Research Areas
  • Algebraic specification, formal methods for software engineering

  • Algorithms, Programming using logics, Term Rewriting and Rewriting Logic

  • Distributed systems

  • Databases and big data

  • Agent-based modelling

  • Model-based or search-based testing

  • Membrane systems with applications in modelling, verification and testing

  • News
    2016-03-29: began development of the alpha version of the website

    [ all news ]