Carlo Corrales Delgado

Camino al grado académico de Doctor (PhD)

Currículum Vitae

Personal Data: 

NAME: ARLO JOSÉ LUIS CORRALES DELGADO

PROFESSION: MASTER IN INFORMATION SYSTEMS ENGINEERING

                                                with mention in COMPUTER SCIENCE

ACTUAL ADDRESS: Av. Païssos Catalans 28-B, 2ⁿ 1^a, St Pere i St Pau, Tarragona, 43007, Spain

PERMANENT ADDRESS: Coop. Lambramani H-2 José L. Bustamante y Rivero. Arequipa, Peru

DATE OF BIRTH: MAY 06, 1972                  AGE: 35 years old

PERSONAL DOCUMENT DNI: 29600028   2nd PERSONAL DOCUMENT LM: 3000392724

NIE (in Spain):  X 6540842 X                          STATUS: Married

TELEPHONES: Spain: (34) 977-204414, Peru: (51-54) 422024 – (51-54) 346391

MOBILE: (34) 630520930

PROFESSIONAL SCHOOL NUMBER: C.I.P. 46967

RUC NUMBER: 10296000286                         PASSPORT NUMBER: 3105863

EMAILS:    carlocodelyahoo.com, carlocorraleshotmail.com, carlocorralesgmail.com

Univ. EMAILS: ccorraleucsm.edu.pe,  ccorralesunsa.edu.pe,  carlo.corralesestudiants.urv.cat

You are the visitor number: .  Thanks for your visit.

PhD School:

PhD Student  from  RESEARCH GROUP IN MATHEMATICAL LINGUISTICS.

Topic: Formal Languages and its Applications.

Duration: March 2005 to December 2006

PhD Student  from THE TRANSPORT PHENOMENA RESEARCH GROUP (FET) .

Topic: Chemical Computational and Applications.

Duration: March 2007 to May 2010 (actual studies)

 

Research Work:

Fellow from UNITED NATIONS UNIVERSITY - INTERNATIONAL INSTITUTE FOR SOFTWARE TECHNOLOGY.

Research Topic: Model-based Testing: Mutation Testing for Formal Specifications in Concurrent Systems.

Duration: January to October 2004

Topics on my interest:

 Formal Languages  Optimized Animal Testing Strategies on Chemicals

 Information Retrieval                         DNA Computing

 Software Testing                                Fault Tolerance

 Data Structures      Programming Languages, Virtual Reality and 3D Games

 

University Studies:

1. POST GRADUATED STUDIES - MASTER LEVEL: MASTER IN SYSTEMS ENGINEERING with mention in COMPUTER SCIENCE.

 SANTA MARIA CATHOLIC UNIVERSITY OF AREQUIPA, PERU. Duration: 1997 - 1999

2. GRADUATED STUDIES - PROFESSIONAL LEVEL:  BACHELOR DEGREE and SYSTEMS ENGINEER DEGREE

 SANTA MARIA CATHOLIC UNIVERSITY OF AREQUIPA, PERU. Duration: 1989 – 1993.

Peruvian Engineers Professional Association  Num. 46967

3. STUDIES - PROFESSIONAL LEVEL:  GRADUATED IN EDUCATIONAL ABILITIES

VIRTUAL UNIVERSITY OF TECHNOLOGICAL STUDIES FROM MONTERREY MEXICO.  Duration: 2000-2001

4. SECOND SPECIALTY CERTIFICATION:  GRADUATED OF DEVELOPMENT TOOLS IN WINDOWS 2000

 SAN AGUSTIN PUBLIC UNIVERSITY OF AREQUIPA, PERU– INSTITUTE OF COMPUTING.  Year: 2002 

Basic School and College:

1. ELEMENTARY STUDIES SCHOOL:

Duration: 1978 – 1980: C.E. Preseminario Santa María.   Ranking: First from 40.

Duration: 1981 – 1983: C.E.P. Internacional Arequipa:   Ranking: Second from 50.

2. SECONDARY SCHOOL:

Duration: 1984 – 1988: C.E.P. Internacional Arequipa:   Ranking: Third from 150.

ACADEMIC AND UNIVERSITY FORMATION

Courses in Bachelor Degree

