Foundations and Applications of Advanced Software Technology (FAAST)

Led by: Eneia TODORAN
Fields: Math. Comp. Sci. & Software Eng.
Institution: Technical University of Cluj-Napoca (UTCN)
Scientists/Total: 3/3
Keywords:  Formal design of reliable distributed software systems and programming languages Software Formal Methods Natural Computing Global Computing Software Modeling and Software Solutions
Presentation

Software Formal Methods:
The objective of this research domain consist in the study and development of mathematically based techniques for the specification, design and verification of software and hardware systems.
Natural Computing:
The objectives of this research domain are targeted to encompass: (1) methods that take inspiration from nature for the development of novel problem-solving techniques; (2) methods that are based on the use of computers to synthesize natural phenomena (e.g. artificial life); (3) those that employ natural materials (e.g., molecules, qubits) to compute.
Global Computing (GC):
The objectives of this research domain are targeted on generating models, semantics, logics and technologies for GC. A GC system is a programmable infrastructure distributed at worldwide scale and available globally; GC distinguishes from traditional distributed computing in terms of scalability, connectivity, heterogeneity, and autonomy

Infrastructures

------

Applications

- eBusiness,
- eAdministration
- eHealth
- traffic and transportation for Smart Cities

Research & development
Formal design of reliable distributed software systems and programming languages

Consulting
Formal design of reliable distributed software systems and programming languages

Training
Software Engineering basics: software development paradigms. requirements engineering, UML class diagrams and OO analysis, modeling interaction and behavior, architecting and designing software, software testing techniques and strategies, formal specification using Z
Advanced topics in Software Engineering and Programming Languages: formal methods, denotational and operational semantics, process algebras, type systems

Contact

Str. G.Baritiu Nr. 26-28, 400027
Cluj-Napoca, jud. Cluj, România
Tel: +40 264 401481 +40 726 313971
Fax: +40 264 594491
eMail: Enei...@cs.utcluj.ro

 

 

 

0 Patents or Software

 

Research For Industry - Venture Contect Research For Industry - Arott Research For Industry - Romanian Startups Research For Industry - CCifer Research For Industry - Spherik Research For Industry - CIDO Research For Industry - Spherik