RESUME

Date:

02/18/2014

1. PERSONAL INFORMATION
Name: Ulises Martnez Araiza
Birthplace: Guadalajara, Jalisco, Mexico
E-mail: mx.ulises@gmail.com
Nationality: Mexican
Address: Juan Zubaran #2248, CP 44298
Residence city: Guadalajara, Jalisco
Phone: (33)38-23-2983
Cell phone: (044)331-310-1697
Profession: Student

2. EDUCATION
Degree
Institution
Computer
Science Universidad de Guadalajara (UDG
Engineering
CUCEI)
Computer Science Master Centro de Investigacin y de
Degree
Estudios Avanzados del
Instituto
Politcnico
Nacional (CINVESTAV)

Place
Guadalajara,
Mexico
Zapopan,
Mexico

Period
08/2006 12/2010
09/2012 08/2014

3. PROFESIONAL EXPERIENCE
Company
Independent
UDG - CUCEI
IBM
IBM

Area
Web
development
CUCEIs
Robotics Lab
Mexican
Software Lab
Mexican
Software Lab

Job
Activities
Web Developer Programming with PHP, Ajax and Flash
of several websites.
Research
Programming AI algorithms for Mobile
Assistant
Robotics applications.
App Developer App development in Perl and Java

Period
2007
Present
02/2009
02/2010
06/2010
07/2010
Aix
App App development in Perl, Korn Shell 02/2011 Developer
and C++. SNMP applications in AIX 02/2012
Unix.

3. RESEARCH WORK
Work name
Institution
Estudio
comparativo
de
la UDG CUCEI
eficiencia
computacional
del
estado del arte en los algoritmos
de planeacin de trayectorias para
navegacin robtica.
A CTL model repair method for CINVESTAV
Petri nets. (To be submitted)

Abstract
This work is about path planning
algorithms. I compare some of the
most popular techniques in the state of
the art, including Dijkstras, A* and D*
algorithms.
This work was my bachelor degree
thesis.
This work is about the application of
formal techniques to update and repair
models specified as Petri nets in an

Period
2011
-2012

2013
2014

Automatic correction of models CINVESTAV

with formal specification. (in
progress)

automated way to make them satisfy

certain formal specification using
temporal logic CTL.
This work will be submitted to WAC
2014 (www.wacong.org/WAC2014/).
With this work I want to propose ways 2013
to create and modify models to make Present
them
satisfy
certain
formal
specification, using may techniques as
liveness analysis, abstraction, model
checking, model repair, etc
Currently I developed a method to
repair Petri net models to satisfy a
specification in CTL (temporal logic).
This work will be my master degree
thesis.

4. TECHNOLOGY COMPETENCE:
PROGRAMMING
Level
Intermediate

Language
Java

Experience
12 months

PHP

60 months

Expert

C#

18 months

Intermediate

Perl

14 months

Advanced

Korn Shell
SNMP

12 months
12 months

Intermediate
Basic

Activities done to get the level

School courses, take courses and interactive
material and work in research laboratories.
I worked programming websites, reading
PHP books and reference manual.
School courses and reading C# books,
Thesis project made on C#.
I had a training at IBM. Working as Perl App
Developer for AIX OS.
Working as KSH App Developer for AIX OS.
Development of SNMP applications for AIX
OS.

5. LANGUAGES (%)
Spanish: 100%
English: 80%

6. COURSES
Institution
Proulex UDG
CGTI UDG
ADOBE
Systems Inc &
Mentez

Course
Basic Programing Diploma (Visual Basic .NET, Delphi
7, HTML and JavaScript)
C Programming Diploma
Adobe Flex and Facebook workshop

Place
Guadalajara,
Mexico
Guadalajara,
Mexico
Mexico City,
Mexico

Date
02/2006
07/2006
05/2008

7. OTHER
DOCUMENT
PASSPORT
VISA
INTERNATIONAL CREDIT
CARD
DRIVING LICENSE

Y/N
Y
Y
Y
Y