Alexandre Mota

Professor, Researcher in Formal Methods and Responsible AI Innovation

🇧🇷 🇺🇸

Integrating Advanced Research and Industrial Innovation

Combining technical excellence and leadership in multidisciplinary impact projects

About Me

Professor Alexandre Mota

Alexandre Mota has been a Research Productivity Fellow (PQ-2/C) from CNPq since 2018, and was a Technological Development Productivity Fellow (DT-2) from CNPq between 2011 and 2018.

With expertise in Formal Methods (Mathematics applied to system development), he holds an Industrial Postdoctoral degree from Lindy Labs, where he worked on formal verification of smart contracts in Solidity.

His career is marked by the integration of R&D&I (Research, Development and Innovation), connecting advanced research with industry demands through strategic university-industry partnerships.

Academic Highlights

  • CNPq PQ-2/C Fellow (Research Productivity)
  • Former CNPq DT-2 Fellow (Technological Development Productivity)
  • Industrial Postdoctoral - Lindy Labs
  • Specialist in Formal Verification of Smart Contracts (Solidity)

Areas of Expertise

Formal Methods

Application of rigorous mathematical techniques for specification, development, and verification of computational systems.

Applied Mathematics

Development of systems with rigorous mathematical foundations, ensuring reliability and correctness.

Smart Contracts

Formal verification of smart contracts in Solidity, ensuring security and functionality in blockchain.

Responsible AI

Development of Artificial Intelligence and Robotics with ethical principles and social responsibility.

R&D&I

Integration of Research, Development, and Innovation, connecting academia and industry.

Leadership

Coordination of multidisciplinary projects and strategic university-industry partnerships.

Projects and Strategic Partnerships

M

Motorola

2004-2008 and 2015-present

Partnership in software services and product test projects, with innovation and research coordination.

C

COMPASS

2011 and 2014

Comprehensive Modelling for Advanced Systems of Systems, focusing on advanced systems modeling.

E

Embraer

2006-2016

Collaboration in highly relevant projects in the area of systems development.

Leadership and Coordination

Leadership Positions

Coordinator of CRIAR

Center for Innovation in Responsible Robotics and Artificial Intelligence

Vice-coordinator

CIn-Motorola Agreement (Software Services)

Innovation and Research Coordinator

CIn-Motorola Agreements (Software Services and Product Test)

CRIAR

Center for Innovation in Responsible Robotics and Artificial Intelligence

CRIAR is a center dedicated to the development of advanced technologies in robotics and artificial intelligence, with a focus on the ethical and social responsibility of these innovations.

As coordinator, Alexandre Mota leads initiatives that integrate cutting-edge academic research with relevant industrial applications, promoting responsible innovation and sustainable technological development.

Publications and Research

My publications and research details can be found on my Lattes profile.

Access Lattes

Contact

Contact Information

acm@cin.ufpe.br