Basic Mathematics, Economy, Technical Reports Redaction, Chemistry, Technical English I, Calculus I, Physics I, Introduction to Computing I, Technical English II, History of Programming, Calculus II, Physics II, Introduction to Programming II, Cobol Programming, Organization and Management, Probability Calculus, Discrete Mathematics I, Programming Laboratory I, Languages and Structure Programming, Pascal Programming, Statistics, Electric Circuits, Discrete Mathematics II, Programming Laboratory II, Data Structures, Computer Electronic, Lineal Algebra, Operative Systems, Computer Architecture, Research Methodology, MicroComputers, Operative Investigation I, Basic Algorithms, Accounting, Systems Programming, Operative Investigation II, Systems Analysis and Design, Numeric Methods for Computing, General and Financial Accounting, National Problematic, Systems Simulation, Data Communication and NetWare’s, Mathematic Programming Laboratory, Data Base Systems, Business Economy, Introduction to Compilers, Information Systems, Introduction to Computer Center Management, Projects Formulation and Evaluation, Introduction to Artificial Intelligence, Project

 

Courses in Master Degree

Algorithms Analysis and Design, Computing Architecture, Information Systems, Visual Programming, Software Engineering, Operative Systems, Modeling and System Simulations, University Teaching, Data Bases, Data Communication and NetWare’s, Thesis Projects Formulation, Objects Technology, Business Systems Management, Distributed Systems, Thesis Project Development, Neural NetWares

 

Courses in PhD Degree

1^st Semester:

Discrete Mathematics - Prerequisites 

Languages - Zoltán Ésik (Rovira i Virgili University)

Combinatorics on Words - Tero Harju (University of Turku)

Varieties of Formal Languages - Jean-Éric Pin (CNRS and University of Paris)

Regular Grammars - Masami Ito (Kyoto Sangyo University)

Context-Free Grammars - Manfred Kudlek (University of Hamburg)

Infinite Words - Juhani Karhumäki (University of Turku)

Mildly Context-Sensitive Grammars - Henning Bordihn (University of Potsdam)

Finite Automata - Sheng Yu (University of Western Ontario)

Pushdown Automata - Hendrik Jan Hoogeboom (Leiden University)

Turing Machines - Holger Petersen (University of Stuttgart) 

Computational Complexity - Markus Holzer (Technical University of Munich)

Patterns - Kai Salomaa (Queen’s University)

Descriptional Complexity of Automata and Grammars - Detlef Wotschke (University of Frankfurt)

Automata and Logic - Franz Baader (Technical University of Dresden)

Decision Problems of Rational Relations - Christian Choffrut (CNRS and University of Paris 7)

Two-Dimensional Languages - Kenichi Morita (Hiroshima University)

Grammars with Regulated Rewriting - Jürgen Dassow (University of Magdeburg)

Grammar Systems - Erzsébet Csuhaj-Varjú (Hungarian Academy of Sciences)

Parallel Grammars - Henning Fernau (University of Tübingen)

Context-Sensitive Grammars - Victor Mitrana (Rovira i Virgili University)

Tree Automata and Tree Languages - Magnus Steinby (University of Turku)

Tree Transducers - Zoltán Fülöp (University of Szeged)

Formal Languages and Concurrent Systems - Jetty Kleijn (Leiden University)

Graph Grammars and Graph Transformation - Hans-Jörg Kreowski (University of Bremen)

Petri Net Theory and Its Applications - Hsu-Chun Yen (National Taiwan University)

Tree Adjoining Grammars - James Rogers (Earlham College)

Restarting Automata - Friedrich Otto (University of Kassel)

Contextual Grammars - Carlos Martín-Vide (Rovira i Virgili University)

2^nd Semester:

Fuzzy Formal Languages - Claudio Moraga (University of Dortmund – Germany)

Weighted Automata - Manfred Droste (Leipzig University - Germany)

Context-Free Grammar Parsing - Giorgio Satta (University of Padua - Italy)

Unification Grammars - Shuly Wintner (University of Haifa - Israel)

Natural Language Processing with Symbolic Neural Networks - Risto Miikkulainen (Austin TX)

Parameterized Complexity – Jorg Flum (University of Freiburg – Germany)

DNA Computing: Theory and Experiments - Mitsunori Ogihara (Rochester NY)

Topics in Asynchronous Circuit Theory - John Brzozowski (University of Waterloo – Canada)

Formal Power Series - Werner Kuich (University of Vienna - Austria)

Biomolecular Nanotechnology – Max Garzon (University of Memphis – USA)

Grammar-Theoretic Models in Artificial Life - Jozef Kelemen (University of Opava)

Weighted Finite State Transducers - Mehryar Mohri  (AT&T Labs and Google - USA)

String Complexity - Lucian Ilie (University of Western Ontaro - Canada)

Splicing Systems - Paola Bonizzoni, Chennai

Mathematical Foundations of Learning Theory - Satoshi Kobayashi, Tokyo

Probabilistic Parsing – Mark Jan Nederhof, Groningen

Cellular Automata - Martin Kutrib, Milan

Categorial Grammars - Michael Moortgat, Utrecht

