Portfólio
GitHub MSc Projects - RitaTMCO
{News soon}
MSc Projects
- Forensics Cyber-Security
- Cyberforensic Investigations
- File System Forensics
- Discovering Vulnerabilities in Python applications
- Race Conditions
- Buffer Overflows
- Format Strings
- Cross Site Scripting (XSS)
- Cross Site Request Forgery (CSRF)
- SQL Injection
- Proofs of location for smart cars (Future autonomous vehicles will need to support several cooperative services to achieve safety and security on real life scenarios. The vehicles will need to use not only their own sensors but share and use sensor data from others, achieving Collective Perception Services.)
- BFT Bank [BFTB] - (Development of a highly reliable banking system, with Byzantine fault-tolerant [BFT] guarantees, called BFT Banking [BFTB]. Enhance client and server implementations to make them resistant to Byzantine faults.)
- Perceptron
- Linear and Logistic Regression
- Neural Networks and Backpropagation
- PCA and Auto-Encoders
- Convolutional Neural Networks
- Recurrent Neural Networks
- Attention Mechanisms
- Word Embeddings and Large Pretrained Models
- Transducers
- Question Classification
- Development of a Multiagent System to solve a problem in the real world
- Extension of an imperative Language with nondeterministic choice and a new type of conditional guard
- Defining the Semantics of the extended language in two different ways
- Using Semantics to formally prove some relevant properties
- Development of a software tool to solve the Harvest Scheduling problem (Use of solvers for Satisfaction (SAT), Maximum Satisfiability (MaxSAT), Pseudo-Boolean Satisfiability (PBS), Pseudo-Boolean Optimization (PBO) and solvers for satisfaction modulus theories (SMT).)
- Development of a code to solve the Multi-Agent PathFinding (MAPF) problem as a constraint satisfaction problem (CSP). (MAPF finds a wide range of practical applications, which include robot routing, automated planning, network routing, GPS navigation, combinatorial problems [including puzzles], etc. multi-robot path planning, among other names.)
- Automatic Summarization Process
- Effective Feedback
- Jargon and technical language
GitHub BSc Projects - BugOrNotBug
{News soon}
BSc Projects
- Hello Quantum Técnico
- Hello Quantum
- Versão minimalista do jogo "Gorillas"
- Sistema de Reserva de salas
- Sistema de Gestão de contactos
- Solucionador de Puzzles Binários
- Sistema para gerir o acervo de uma Mediateca
- TecnicoFS - Sistema de ficheiros (File System, FS)
- Previsão de notas tendo em conta parâmetros condicionantes
- Cidade de Manhattan com COVID 19 - Sistema que permita aos cidadãos deslocar-se sem se cruzar com outro cidadão
- App de Serviço de Mobilidade Urbana - Graphical User Interface
- Seleção de Alvos com Rato - Fatores Humanos
- Escrita de Texto em Smartwatches - Técnicas de Escrita
- Sistema de Consultas Médicas em SQL
- Programação de Cena Simples e Interativa com Câmaras Fixas (Implementação de uma arquitetura de uma aplicação gráfica interativa e explorar os conceitos de modelação geométrica por instanciação de primitivas.)
- Programação de Cena Simples Interativa com Câmara Móvel e Colisões (Explorar o conceito de câmara virtual, diferenças entre câmara fixa e câmara móvel, entre projeção ortogonal e projeção perspetiva, utilização das técnicas básicas de animação e de deteção de colisões.)
- Programação de Cena Interativa com Malhas, Materiais e Luzes (Iluminação e os conceitos de material, fonte de luz direcional e fonte de luz spotlight. Modelação geométrica por instanciação de primitivas e criação de malhas de polígonos.)
- Programação de Cena Interativa com Luz Pontual, Mensagens e Texturas (Iluminação com o conceito de pointlight e aplicação de texturas. Programação para que seja possível reiniciar a cena [reset] sem ser necessário recarregar a aplicação [i.e., sem fazer o refresh da página].)
- Ricochet Robots
- Árvores de Decisão
- Hierarquia de Memória
- Profiling
- Instruction Level Parallelism
- Arquitetura Lógica
- Execução de Programas
- Caches
- Memória Virtual
- Pipeline
- Sistemas Embebidos
- RC Two-Factor Authentication (The objective of this project was to develop a prototype of a file server whose access is protected by a two-factor authentication mechanism [2FA], complementing the use of the traditional password with a code sent to a personal device.)
- Esquema de desenvolvimento de um Satélite usando ArchiMate e Universo do Discurso
- Desenvolvimento de um Compilador para uma Linguagem de Programação
- Desenvolvimento em equipa de uma plataforma utilizando as normas do GitHub
- Desenvolvimento de um sistema Bicloin (neologismo que resulta da combinação das palavras "Bicla" com coin) para a gestão de uma plataforma de partilha de bicicletas em ambiente urbano
- Variante da Máquina de Turing