|
Carlo Corrales Delgado |
|
Camino al grado académico de Doctor (PhD) |
|
Currículum Vitae (continuación) |
|
SCIENTIFIC EVENTS: Seminaries, Symposiums and the like: As a Participant: Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Pattern Recognition Approaches to Machine Translation. XXI Tarragona Seminar on Formal Syntax and Semantics. Date: June 20 – 24, 2005. Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Remco Loos: Non-Preserving Splicing April 11, 2005 Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Gabriela Martin: An extension of temporal logic applied to string languages. April 22, 2005. Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Tsetsegkhand Namsrai. April 29, 2005. Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Anthonath Roslin Sagaya Mary: 2D and 2D Pictural Networks of Evolutionary Processors. May 6, 2005 Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Madalina Barbaiani: Representation Formalisms for Information Extraction from Web Pages. May 30, 2005. Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Leonor Becerra Bonache: Learning DFAs from Corrections. June 3,2005. Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. SEMANTIC TYPES AND COMPUTER SCIENCE APPLICATIONS OF SEMIGROUPS (XXII Tarragona Seminar on Formal Syntax and Semantics, FS&S) , Vladimir Borschev (Russian Academy of Sciences and University of Massachusetts Amherst), Barbara Partee (University of Massachusetts Amherst), Dragos Vaida (University of Bucharest), April 11-15, 2005 Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Cristina Bibire: Characterization of state merging strategies which ensure identification in the limit from complete data (II). June 17, 2005. Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Guangwu Liu: Transformations Induced by Transducers PDF. April 7, 2005. Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Peter Leupold: Evolution and Observation. March 29, 2005. Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Cristina Bibire: Attempts to extend correction queries. October 31, 2005. Rovira I Virgili University. GRLMC Research Group on Mathematical Linguistics. Cristina Bibire: Characterization of state merging strategies which ensure identification in the limit from complete data (II). June 17, 2005 United Nations University – International Institute for Software Technology. Reverse engineer XML database into a conceptual model of Document Type definition Graph. Dr. Joseph Fong. University of Hong Kong. Date: October 11, 2004 United Nations University – International Institute for Software Technology. UML: Promises, problems and solutions: Consistency and refinement of UML models. Dr. Zhiming Liu – Professor on Leave from University of Leicester, England. Date: October 8, 2004 United Nations University – International Institute for Software Technology. Testing and diagnosis of Software Design specifications. Dr. Eric Wong. Department of Computer Science, University of Texas at Dallas. Date: October 4, 2004 United Nations University – International Institute for Software Technology. A formal model for JavaBeans. Bhim P. Upadhyaya, UNU/IIST Fellow from Nepal. Date: September 17, 2004 United Nations University – International Institute for Software Technology. Introduction to Model Checking. Dr. Dang Van Hung. UNU/IIST. On leave from Institute of Information Technology, Nghia Do, Cau Giay, Hanoi, Vietnam. Date: September 14 to 16, 2004 United Nations University – International Institute for Software Technology. Travelling Process. M.Sc. Xinbei Tang and Jim Woodcock. Computing Laboratory. University of Kent. United Kingdom. Date: September 13, 2004 United Nations University – International Institute for Software Technology. Formal software specification and development using RAISE. Dr. Prof. Chris George. Director of the United Nations University – International Institute for Software Technology. Date: September 6 to 10, 2004 United Nations University – International Institute for Software Technology. UTP approach to link Refinement and Simulation. Dr. Prof. He Jifeng. Oxford University Computing Laboratory, Programming Research Group, East China Normal University and Shanghai Jiao Tong University. Date: August 6, 2004 United Nations University – International Institute for Software Technology. Reconciling the “should-be” and the “can-be” in undergraduate Curricula. Dr. Saleem Zoughbi University of Bethlehem, Palestine. Date: August 3, 2004 United Nations University – International Institute for Software Technology. Algorithms for weighted constraint satisfaction problems. Dr. Prof. Javier Larrosa. Departament de Lenguatges i Sistemes Informatics. Universitat Politecnica de Catalunya (UPC),Barcelona, Spain. Date: July 13, 2004 United Nations University – International Institute for Software Technology. Honesty, Trust, and Rational Communication in Multiagent Semi-competitive Environments. Dr. Prof. Ho-Fung Leung. Department of Computer Science and Engineering. The Chinese University of Hong Kong. Date: July 13, 2004 United Nations University – International Institute for Software Technology. Modelling an automated system that manages the mapping and splitting of parallel databases for better efficiency of access of distributed systems. Dr. Saleem Zoughbi University of Bethlehem, Palestine. Date: July 9, 2004 United Nations University – International Institute for Software Technology. Proving safety of authentication protocols: a minimal approach. Dr. Prof. Chris George. Director of the United Nations University – International Institute for Software Technology. Date: July 2, 2004 United Nations University – International Institute for Software Technology. Computer Science Curriculum Design for Developing Countries: a Peruvian Case Study. M.Sc. Elizabeth Vidal Duarte, San Pablo University. Arequipa, Peru. Date: June 25, 2004 United Nations University – International Institute for Software Technology. Order, topology and recursion induction in CSP. Dr. Prof. Mike Reed – Oxford University – UK. Date: June 24, 2004 United Nations University – International Institute for Software Technology. Verifying Real-time Systems Using Standard Model Checking Tools. M.Sc. Kim Yong Chun – Korea. Date: June 18, 2004 United Nations University – International Institute for Software Technology. An UTP Approach to Semantics for Component-Based Real-Time Systems. M.Sc. Kim Pyong Sam – Korea. Date: June 17, 2004 United Nations University – International Institute for Software Technology. Replicate Relational and XML databases for internet computing. Dr. Joshep Fon. Hong Kong University. Date: June 14, 2004 United Nations University – International Institute for Software Technology. Formal Software Specification. Dr. Prof. Yifeng Chen – University of Leicester, England. Date: June 8 - 16, 2004 United Nations University – International Institute for Software Technology. Integrating temporal logics. Dr. Prof. Yifeng Chen – University of Leicester, England. Date: June 4, 2004 United Nations University – International Institute for Software Technology. Specifying a Mobile Computing Application Environment Using RSL. M.Sc. Satyajit Acharya , India. Date: May 28, 2004 United Nations University – International Institute for Software Technology. How to write a technical paper. Dr. Prof. Chris George. Director of the United Nations University – International Institute for Software Technology. Date: May 21, 2004 United Nations University – International Institute for Software Technology. How to give a good research talk. Dr. Prof. Chris George. Director of the United Nations University – International Institute for Software Technology. Date: May 14, 2004 United Nations University – International Institute for Software Technology. PERL Applications. Dr. Prof. Chris George. Director of the United Nations University – International Institute for Software Technology. Date: May 10, 2004 United Nations University – International Institute for Software Technology. Flexibo Online Programming Environment and Language Design. Dr. Prof. Yifeng Chen – University of Leicester, England. Date: May 7, 2004 United Nations University – International Institute for Software Technology. OCL advanced characteristics . M. Sc. Elizabeth Vidal, San Pablo University. Arequipa, Peru. Date: April 30, 2004 United Nations University – International Institute for Software Technology. OOL and COOL- The Object-Oriented Language and Its Calculus for Software Development. Dr. Prof. He Jifeng. Oxford University Computing Laboratory, Programming Research Group, East China Normal University and Shanghai Jiao Tong University. Date: March 30 - 31, 2004 United Nations University – International Institute for Software Technology. A Case Study: Formal Specification of CORBA. M. Sc. Long Quan – Pekin University. Date: March 30, 2004 United Nations University – International Institute for Software Technology. Linking a UML Design Model and a UML Requirement Model. M.Sc. Liu Jing- Pekin University. Date: March 29, 2004 United Nations University – International Institute for Software Technology. Prototype Generation from UML Requirement Analysis Models. M.Sc. Li Xiaoshan – Pekin University . Date: March 18, 2004 United Nations University – International Institute for Software Technology. Formal Support to UML-based Software Development. Motivation and Ideas on Formal Use of UML and on Formal Specification of UML Requirement Model. Dr. Zhiming Liu – Professor on Leave from University of Leicester, England. Date: March 18, 2004 United Nations University – International Institute for Software Technology. Requirements for a Software Development Facility for a Research Center – A preliminary Investigation. Dr. Prof. Matthew O. Adigun - Department of Computer Science, University of Zululand, Kwadlangezwa Republic of South Africa. Date: March 17, 2004 United Nations University – International Institute for Software Technology. The OCL. M.Sc. Percy Pari, San Pablo Catholic University, Arequipa, Peru. Date: March 12, 2004 United Nations University – International Institute for Software Technology. Software Infrastructure for E-Commerce and E-Business- A research Outlook. Dr. Prof. Matthew O. Adigun - Department of Computer Science, University of Zululand, Kwadlangezwa Republic of South Africa. Date: March 10, 2004 United Nations University – International Institute for Software Technology. On Checking Linear Duration Invariant for Timed Automata. M.Sc. Pham Hong Thai - UNU-SSIT Fellow, Vietnam. Date: February 27, 2004 United Nations University – International Institute for Software Technology. The Java Beans. Bhim Prasad Upadhyaya - UNU-IIST Fellow, Nepal. Date: February 9, 2004 United Nations University – International Institute for Software Technology. A joint project in the area of software testing and a talk about his recent research. Dr. Prof. T.Y. Chen - Swinburne Univ. of Technology, Australia. Date: January 29, 2004 United Nations University – International Institute for Software Technology. The Politics of Technology - A Case study: The Middle East. Expositor: Dr. Saleem Zoughbi University of Bethlehem, Palestine. Date: January 16, 2004 United Nations University - U.N.S.A – U.C.S.M. and U.C.S.P. International Course: Formal Methods in Software Development Date: August 11 to 22, 2003. Duration: 70 academic hours Universite d’ Orleáns – France Universite d’ Orleáns – France and San Agustin University. International Intensive Course about Software Engineering. Date: December 9 to 13, 2002. Duration: 25 academic hours Catholic “Santa María” University. Qualification Course “Apuntes para una Pedagogía Marianista”. Date March, 1 to 9 2001. Value: 1 Study Credit. Duration: 10 Academic Hours. San Agustin University. Programming Course Visual C++ 6.0: Second Specialty Computer Science Engineering. Date: February 12 to 23 2001 Duration: 32 Academic Hours. Catholic “Santa María” University. Course “Fortalezas y Debilidades en el desempeño académico de los Programas Profesionales durante el año 2000 y temas de la especialidad”. Date: January, 3 to 12 2001. Value: 1 Study Credit. Duration: 12 academic hours. Catholic “Santa María” University. Seminary: “Metodología de la investigación científica” Date: December 18 to 20 2000. Duration: 15 academic hours. Catholic “Santa María” University. Course “Paquete de Simulación: Arena”. Date: March 13 to 20, 2000. Duration: 20 academic hours. IBM from Peru. Seminary about Linux. Date: July 2000 Duration: 4 academic hours San Agustín University. Course Visual Fox: Institute of Computer Science from San Agustin University. Date: January 11 to February 5, 1999 Duration: 40 hours. Qualification: Very Good (18/20) San Agustín University. Course Construcción de Paginas WEB: Institute of Computer Science from San Agustin University. Date: March 09 to April 03, 1998. Duration 40 hours Qualification: (16/20) South Institute. Course of Programming Language "Borland Delphi 3.0". Date: February 17 to March 13 , 1998 Duration: 50 hours. Qualification: Good. Catholic “Santa María” University – Educative Technology Office. Course: "Estructuración Del Silabo" Date: March 16 to 20, 1998 Value: 0.5 credits. Duration: 6 academic hours South Institute Course of Programming Language " Visual Basic 4.0". Date: January 13 to de February 6 , 1997 Duration: 50 hours. Qualification: Very Good. Catholic “Santa María” University - Educative Technology Office. Course: "Capacitación Docente en temas de la Especialidad y en Ciencia y Tecnología" Date: March 10 to 21, 1997 Value: 1.5 credits. Duration: 18 academic hours Catholic “Santa María” University IV Jornada Internacional de Ingeniería de Sistemas U.C.S.M. Date: December 2 to 4, 1996 Duration: 15 hours Supervisor Organism of Private Investment in Telecommunications OSIPTEL. Seminary "El Desarrollo de las Telecomunicaciones en el Perú: La Experiencia Reguladora" Date: November 18 and 19 , 1996. Duration: 2 Days Mercator Foundation. Seminary: "Dirección en Proyectos de Sistemas" Date: November 20 to 23, 1996 Duration: 4 Days Peruvian Voluntary Fireman Org. Course: "Bombero I -Escuela del Bombero 95/96" Date: November 6, 1995 to July 5, 1996. Duration: 106 theory practice hours Catholic “Santa María” University Course "Sistema 0S/400 de IBM" UCSM.Date: April 17 to May 5, 1996 Duration: 30 hours South Institute. Course: Operative System "UNIX" Date: January 9 to February 1 , 1995 Duration: 24 Days American Technique for Study of Peru. Technical Program about Integral and Selecting Reading and Understanding. Date: November 7, 1995 Reading Velocity: 2000 words per minute. Comprehension: 100% Duration: 8 months Peruvian Engineers Professional Association. Course: "Instalación y Administración de Redes Novell" Date: February 21 to March 8, 1995 Duration: 25 academic hours Peruvian Engineers Professional Association. Course: "Reparación, Ensamblaje y Mantenimiento de Computadoras" Date: December 12 to January 9, 1995 Duration 45 academic hours. Catholic “Santa María” University. II Jornada Internacional de Ingeniería de Sistemas UCSM.Date: November 14 to 16, 1994 Duration: 3 Days Altiplano National University I Seminario Internacional de Informática U.N.A. Puno Perú. Date: 3 to 6 November 1993 Duration : 4 Days Catholic “Santa María” University. Course "Modelamiento de Datos en Sistemas" U.C.S.M. Date: 23 August to 3 September 1993 Duration: 20 hours Catholic “Santa María” University. I Jornada Internacional de Ingeniería de Sistemas UCSM.Date: October 28 to 31, 1992 Duration: 4 Days San Agustín University Course Clipper. Institute of Computer Science from San Agustin University. Date: 16 October to 19 December 1989. Duration 50 hours. San Agustín University Course C. Institute of Computer Science from San Agustin University. Date: 31 July to 30 September 1989. Duration 50 hours San Agustín University. Course Dbase: Institute of Computer Science from San Agustin University. Date: May 3 to July 8, 1989. Duration 50 hours San Agustín University Course Pascal. Institute of Computer Science from San Agustin University. Date: January 11 to March 12, 1988. Duration 50 hours . As an Expositor: University of Twente, Database Group, Enschede, The Netherlands. Web Information Retrieval based on DNA Computing. Date: October 26, 2006. Rovira i Virgili University, Group of Research in Mathematical Linguistic, United Nations University – International Institute for Software Technology. Catholic “Santa María” University – Speaker in X National Congress of Mechanic, Electric, Electronic and others Engineerings “X CONEIMERA C.S.M.U.” Subject: “Fault Tolerant Systems”. Date: September 29 to October 3, 2003. Superior Institute CESCA. Seminary: “Hacia el desarrollo de la Tecnología Informática”. Date: October 10 and 11, 2002. Subject: Applications in Macro-media Flash y Web Pages Development with Dream Weaver. Catholic “Santa María” University – Capacitation Course: “El Problema del año 2000 - Razones y repercusiones”. Date: December 1998. Catholic “Santa María” University – Speaker in “V Jornada Internacional de Ingeniería de Sistemas” UCSM.Subject: Realidad Virtual, Presente y Futuro. Date: November 24 to 26, 1997. Duration: 15 hours Superior Institute "Pedro P. Diaz". Computation and Computing Department. Speaker in the Seminary 'Tecnología Actuales y aplicaciones Reales de la Informática" Subject: La Simulación en Sistemas Date: December 4 to 6, 1995. Duration: 12 hours As an Organizer: United Nations University - U.N.S.A – U.C.S.M. y U.C.S.P. International Course: Formal Methods in Software Development Date: August 11 to 22 , 2003. Duration: 70 academic hours Catholic “Santa María” University X Jornada Internacional de Ingeniería de Sistemas –JINIS 2002 U.C.S.M Date: December 2 to 2, 2002 Duration: 16 academic hours Judge in Network Administration Tutorial with Windows NT/2000. X Jornada Internacional de Ingeniería de Sistemas. Date: December, 2002. Catholic “Santa María” University IX Jornada Internacional de Ingeniería de Sistemas –JINIS 2001.UCSM.Date: December 5 to 7, 2001 Duration: 16 academic hours Catholic “Santa María” University VIII Jornada Internacional de Ingeniería de Sistemas –JINIS 2000 UCSM.Date: November 27 to 29, 2000 Duration: 16 academic hours Catholic “Santa María” University VII Jornada Internacional de Ingeniería de Sistemas –JINIS 1999 UCSM.Date: November 22 to 24, 1999 Duration: 15 hours Catholic “Santa María” University VI Jornada internacional de Ingeniería de Sistemas – JINIS 1998 UCSM.Date: November 18 to 20 1998 Duration: 15 hours Catholic “Santa María” University V Jornada internacional de Ingeniería de Sistemas - JINIS 1997 UCSM.Date: November 24 to 26, 1997 Duration: 15 hours Catholic “Santa María” University. Complementation Course: "Defensa Nacional y Civismo" Date: October 7 to 14, 1996 Duration: 8 Days Catholic “Santa María” University III Jornada internacional de Ingeniería de Sistemas JINIS 1995 UCSM.Date: November 29 to December 1, 1995 Duration: 20 hours LANGUAGES KNOWN: Spanish: Mother tongue. English: Postgraduate School of Catholic “Santa María” University. Certificate of English for Masters (Master Level). General Qualification: Excellent (92 / 100) Date: August 2001 Duration: 3 months. Qualification Scale: Talk, read, write and translate Catholic “Santa María” University. Development and University Promotion Office. Language Department. Certificate of Approval in level 202 (4th of 6). Value: 8 Credits. Date: July 25, 1989 Duration: 14 weeks. non Pair Semester 1989. Peruvian and American Cultural Institute. Certificate of Approval about 16 Basic Cycles. Date: June 1988. Duration l6 months. Italian Internship in Italy, France, Portugal, China and Catalonia. II. PROFESSIONAL EXPERIENCE and UNIV. TEACHING PROFESSIONAL EXPERIENCE: PreProfessional Intership : Company: CERVESUR. Years: 1991 - 1993. Giardino Travel Agency. Department of Computer Science. Experience in: Analysis, design and programming of information systems for accounting, Inventory, Invoicing and lists for the company. Installation of the local network and support of the users in all that pertained to computer science. Date: July 1998 to October 2000. Duration: 2 years and 3 months Caja Municipal de Ahorro y Crédito de Arequipa (Small Bank): Department of Computer Science. Experience in: Analysis, design and Implementation of banking systems in Visual Fox and SQL Server. Handling of Networks including Windows NT, Intranet ware Novell, Internet, etc. Technical support of Hardware and Software to the Users of the Systems Date: June 1998 to November 1998. Duration: 5 months Technical Institute “ALAS PERUANAS": Computer Science Program Experience in: Teaching of Theoretical-Information Technologies, practices in the Courses: "Programming languages" and "Data processing. in Computation and Computer Science. Date: September 2000 to August 2001. Duration: 1 year Social Security Peruvian Institute. "IPSS" (now ESSALUD): Area Personnel Qualification Experience in: Teaching theoretical-practice in the Basic Course Package of Computation: MSDOS, Windows, Word, Excel and Power Point for Windows given to the Medical and Administrative Personnel Date: March 1997 to May 1997. Duration: 3 months Technological Superior Institute "ESADE": Computer Science Program, Administration and Computerized Accounting. Experience in: Teaching theoretical-practices in the Courses of "Operating system MSDOS" and "Intranet wares and Teleprocessing" in the area of Computation and Computer Science, Administration and Computerized Accounting Date: January 1997 to March 1997. Duration: 3 months Technological Superior Institute "CESCA": Computer Science Program and Computerized Accounting. Experience in: Teaching theoretical-practice in the Course of "Manejador de Base de Datos Fox Pro" in the Area of Computation and Computer science and in the Courses of "Word for Windows" and "Excel" in the Area of Computerized Accounting. Date: January 1997 to May 1997. Duration: 5 months Technological Superior Institute "Albert Einstein": Computer Science Program and Computerized Accounting Experience in: Teaching theoretical-practice in the Courses of "Networks of Computers" and "Microprocessors" in the area of Computation and Computer science and in the Course of "Spreadsheets" in the area of Computerized Secretarial work. Date: January 1997 to February 1997. Duration: 2 months PC Asesores y Sistemas S.R.Ltda. (My Own Company): General Management and Systems Department Experience in: Creation and Formation of the Company. Analysis, Design and Programming of Systems for Micro and Mid-sized Companies. Repair and Maintenance of Computers. Advise in the acquisition of Computers and accessories. Date: January 1996 to February 2002. Duration: 6 years National Company of Rail Roads ENAFER (now Peru Rail): Data Processing Department. Experience in: Analysis, Design and Programming in FOXPRO 2,6 for Networks about a System for Statistics and Tracking of Trains, Locomotives, Cars, Wagons, Rolling Personnel and Loads. Date: February to May 1995. Duration: 3 months VEL COURIER : Systems Department Experience in: Analysis, Design and Programming in FOXPRO 2,6 for Networks for a System of shipment and reception of mail. Installation of the Network for the company. Date: November 1994 to June 1998. Duration: 3 years and 6 months Hotel PORTAL: Department of Calculations. Experience in: PREPROFESSIONAL PRACTICES. Analysis, Design and Programming of an Information system of Personnel and lists . Date: August 1993 to December 1993. Duration: 5 months Processed Foods S.A. ALPROSA: Department of Calculations and Logistics. PREPROFESSIONAL PRACTICES. Works in Novell networks, implementation of Information systems, work in Windows, Programming in Foxpro-LAN and Clipper for networks, Instruction to users in Windows, Spreadsheets, Text Processors, use of utilitarian, works of presentation and graphics, and General support of Hardware and Software. Date: December 1991 to December 1992. Duration: 1 year Beer South Company CERVESUR: Computer Department. PREPROFESSIONAL PRACTICES: Knowledge, experience and handling of Novell networks, Programming in multi-user Clipper, Handling of Data bases, programming in C, implementation of a Project of Information systems in the areas of: Personnel, Inventories, Purchases, Sales. Accounts Receivable, Accounts Payable, Accounting, Box Banks, etc. Introduction to System AS400 – IBM. Date: August 1991 to January 1993. Duration : 1 year and 6 months CODEL S.R. Ltda.: (Parent’s Company) General Operation, Personal and Sales Departments. Experience in: Support of decision, making and Supervision of the work; Direction of the Personnel, Real Inventory of the company, support in sales, etc. Date: January 1985 to November 1993. Duration: 8 years
UNIVERSITY TEACHING EXPERIENCE:
- "Systems Analysis and Design " (II Sem Systems Engineering) - "Algorithms Design" (IV Sem Systems Engineering) - "System Simulations" (VII Sem. Systems Engineering) - "Operative Investigation II' (IX Sem. Systems Engineering) - "Laboratory of Programming" (III Sem. Electronic Engineering) - "Computation I: Programming Language Assembler" (II Sem. Systems Engineering) - "Computation II: Programming Language C++" (IV Sem Systems Engineering) - "Programming Language " (VII Sem. Business Administration) - "General Computing" (VII Sem Business Administration) - "Information Technology" (X Sem. Systems Engineering) - "Data Structures" (VII Sem. Systems Engineering) - "Fault Tolerant Systems" (IX Sem. Systems Engineering) - "Systems Theory " (V Sem. Systems Engineering ) - "Operative Investigation I" (VI Sem. Systems Engineering) - "Advance Computing: Mat lab" (V Sem. de Food Industry Engineering) - "Software Engineering" (II Sem. Systems Engineering) - "Experts Systems" (X Sem. Systems Engineering) - “Computation I: Programming Language Visual Basic” (II Sem. Systems Engineering) - "Computation II: Programming Language JAVA" (III Sem. Systems Engineering) - “Computation Fundamentals: Assembler, C++ y Java” (II Sem. Systems Engineering) Duration: Since 2nd Semester 1995 until NOW (PRESENT WORK)
- "Programming Fundamentals" (III Sem E.P. Systems Engineering) - "Data Structures and Algorithms" (IV Sem E.P. Systems Engineering) - "Data Structures I” (III Sem. E.P. Systems Engineering) - "Data Structures II”(IV Sem. . E.P. Systems Engineering) Duration: Since June 2000 until NOW (PRESENT WORK)
Date: May 2006 Duration: 2 weeks
Date: February 2005 Duration: 2 weeks
Date: April 2001 until August 2001. Duration: 1 semester. San Agustín University. PreUniversity Center CEPRUNSA. Work: Teaching the Course of Mathematics: Arithmetic, Algebra, Geometry and Trigonometry to the Biomedical, Social Science and Engineering Schools of CEPRUNSA 2000. Date: February 2000 until February 2003. Duration: 3 years
- "Objects Technology". Date: November 2002 - “Algorithms and Data Structures". Date: June 2003. III. INTELLECTUAL PRODUCTIONS: RESEARCH: Individual and Published Research Work: C. Corrales, B. Aichernig. From Faults via Test Purposes to Test Cases. ETAPS 2006 - FASE06 Fundamental Approaches to Software, Vienna Austria, March, 2006. C. Corrales, B. Aichernig. Test Purpose Generation by Specification Mutation in Distributed Systems. Technical Report 313, UNU/IIST, Macao China, September, 2004. C. Corrales. Modern Fault Tolerant Systems. Santa Maria Catholic University – in X National Congress of Mechanic, Electric, Electronic and others Engineerings CONEIMERA. Arequipa Peru, October, 2003. C. Corrales. Applications in Macro-media Flash y Web Pages Development with Dream Weaver. Superior Institute CESCA. Seminary: “Hacia el desarrollo de la Tecnología Informática”. Arequipa Peru, October, 2002. C. Corrales. Virtual Reality System for Distance Learning-Teaching Process in the College-level Physics Course. (Sistemas de Realidad Virtual para la Enseñanza - Aprendizaje a Distancia del Movimiento Compuesto de los cuerpos en 3 Dimensiones dentro del curso de Física en el nivel Secundario, Año 2000) Master Thesis, Santa Maria Catholic University, Arequipa Peru, August, 2001 C. Corrales. The Y2K problem. Reasons and Repercussions. Santa Maria Catholic University. Arequipa Peru, December, 1998. C. Corrales. Virtual Reality, present and future. Santa Maria Catholic University. in "V Jornada Internacional de Ingeniería de Sistemas”. Arequipa Peru. November, 1997. C. Corrales. Simulation Systems, a practical application. Technological Institute "Pedro P. Diaz". Computation and Computing Department. in the Seminary "Tecnología Actuales y aplicaciones Reales de la Informática". Arequipa Peru, December, 1995. C. Corrales. Simulation Module of the Telephonic Service Process in the Telephonic Company in AQP. (Módulo de Simulación del proceso de atención del servicio telefónico en cabinas telefónicas ENTEL Perú Sucursal Arequipa Año 1994) Bachelor degree and Professional Title Thesis, Santa Maria Catholic University, Arequipa Peru, December, 1994 Other Individual Research Work: investigation to Virtual Reality Investigation to Fault Tolerant Systems (for the taught Course in Catholic “Santa María” University) Investigation to Data Structures (for the taught Course in Catholic “Santa María” University and San Agustín University) Investigation referring to Spatial Data Structures Investigation referring to Programming Language C++ (for the taught Course in Catholic “Santa María” University) Investigation referring to Programming Language Java (for the taught Course in Catholic “Santa María” University) IV. DISTINCTIONS EXTENSION AND SOCIAL PROJECTS: Individual Activities: Pro Secretary of the Chapter of Industrial and Systems Engineers of the Peruvian Engineers Professional Association Departmental Section of Arequipa, during the period 2002- 2003 Semi Professional Amateur Fireman in Reserve Condition, member of Peruvian Voluntary Fireman Org. since August 1995. Semi Professional Dancer with participation in different National and International events such as "Festival Internacional CIOFF Agrigento Sicilia" in Italy, "Festiga 1994" in Spain, "XXIV Festival Internacional del Folklore- Cidade de Gondomar" in Portugal, "Festival internacional de los Pueblos del Mundo 1996 y 1997" in Spain, "Festival de Dijon 1996" in France, "Les cultures du monde - Gannat", "Fetes de la Vigne de Dijon 1999" in France etc. Member of Dances of Folkloric from the UCSM, Ballet from the Provincial Municipality of Arequipa, Dance Group Winaypaq Peruvian Expressions, the Group of Dance “Identidad” and many other different artistic groups of our means (Dance Folkloric, Music and Theater) since 1992. Member of the Movement of Youthful Promotion Meetings Arequipa (EPJ), recognized by Archdiocese Archiepiscopal of Arequipa Member of the Group of “Cargadores del Señor de la Amargura” from the Fraternity of “Senor Nazareno” from Paucarpata - Archdiocese Arequipa, from January 1997. Member of the Association Home of Christ Arequipa, carrying out volunteer works, at night in work in the street with poor children during 1994 and 1995. Member of the Salesian Congregation Arequipa, integrating the pastoral group carrying out social services work in the Salesian Juvenile Movement from 1996 Member of the Juvenile Group “Shalom”, and of the Juvenile Group “Nueva Luz” of the parish “Nstra Senora de los Dolores Cerro Colorado”, carrying out and organizing Spiritual Religious Retreats with schools of the district, and evangelization works in the church from January 1997 until now. Group Activities: Active Member of Peruvian Engineers Professional Association, since January 1995. Nro. Carnet: 46967 Active Member of Christian Movement of Youthful Promotion Meetings (EPJ) Active Member of the International Club of Arequipa, since May 1986. Carnet Nro. 14474 Member of ACM and IEEE Org. EXTRA UNIVERSITY ORGANIZATIONS: Awards: First Collegiate Engineer of Arequipa from the Catholic Santa María University. First Educational University student of the Santa Maria Catholic University graduated from the same one in the Faculty of Sciences, Physical and Formal Engineering. First Titled Engineer of Second Promotion of Systems Engineering of Santa María Catholic University Gold Medalist Soccer Champion member of School of Engineers in the Sport Games Fapla 2001. Gold Medalist Champion in Mini soccer. School of Engineers in the Sport Games Fapla 2001. Silver Medalist in Volleyball. Associates Engineers in Sport Games Fapla 2001. Diplomas: Regional Council of Deans of Professional Schools of Arequipa CONREDE. Diploma of Recognition for the excellent participation in the Sport Games CONREDE FAPLA 2001. Date: December 2001 Diploma of Recognition for highest scorer in the disciplines of Soccer and mini Soccer, Category Minor, of the Sport games Fapla 2001. Date: December the 2001 Diploma of Soccer of Cerro Colorado. Silver Weddings Anniversary1975 - 2000. Diploma of Honour as a good player and better sportsman. Date: June 2000 Diploma in recognition to the outstanding participation as a Scorer in the Intercapitular Championship of Mini Soccer 2001, as participant of Industrial and Systems Engineering Team. Date: April 2001. Diploma as a Champion in the Run 4x400, a Scorer with 10 goals and as a contributor to obtain of the Championship FAPLA 2000 (Inter Professional Schools). Date: December 2000. Diploma of Honour as a Scorer of Mini Soccer Category minor and to have contributed to the success in the Sport Games FAPLA 1999 (Inter Professional Schools). Date: December 1999. Diploma of Honour for their Valuable contribution for the Conquest of the Championship in the Games FAPLA 1997 (Inter Professional Schools) Date: January 1998 Diploma as a Scorer in Soccer Category Minor, representing to the Peruvian Engineers Professional Association in the Games FAPLA 1997 Date: December 1997 Diploma of Honour to have obtained the Title of InterDistrital Champion, Provincial Champion, Departmental Champion and Semichampion Regional of Soccer with the Team FBC. Mariscal Castilla of the district of the Cerro Colorado Arequipa in the COPA PERU 1997 Championship. Date: January 1998 Diploma as a Scorer in Soccer of First Division in the Distrital League of Soccer of Arequipa. Date: August 1994 Diploma and Certification of the culmination of the Technical Program from Integral and Selective Reading to level of Graduate degree, with the speed results of reading: 2200 words per minute and 100% of understanding to this speed. Date: November 1995 Diploma as a Scorer in Soccer, category Senior in the Championship of the Internal League of the International Club Arequipa. Date: December 1994 Diploma of 1st. Position in Mathematical Secondary Level. Date: December 1988 Diploma of Honour to the Student during the 5th year of Secondary, in order to execute the Profile of School during the school year 1988. International School of Arequipa. Date: December 1988 Card of Honour for acting in the Academic Yield of 1987. International School of Arequipa. Date: July 1987 Honour Diploma to the student for their work and good behavior in the 2nd year of Primary. Pre Seminar School of Arequipa. Date: December 1979 Resolutions: Resolution of Headquarters Regional Number 004-96 CGBVP/7JR. Given in Arequipa, April 18, 1996: Recognition as Fireman Student of the General Body of Voluntary Firemen from the Peru, assigned to the CO. Guillermo Crosby Tizon Nro 78. Resolution of Leadership Number 250-96-CGBVP. Given in San Isidro Lima, December 13, 1996: Appointment with Fireman's degree “Seccionario” CBP as a member of the VII Regional Headquarters of the CGVBP. |