Finite State Technology for linguistic Applications - Andre Kempe

Cryptography - Valtteri Niemi, Helsinki

Automata-Theoretic Techniques for Verification and Other Decision Problems - Oscar Ibarra, Santa Barbara CA

Grammatical Inference - Colin de la Higuera, Saint-´Etienne

Quantum Automata - Jozef Gruska, Brno

Text Retrieval: Foundations - Maxime Crochemore, Marne-la-Vall´ee

Text Retrieval: Applications - Ricardo Baeza Yates, Santiago de Chile

Data Compression - Wojciech Rytter

Image Compression - Jarkko Kari, Turku

Aqueous Computing - Tom Head, Binghamton NY

Stochastic Learning Automata - John Oommen, Ottawa ON

Mathematical Evolutionary Genomics - David Sankoff, Ottawa ON

Formal Languages and Logic - Vincenzo Manca, Verona

Codes - Fernando Guzman, Binghamton NY

Syntactic Methods in Pattern Recognition - Rudolf Freund, Viena

 

POSTGRADUATE EVENTS: Courses, Symposiums and the like (min. 20 hrs)

As a Participant:

1. The International Institute for Software Technology of the United Nations University and San Pablo Catholic UniversityArequipa, Peru. Summer School:  Advanced Techniques in Software Development. 

Course: Metrics and Software Quality

Course: Model Checking

Course: Testing

Course: Model Process experience for Mexican Software Industry

Course: Software Development with UML.

Course: Formal Software Development using RAISE Specification Language

         Duration: 19 February – 09 March, 2007.

2. The International Institute for Software Technology of the United Nations University, the Brazilian Computer Society (SBC) , the University of York, and the Centre for Informatics of the Federal University of Pernambuco (CIn-UFPE). Pernambuco Summer School on Software Engineering: Refinement 2004. 
Recife, Brasil:

Course: Refinement: Unifying theories of programming, Concurrency: CSP + FDR

Course: Refinement in object oriented development: sequential Java

Course: Probability in the context of WP

Course: Real Time and fault tolerant systems: specification, verification, refinement and schedulability

Course: Refinement tools: focus on industrial experience, Model checking.

Course: object orientation.

Apart from languages and techniques, the courses also covered the semantic underpinnings of refinement, and industrial applications and refinement tools.  The school took place in collaboration with the Brazilian Symposium on Formal Methods (SBMF 2004),
Duration: 23 November – 5 December, 2004.

3. The United Nations University UNU-IIST, International Institute for Software Technology. Universidad del Comahue, Departamento de Ciencias de la Computación. Escuela de Verano para Latinoamérica: “Desarrollo de Software Basado en componentes”. Neuquén Argentina:

Course: “Semantics and Specification of Components”. Date: March 3 to 7 ,2003.

Course: “Lenguajes de Descripción de interfaces”. Date: March 3 to 7, 2003.

Course: “Desarrollo Basado en componentes”. Date: February 24 to 28, 2003.

Course: “Arquitecturas de Software y Lenguajes de Descripción de Arquitecturas”. Date: February 24 to 28,l 2003. .

Course: “Gestión de Proyectos de Software Basados en Componentes”. Date: March 10 to 14 , 2003.

Course: “Testing de Aplicaciones Basadas en Componentes”. Date: March 10 to 14, 2003.

Course: “Desarrollo con Patrones”. Date: March 17 to 21, 2003.

Course: “Soporte Java para Desarrollo de Aplicaciones Distribuidas”. Date: March 17 to 21 2003.

Date: February to March, 2003. Duration: 15 Hours each one: Total 120 Hours

4. San Agustín University GRADUATED IN DEVELOPMENT TOOLS FOR MS WINDOWS 2000. Arequipa, Perú

Course: “Implementación de Soluciones de Alto Rendimiento en Access 2002”

Course: “Fundamentes de la Programación en Visual Basic 6.0”

Course: “Desarrollo de Componentes y Control de Bases de Datos en Visual Basic 6.0”

Course: “Programación de Aplicaciones Empresariales (Cliente Servidor) en Visual Basic 6.0”

Course: “Implementación de Web con Visual InterDev”

Course: “Desarrollo de Aplicaciones .NET”

Date: August to December 2002. Duration: 40 Hours each one: Total 240 Hours

5. Virtual University - Technological and High Studies from Monterrey – México.  UPDATED PROGRAM ABOUT EDUCATIONAL ABILITIES:

Course: “Técnicas y modelos de calidad en el salón de clases”

Course: “Planeación y Diseño de un Curso”

Course: “La Función del profesor como asesor”

Course: “Técnicas de integración grupal”

