SYSTEM.KERNEL :: v1.0.0 ONLINE

Hello, I'm José C. Paiva

<Solutions Architect & AI Specialist /> Engineering high-performance web platforms, AI/RAG solutions, automated assessment engines, and multi-tenant architectures based in Porto, Portugal.

Source Code
GitHub
LOADED_MODULES:TYPESCRIPTPYTHONJAVARUSTPHPZOHOAI & RAGMOODLEPOSTGRESQLDOCKER
portfolio.tsx
import { Person } from './universe';
// Initialize profile object
const Paiva = () => {
return (
<Person
name="José C. Paiva"
role="Solutions Architect & AI Specialist"
location="Porto, Portugal"
availability="Open to opportunities"
/>
);
};

# About.system

// OPERATOR_PROFILE_LOGS

operator_spec.sys
José C. Paiva Developer Avatar
OPERATORJOSÉ C. PAIVA
ROLESOLUTIONS ARCHITECT
QUALIFICATIONPhD in Computer Science
STATUSACTIVE
paiva@jcpaiva.dev:~$whoami

Full-stack engineer, AI specialist, and software architect with 10+ years of experience spanning R&D, educational technology, AI-enabled products, cloud integrations, and multi-tenant web platforms. PhD in Computer Science from the University of Porto, specializing in automated assessment of programming assignments, source-code semantics, feedback generation, and gamification.

Experienced in translating complex institutional and research requirements into production-grade systems: LMS integrations, learner portals, CMS platforms, automated assessment engines, gamification systems, and AI/RAG applications.

paiva@jcpaiva.dev:~$cat mission.txt

Bridging cutting-edge academic R&D with production software engineering to design scalable, intelligent, and human-centered digital platforms that empower learners, educators, and organizations worldwide.

// 2014+
10+
Years Exp.
// SHIPPED
20+
Shipped Projects
// PAPERS
25+
Research Papers
// LOCATION
Porto
Portugal, PT

# Skills.json

// SYSTEM_CAPABILITIES_MANIFEST

languages.module
$ ls ./languages[9 Loaded]

#Languages

TypeScriptJavaScriptPythonJavaC#SQLBash/ShellC/C++HTML/CSS
ai_&_data_engineering.module
$ ls ./ai-data[7 Loaded]

#AI & Data Engineering

LLM IntegrationRAG PipelinesQdrant Vector DBSemantic Code AnalysisAutomated FeedbackPandasNumPy
full-stack_&_web.module
$ ls ./fullstack[10 Loaded]

#Full-Stack & Web

Next.jsNuxt.jsReactVue.jsNode.jsNestJSFlaskREST & GraphQL APIsTailwind CSSMoodle Plugins
databases_&_storage.module
$ ls ./databases[7 Loaded]

#Databases & Storage

PostgreSQLMySQLMS SQL ServerMongoDBRedisNeo4jSQLite
cloud_&_infrastructure.module
$ ls ./infrastructure[8 Loaded]

#Cloud & Infrastructure

DockerKubernetesAWS IntegrationsLinuxnginxCI/CDGitPerformance Testing
edtech_&_research.module
$ ls ./edtech-research[6 Loaded]

#EdTech & Research

Automated AssessmentLearning AnalyticsLMS IntegrationGamification ServicesBibliometric AnalysisSource-Code Graph Reps

git log --stat --oneline

// CAREER_HISTORY_TREE

SHOWING: 6 OF 15 POSITIONS
commit 3bb2954HEAD -> current
2024-12Present

AI Specialist, Solutions Architect & Full-Stack Developer

Centro de Inovação Pedagógica, P.PORTOPorto, Portugal (Remote)Full-time

"Architects and delivers AI-powered educational products, institutional web platforms, learner portals, and Moodle plugins for P.PORTO and INOV-NORTE consortium."

  • Architected and delivered the HUB Digital platform supporting communities of practice, e-learning, gamification, and central CMS management across higher-education institutions.
  • Designed and built GamiBot, an AI-powered pedagogical agent integrated into Moodle combining conversational RAG, Qdrant vector database, and real-time gamification.
  • Developed the Academ_IA XP platform with responsive course catalogues, private learner dashboard, media viewing verification, attendance validation, and automated PDF certificates.
  • Built the CIP website and learner portal, PlurALL website, and supervised micro-portfolio and flashcards PWA products.
