Development and support of student technology startups by creating a successful startup community; assistance in providing favorable conditions from external partners for investment and development of ideas.
The university’s project-based activities are aimed at implementing grant-based and commercial projects, as well as at enhancing the availability of education in IT areas.
The Lab of Software and Service Engineering focuses on development of theories, methods, tools and programs covering two major aspects of software engineering: process side aimed at software development, and product side aimed at final results of the processes.
We have been pursuing the objective of improving Software Quality of the final product. This can be achieved by process optimization, as well as usage of effective architectural styles, design patterns and well-established software engineering techniques for design, testing and verification. In particular, our work has been focused on service-based architectural styles and concurrent service-based systems.
Software and Service Engineering Laboratory of Innopolis University is devoted to method and tool development for software quality improvement. Although we attempt to cover the whole field of software engineering, our areas of emphasis are:
— Software verification (both proofs and tests)
— Persistence and evolution
— Object-oriented reengineering
— Language design and evolution (with particular focus on Eiffel)
ReqExp extraction of requirements from arbitrary technical texts
The project uses deep machine learning and natural language processing
Porting Docker to experimental operating systems
The project allows you to identify the directions of further development of operating systems in the phase of active development
TICOTA: Test Inputs Constructed Out Of Thin Air
Analyze disparate specifications using machine learning technologies. The project aims to improve the efficiency of automatically generated texts
Requirements processes for seamless development
The project is aimed at creating software development processes that allow you to respond as quickly and correctly as possible to frequent changes in requirements
Habit-Forming through a Software Product. Practical Applications of the Hooked model
The research explores upholding family ties as a positive habit and its effect on software engineers, and presents an applied case study on shaping human behaviour and habit-forming through software technology
Arabic Video Generator (AVG ) using Machine learning - Convert Website Blogs to Youtube Animated Videos
The research aims at creating a tool to generate animated videos from using blogs content. using different technology such as: Web Scraping , NLP, HTMLP and Professional text to speech based on the content