Francisco Lara Dammer
907 Redbud Hills Apts.
Bloomington, IN 47408
(812)857-8383
flaradam_at_cs_dot_indiana_dot_edu
Goal
Develop applications preferably related to at least one among
the sciences of Logic, Mathematics, Artificial Intelligence and/or Cognitive
Science.
Education
- Indiana University, Bloomington, Indiana.
- PhD Student in Computer Science.
August 1999-present.
- Ball State University, Muncie, IN
- Master of Science in Computer Science, May 1999.
- Escuela Politécnica Nacional, Quito-Ecuador.
- Matemático (Mathematician) April, 1991.
- Graduated second in group of 96.
Employment History
- Indiana University. Associate instructor in various introductory computer courses (A110, A111, A112, A201 and A348).
- Indiana University. Associate instructor in
computer courses (C211, C343).
- Indiana University. Instructor in C343 (Data Structures).
- Escuela Politécnica Nacional, Quito, Ecuador.
October 1988 - April 1997. Taught different classes
such as Geometry, Differential Calculus, Integral Calculus,
Discrete Mathematics, Models and Simulation.
- Universidad Central, Quito-Ecuador.
1995. Taught Linear Algebra and Analysis.
Programming Languages and Operating Systems
Java, C, C++, Scheme, HTML, Unix, Windows, MAC OS.
Some Projects
- Graphical Simulation of two elevators for a four floor
building (using the package AWSIM).
- A program capable of proving basic theorems in Euclidean Geometry
(in Scheme).
- A genetic algorithm for the prisoner's dilemma (in Java).
- A Calculator capable of parsing expressions and computing most common scientific functions to arbitrary precision (in Java).
Publications
- Matemáticas Fundamentales para Ciencia y Tecnología (seven volumes:
Logic, Real Numbers, Functions, Limits and Continuity, Derivatives, More on
Derivatives, Primitives). First publication was used as a course text by
college math students in Ecuador.
- Resultados del Cálculo Diferencial Estándar desde el Punto de Vista No
Estándar, Thesis, Quito, Ecuador, 1991.
- Some articles on Non-standard Analysis published in "Revista
Politétecnica", Quito-Ecuador.
Languages
- Spanish (Native Language)
- English
- French (reading)