Camí de Vera
46022 València Valencia
Valencian Research Institute for Artificial Intelligence (VRAIN), of the Universitat Politècnica de València is composed of researchers belonging to 8 research groups: Language Engineering and Pattern Recognition (ELiRF), Automata, Formal Languages and its Applications (ALFA), Extensions of Logic Programming (ELP), Machine Learning and Language Processing (MLLP), Computer Technology and Artificial Intelligence (GTIIA) and Multiparadigm Software Technology (MIST), Interactive Technologies Lab (VertexLit), and the Research Center on Software Production Methods (PROS) of the Universitat Politècnica de València. With more than 30 years of experience in different lines of research in Artificial Intelligence (AI), the groups that make up VRAIN are national and international references in AI research and their results are supported by their extensive scientific production. In fact, with 160 researchers, VRAIN is one of the largest AI research centers in Spain.
VRAIN’s research activity revolves around twelve main research areas: Natural Language Processing, Planning and Reasoning, Software Verification and Analysis, Machine Learning and Deep Learning, Natural Computing, Computational Logic and Automatic Reasoning, Intelligent Agents and Human-Centered Artificial Intelligence, Artificial Intelligence, Privacy and Security, Information Systems Engineering, Software Engineering Testing, Autonomic Computing, Self-Adaptation and Human Interaction, and Genomic Data Science and Genomic Information Systems. These research areas are applied to the development of innovative applications in a large number of strategic sectors such as health, agriculture, industry, privacy/security, autonomous robots, services and energy, and environmental sustainability. These activities have been funded by more than 128 projects obtained through competitive funding, mainly from the European Union, but also from the National Research Plan, the Valencian Research Plan and Technology Transfer Projects. The total funding obtained since 2000 exceeds 18 million euros. VRAIN researchers in these fields have chaired the main Artificial Intelligence conferences (ECAI, AAMAS, EUMAS, IICAPS); and are board members of the main journals and organizations (EURAMAS, AEPIA). VRAIN has produced and continues to produce important scientific publications (more than 2,000 papers since then), many of which have been and are highly cited.
Publications of VRAIN (Google Scholar)
Of special interest are the activities of analysis and assessment of the ethical aspects of the use and implementation of AI focusing, from a multidisciplinary vision, the general design of AI systems from an alignment of ethical, legal and social aspects, with Responsible Artificial Intelligence being the focus of the research developed.
The VRAIN institute has been recognized by the European Commission as a center of excellence in artificial intelligence (AI) research. VRAIN participates in the European TAILOR project, a key initiative for the future of AI in Europe.
VRAIN supports the Confederation of Laboratories for Artificial Intelligence Research in Europe (CLAIRE) and we are members of:
AIOTI, Alliance for IoT and Edge Computing Innovation
BDVA, Big Data Value Association
RENIC, Red de Excelencia Nacional de Investigación en Ciberseguridad
EOSC, European Open Science Cloud
EFFRA, European Factories of the Future Research Association
ADRA, AI, Data and Robotics Association
EDIH, European Digital Innovation Hub, INNDIH
Trustworthy Artificial Intelligence Cluster: A new high-performance computing cluster for Trusted Artificial Intelligence (with the support of GVA and ERDF funds, ref: IDIFEDER/2021/059), with 20 GPUs, valued at 406.511,22€.
Scientific Cluster RIGEL: VRAIN has access to RIGEL, the supercomputing cluster of the UPV. RIGEL is equipped with 72 CPU parallel processing nodes (BX920S3 nodes, Bull R424E4 nodes and Dell Power Edge R640 nodes) and 2 dedicated GPU computing nodes (Nvidia Tesla M2075). It also includes a high-speed interconnection network and a RAID storage system that provides unified disk space to users. Access to this cluster, together with the Institute's own huge infrastructure, makes its management and maintenance critical. Also, during 2022, an expansion of RIGEL the scientific cluster, valued at 1.5000.000€ (with the support of Spanish Research State Agency and the European Union with Next Generation Funds, ref: EQC2021-007509-P).
Research labs: VRAIN has the following research equipment in the research labs:
- a GPGPU computing cluster for natural language learning and processing,
- 22 multi-core CPUs and 40 GPUs for scientific computing,
- 3 networked storage systems,
- a high-performance transactional server for genomic data storage,
- a computing cluster for automatic software testing and
- multiple cyber-physical systems laboratories with a multitude of technological devices (drones, sensors, actuators, Arduino boards, Raspberry Pis, mobile devices, high-performance nodes, ground vehicles, etc. ).
Advanced software debugging techniques
Software debugging (better known as "debugging") is one of the most complex tasks in the software development process, especially when it comes to industrial software products.
Development of machine learning systems
Machine learning is a branch of artificial intelligence that deals with the development of theory and algorithms to build systems capable of learning from data.
Industrial applications of Intelligent Systems
Today's industrial systems increasingly need systems that are flexible, adaptable to new situations, robust, easy to handle and understand, scalable to new computational requirements and, above all, capable of interoperating in heterogeneous environments.
Development of systems based on Persuasion technologies
In the digital world, persuasive technologies are of great importance because through the fusion of technology and psychology they can influence the choice of a particular product, brand, or alter the behavior of users.
Information Systems Modeling, Design and Development
Software development companies or development departments use different methods for software production.
Human-machine speech communication systems
From a theoretical point of view, the work of the Form Recognition and Artificial Intelligence Group has focused on the development of algorithms for inference of certain types of formal grammars from examples for automatic learning of structural models.
Optimization and interaction of Data Mining Models
Data Mining is becoming a useful and popular tool for decision making.
Intelligent Systems oriented to web services
Problem: Most web services are intended for use by developers. The challenge is to have reusable web services that can be automatically discovered and composed at runtime by other computers.
Application of techniques to extract knowledge from data and aid in decision making.
In recent decades, the volume of information that is computerized in the databases of most organizations and companies has grown dramatically.
Development of high-performance language processing technologies for audiovisual transcription and translation
Natural language processing is a field of computer science, artificial intelligence and linguistics that deals with the interaction between computers and human (natural) languages.
Development of solutions for Big Data processing in education: automatic transcription, speech synthesis and translation of educational video repositories.
Big Data refers to a huge and complex collection of data that is difficult to process using conventional data management tools and applications.
Rapid and cost-effective design of cross-platform/device user interfaces
The design and implementation of user interfaces are among the most time and effort consuming activities in the software development process.
Techniques and tools for verification and certification of program completion
One of the most interesting practical problems from a scientific and technological point of view is the termination of computer programs and systems.
Intelligent Systems – Artificial Intelligence for task automation
The automation of certain complex tasks is currently possible through the use of techniques based on Artificial Intelligence.
Highly efficient tools for software behavioral analysis
In order to guarantee good software quality, it is necessary to use techniques that analyze software behavior, detecting possible problems and ideally proposing solutions.
Development of software tools for the management and analysis of genomic information.
In recent years, DNA sequencing technologies have undergone a drastic evolution. The direct consequence has been an increase in the amount of genetic information available.
Assisted transcription systems for handwritten text
Optical Character Recognition (OCR) systems offer poor performance when used on handwritten text or printed text document collections with special characteristics, such as historical archives.
A Surgical Simulator is a virtual environment that allows the training of surgeons in complex and advanced surgeries (e.g. Minimally Invasive Surgery).
Simulation of the biomechanical behavior of organic tissues.
In surgical simulation and planning systems as well as in industrial applications, it is increasingly important to develop applications with a high level of realism, not only for the immersion that can be achieved, but also so that the planning is based on parameters that are as realistic as possible.
Internet of Things in Enterprise environments: integration of real-world objects with information systems
Most of the activities that take place within an organization follow defined processes involving both real-world objects and information systems (e.g., airport baggage control, inventory management, book lending).
Automated testing, if used correctly, can bring a great cost reduction in the development and testing of software products.
Artificial Intelligence Explainable Systems (AIE) for Data Analysis and Management
The amount of information being generated in different domains (e.g., in the context of genomics) and especially in complex environments requires the use of artificial intelligence techniques to facilitate data analysis and generate relevant conclusions for understanding the domain under study.
Consulting in the design and construction of software development methods and tools.
Software development companies or development departments use different methods for software production.
Advanced software specification and verification
In today's "Information Society" more and more tasks are performed automatically or semi-automatically by software products.
Intelligent planning systems for decision support
Intelligent process management requires making the right decisions and reacting in a timely manner to complex situations in which a large number of contingencies occur and the automatic or semi-automatic construction of an action plan is necessary.
New artificial intelligence tools for computer attack detection
Cyber attacks have grown significantly in recent years. In the US, for example, these cyberattacks have doubled since 2010 and the expenditure incurred by companies in response to these attacks has shot up by 40%.
Automatic verification and certification of security and trust properties in communications protocols and mobile code
Software products often lack an industrial guarantee of good performance, unlike the usual hardware products in IT.
Implementation of Data Mining Plans
In order for Data Mining techniques to bring benefits to organizations, it is necessary that they design an implementation plan appropriate to their needs.
Development of applications on mobile devices and tablets
The emergence of new smartphones and tablets