Perfil Técnico
DESARROLLADOR
Cuento con amplio conocimiento en el área de lógica computacional, lenguajes de programación, verificación de sistemas, administración y mantenimiento de equipo de cómputo. Tengo especial interés en áreas como desarrollo de software, seguridad informática y desarrollo web.
- C
- C++
- Java
- Haskell
- PHP
- Python
- JavaScript
- SQL
- HTML
- CSS
- UML
FRAMEWORKS
- Symfony
- JQuery
- JQueryUI
- Bootstrap
BASES DE DATOS
- MySQL
- PostrgreSQL
- SQLite
HERRAMIENTAS DE DESARROLLO
- Git
- Mercurial
- GNU Debugger
- NuSMV
- Alloy analyzer
- Prover9
- Mace4
- Maude system
- PlantUML
- Dia
REDES
- Wireshark
- Tcpdump
- Nmap
MANTENIMIENTO DE EQUIPO DE CÓMPUTO
- Diagnóstico
- Limpieza
- Reparación
- Respaldos
- Windows
- GNU/Linux
Experiencia laboral
Generador de Reportes
HIR Seguros
Participé en el diseño e implementación de un sistema para generar reportes que la empresa presenta a la Comisión de Seguros y Fianzas (CNSF). El sistema comprende lo relacionado al REPORTE REGULATORIO ESTADOS FINANCIEROS (RR-7) .
Tecnologías usadas:
- Apache
- PHP5
- MySQL
- JavaScript
- JQuery
Educación
Licenciatura en Ciencias de la Computación
Facultad de Ciencias, Universidad Nacional Autónoma de México
Bachillerato con Opción Técnica en Computación
Escuela Nacional Preparatoria, plantel 8 "Miguel E. Schulz"
1er. lugar en el Concurso Interpreparatoriano de Solución de Problemas y Programación
Intereses
- Tecnologías de la Información
- Ingeniería de software
- Desarrollo web
- Aplicaciones móviles
- Verificación de sistemas
- Algoritmos
- Seguridad informática