Course: “Asertividad y escucha activa en el ámbito académico”

Course: “El desarrollo del alumno”

Course: “Pensamiento crítico y creatividad”

Course: “Aprendiendo a aprender”

Course: “Evaluación del Aprendizaje”

Course: “Educando para los valores”

Course: “La tecnología y el sentido de los medios en la enseñanza y en el aprendizaje”.

Date: March 2000 to April 2001. Duration: 220 Hours (Via Video conference)

6. Catholic “Santa María” University Post-Graduate Course. "Platform AS-400". Date: March 2000. Value: 2 Credits. Duration: 32 hours.

7. Catholic “Santa María” University Post-Graduate Course. "Auditoria de Sistemas". Date: December 1998 and January 1999. Value: 3 Credits. Duration. 36 hours.

8. Microsoft Corporation Authorized Technical Education Center – Telematic. Course: Ms Official Curriculum Course: 750 Implementing a Data Base on Ms SQL Server 6.5. Date: December 1998. Duration: 40 hours.

9. Catholic “Santa María” University Post-Graduate Course: "Sistemas Operativos" Date: January 1997 Value: 3.5 Credits. Duration: 42 academic hours.

10. Catholic “Santa María” University. Post-Graduate Course: "Evaluación y Confección de silabus" Date: January 1997. Value: 1.5 Credits. Duration: 20 academic hours.

11. Catholic “Santa María” University Post-Graduate Course: "Pedagogía, Aprendizaje y Relaciones Públicas" Date: January 1997. Value: 1.5 Credits Duration: 20 academic hours.

SCIENTIFIC EVENTS: Congresses:

As a Participant:

1. 13th International Symposium on String Processing and Information Retrieval  (SPIRE06) and University of Strathclyde, Glasgow, United Kingdom.  Main Conferences of Information Retrieval, Web clustering and Text categorization, Web search algorithms, Data Compression, BioInformatics.  Date: 10 – 13 October 2006.

2. Computing Engineering Department and Mathematics, Rovira i Virgili University.  3rd International Conference on Modeling Decisions for Artificial Intelligence (MDAI-2006), Tarragona, Spain . Date: 3 -5 April 2006. 

3. The European Joint Conferences on Theory and Practice of Software (ETAPS) and Vienna University of Technology.  Main Conferences: FASE 2006: Fundamental Approaches to Software Engineering, TACAS 2006: Tools and Algoritms for the Construction and Analysis of Systems, FOSSACS 2006: Foundations of Software Science and Computation Structures, CC 2006: Compiler Construction, ESOP 2006: European Symposium on Programming. . Vienna, Austria , Date: March 25 -- April 2, 2006

4. United Nations University – International Institute for Software Technology. International Colloquium on Theoretical Aspects of Computing (ICTAC2004) . Guiyang, China . Date: 20 - 24 September 2004.

5. Peking University and United Nations University – International Institute for Software Technology. 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM2004) Beijing – China . Date: 26 - 30 September, 2004

6. San Agustín University. Congreso Latinoamericano de Sistemas, Informática, Telemática, Electrónica y Computación. CLASITEC 2002, Arequipa, Peru . Date: July 7 to 12, 2002. Duration: 36 academic hours.

7. San Agustín University “ V CISAISI Congreso Internacional SudAmericano de Ingeniería de Sistemas e Informática”, Arequipa, Perú  Date: October 2001 Duration: 6 days

8. Tecsup: “VI Congreso Internacional de Ingeniería de Sistemas TECNOSUR 2001” Arequipa, Perú Date: March 2001 Duration: 6 days

9. Business Administration Qualification School - InfoSur 92 “4to. Congreso Regional del Sur de Computación e Informática.” Qosco. Perú  . Date: December 1992 Duration: 50 Academic hours

As an Organizer:

10. United Nations University – International Institute for Software Technology. International Colloquium on Theoretical Aspects of Computing (ICTAC2004) . Guiyang, China. Date: 20 - 24 September 2004.

11. Peking University and United Nations University – International Institute for Software Technology. 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM2004) Beijing – China  . Date: 26 - 30 September, 2004

12. San Agustín University. Congreso Latinoamericano de Sistemas, Informática, Telemática, Electrónica y Computación. CLASITEC 2002. Arequipa, Perú  Date: July 7 to 12, 2002. Duration: 6 academic days

13. San Agustín University “V CISAISI Congreso Internacional SudAmericano de Ingeniería de Sistemas e Informática”, Arequipa, Perú  Date: October 2001. Duration: 6 days

 

 

                                                                                                                                       ….continue

Download My CV:     (English version PS), (Versión en Español PS),

                                (English versionPDF),  (Versión en Español PDF)