TypeScriptNext.jsNuxt.jsNode.jsPythonQdrantRAGMoodlePostgreSQLDocker
commit 426c86bHEAD -> current
2022-01Present

CEO, Solutions Architect & Full-Stack Developer

Kriol.IORemoteExecutive / Consultancy

"Leads a software consultancy studio providing custom web applications, API design, cloud services, SaaS integrations, and technical advisory for clients worldwide."

  • Owns technical decision-making from discovery and architecture design through deployment, optimization, and ongoing maintenance.
  • Delivers custom full-stack web applications, REST/GraphQL APIs, multi-tenant database systems, and CMS integrations for international clientele.
  • Provides technical consultancy on cloud migration, DevOps pipelines, application performance auditing, and system security.
TypeScriptNext.jsNode.jsPythonAWSDockerPostgreSQLGraphQL
commit 61a3706HEAD -> current
2021-08Present

Full-Stack Engineer / AI Specialist

ToptalRemoteFreelance

"Works with international client teams as a vetted full-stack engineer and AI specialist, delivering high-performance web applications and cloud integrations."

  • Combines hands-on development with architectural planning, codebase refactoring, automated testing, and performance optimization.
  • Integrates complex APIs, vector database search workflows, and real-time user features in collaboration with distributed engineering teams.
ReactNext.jsNode.jsPythonTypeScriptPostgreSQLDocker
commit 21e1b57
2021-012025-01

PhD Researcher in Computer Science

Faculty of Sciences, University of PortoPorto, PortugalDoctoral Research

"Completed PhD research titled 'Improving Feedback in the Automated Assessment of Programming Assignments Using Students' Past Solutions'."

  • Researched semantic graph representations of source code, AST parsing, program repair, and automatic feedback generation.
  • Authored 25+ peer-reviewed journal articles and conference papers in ACM TOCE, Electronics, Springer, and OASIcs.
  • Developed clustering algorithms for introductory programming submissions to deliver targeted repair feedback to students.
PythonJavaAST & Graph MiningAutomated FeedbackClusteringData Mining
commit 6df2b41
2019-022021-02

Research Assistant — FGPE

INESC TEC / CRACSPorto, PortugalResearch Contract

"Contributed to an Erasmus+ European project developing a web-based environment for gamified programming exercises."

  • Developed automatic evaluation components and gamification infrastructure microservices.
  • Participated in the development of the FGPE learning environment and authoring tools.
  • Published research papers on GEdIL, YAPExIL, and GraphQL gamification services.
JavaGraphQLGamificationTypeScriptREST APIsDocker
commit 4aee2ef
2016-042018-12

Research Assistant — FOUREYES-3

INESC TEC / CRACSPorto, PortugalResearch Contract

"Integrated diagram assessment, game-based assessment environments, and teacher analytics into the Enki learning platform."

  • Integrated diagrammatic evaluation, quiz engines, and resource recommendation modules into Enki.
  • Developed Asura, a game-based assessment environment for automated player-versus-player programming competitions in Mooshak.
  • Built teacher monitoring interfaces for real-time submission visualization and plagiarism detection.
JavaVue.jsMooshakAsura EngineWeb EditorsPlagiarism Detection

$ ls -la ~/projects

// SYSTEM_REPOSITORIES

SHOWING: 8 OF 12 REPOSITORIES

HUB Digital — INOV-NORTE

Production
// created: 2026-01details

Multi-tenant learning academy, communities of practice, and central CMS platform for higher-education consortium.

Next.jsMoodlePHPPostgreSQLDocker+1 more

GamiBot AI Assistant

Active
// created: 2025-12details

AI-powered conversational pedagogical agent for Moodle combining RAG, Qdrant vector DB, and real-time gamification.

PythonQdrantRAGLLMMoodle Plugin+1 more

FGPE — Gamified Programming Education

Production
// created: 2021-08details

International Erasmus+ ecosystem for gamified programming learning, featuring GraphQL Gamification Service, React PWA learning environment, and AuthorKit exercise builder.

TypeScriptReactNode.jsGraphQLNestJS+5 more

Academia Ageing in Place — Quiz

Production
// created: 2025-05details

Multi-platform, offline-first gamified quiz application (Tauri + React + Node.js) and admin dashboard promoting digital, financial, health, and domestic literacy for senior citizens.

