Efraim Zalmoxis de Almeida Machado

Efraim Machado é mestre em Ciência da Computação pela Universidade Federal da Bahia, com sua pesquisa voltada para a construção e evolução de arquiteturas de software corretas. Durante sua graduação, Foi bolsista de Iniciação Científica, participando do projeto "Desenvolvimento de um algoritmo para descoberta de Serviços Web Semânticos considerando propriedades temporais", onde trabalhou com Verificação Formal juntamente com Composições de Serviços Web Semânticos. Também participou de projetos de de extensão de ensino de programação para alunos da rede pública. Atualmente trabalha na Empresa Baiana de Águas e Saneamento (EMBASA), onde trabalha em arquiteturas orientadas a microsserviços. Anteriormente trabalhou no FPC, Fraunhofer Project Center (parceria UFBA - Instituto Fraunhofer), onde participa da remodelagem do sistema informatizado do Sistema Nacional de Transplantes (Ministério da Saúde) e na equipe de arquitetura do projeto RESCUER, que é um projeto internacional para criação de uma solução informatizada para gerenciamento de situações de emergência . Suas principais áreas de interesse são: Verificação formal, engenharia de software, arquitetura de software, representação do conhecimento, Inteligência artificial e serviços web.

Efraim Zalmoxis de almeida Machado is Master's degree in Computer Science from the Federal University of Bahia, his research focused on the construction and development of correct software architectures. During his graduation, he was a fellow of Scientific Initiation, participating in the project "Development of an algorithm for Semantic Web Service discovery considering temporal properties", where he worked with Formal Verification with Web Services compositions Semantics. Also participated in programming educational outreach projects for public school students. Currently working in the FPC, Fraunhofer Project Center (UFBA partnership - Fraunhofer Institute), which participates in the remodeling of the computerized system of the National Transplant System (Ministry of Health) and Rescuer Project architecture team, which is an international project to create a computerized solution for managing emergency situations. His main areas of interest are: formal verification, software engineering, software architecture, knowledge representation, artificial intelligence and web services.