TauriRustReactTypeScriptSQLite+7 more
// Private repo

Academ_IA XP Platform

Production
// created: 2024-10details

Gamified learning platform with course catalogues, video watch tracking, automated PDF certificates, and agenda.

TypeScriptNuxt.jsNode.jsPostgreSQLTailwind CSS+1 more

HandSpy Research Engine

Production
// created: 2023-06details

Psycho-physiological & linguistic research platform analyzing expressive writing markers and Google Drive workflows.

JavaAngular.jsPostgreSQLSpring BootGoogle Drive API+2 more

Distribuir Sorrisos Website

Production
// created: 2025-08details

Official web platform for Distribuir Sorrisos non-profit association, managing social initiative showcases, volunteer registration workflows, and community engagement.

Next.jsTypeScriptTailwind CSSPostgreSQLCMS

Mooshak 2 Assessment System

Active
// created: 2018details

Next-generation web-based competitive programming evaluation platform co-developed with Prof. José Paulo Leal, featuring WebSockets, sandbox execution, and distributed scoring.

JavaGWTWebSocketsAutomated AssessmentSandboxing+1 more

$ ls -la ~/publications

// RESEARCH_PUBLICATIONS_&_LOGS

SHOWING: 9 OF 37 PUBLICATIONS
drwxr-xr-x 2 paiva staff
2026-01-01Conference Paper

Bridging Generative AI and Gamification in Moodle: Design and Evaluation of GamiBot

OASIcs, Volume 145, ICPEC 2026

While Learning Management Systems (LMS) like Moodle are ubiquitous in higher education, they often lack dynamic, personalized academic support. We present GamiBot, an intelligent pedagogical agent natively integrated int...

GamificationEdTech+1
2026-01-01Software / Artifact

Gamibot

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Research publication by José Paiva, Ricardo Queirós published in Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026).

Generative AI
2025-02-01Journal Article

Incremental Repair Feedback on Automated Assessment of Programming Assignments

Electronics

Automated assessment tools for programming assignments have become increasingly popular in computing education. These tools offer a cost-effective and highly available way to provide timely and consistent feedback to stu...

Automated AssessmentGenerative AI+1
2024-05-01Journal Article

Clustering source code from automated assessment of programming assignments

International Journal of Data Science and Analytics

Abstract Clustering of source code is a technique that can help improve feedback in automated program assessment. Grouping code submissions that contain similar mistakes can, for instance, facilitate the identification o...

Automated AssessmentProgram Analysis
2024-01-01Journal Article

Comparing semantic graph representations of source code: The case of automatic feedback on programming assignments

Computer Science and Information Systems

Static source code analysis techniques are gaining relevance in automated assessment of programming assignments as they can provide less rigorous evaluation and more comprehensive and formative feedback. These techniques...

Program Analysis
2023-07-01Journal Article

FGPE+: The Mobile FGPE Environment and the Pareto-Optimized Gamified Programming Exercise Selection Model—An Empirical Evaluation

Computers

This paper is poised to inform educators, policy makers and software developers about the untapped potential of PWAs in creating engaging, effective, and personalized learning experiences in the field of programming educ...

GamificationEdTech
2023-05-01Journal Article

Bibliometric Analysis of Automated Assessment in Programming Education: A Deeper Insight into Feedback

Electronics

Learning to program requires diligent practice and creates room for discovery, trial and error, debugging, and concept mapping. Learners must walk this long road themselves, supported by appropriate and timely feedback....

Automated AssessmentProgram Analysis+1
2023-02-01Journal Article

GATUGU: Six Perspectives of Evaluation of Gamified Systems

Information

As gamification spreads to new areas, new applications are being developed and the interest in evaluating gamified systems continues to grow. To date, however, no one has comprehensively approached this topic: multiple e...

Gamification
2023-02-01Journal Article

PROGpedia: Collection of source-code submitted to introductory programming assignments

Data in Brief

Learning how to program is a difficult task. To acquire the required skills, novice programmers must solve a broad range of programming activities, always supported with timely, rich, and accurate feedback. Automated ass...

Program Analysis

$ ./contact.sh

// ESTABLISH_COMMUNICATION_LINK

comm_link.cfg
// Direct Endpoints
paiva@kriol.io
Porto, Portugal
// External Profiles
contact_form.sh
// Input Execution ParametersTLS / STARTTLS Encrypted
Calculate security challenge...