Download CV extended

Dr. Carlos Araya
Technologist and entrepreneur
Name
Born
Nationallity
Civil Status
Place of Residence
Phone
Home
Mail Address
Electronic mail
Languages
:
:
:
:
:
:
:
:
:
:
Carlos L Araya Rodríguez
12 March 1958
Costa Rica
Married to Lidy Pereira
Saratoga, California
+206 612.6159
+408 647.2010
14682 Stoneridge Dr, Saratoga, CA 95070
[email protected]
English, Spanish, and Portuguese
Summary
Entrepreneur and experienced CEO executive in software technology ventures.
Innovator in solutions founded in artificial intelligence methods and languages.
Board member and mentor of technological organizations.
Founder, chairman, and professor at high education institutions.
Highly motivating leader of intense research, design and development teams.
Goals
Transparency, ethics, and an unified and enjoying basic+applied research approach for a better world thru
entrepreneurship and the growth of young talent.
Specialties
Executive: vision and leadership, mentoring, IP management, and highly intense and agile research, design
and development methods.
Technical: automated software understanding and transformation, functional and logic programming
languages, pattern matching, formal belief and learning methods, mobile, web, and cloud technologies.
Industrial Experience
Board Member and Chief Scientist
Mobilize.Net
Computer Software industry
March 2012 – Present (8 months) Greater Seattle Area
Mobilize is a spin-off of ArtinSoft – a company I founded in 1993. Mobilize applies ArtinSoft’s
technologies to accelerate the conversion of corporate applications to HTML5, native mobile, and cloud
platforms, using innovative code analysis, separation, translation, and optimized user experience reconstruction proprietary tools.
I lead the technology vision, strategy, and IP drive; research new technologies, and support business
development with strategic partners and customers.
Founder, Chairman and CEO
April 1993 – December 2007 (14 years 9 months) San Jose, Costa Rica
CEO ArtinSoft Research & Business Development
June 2007 – March 2012 (1 year 7 months) San Jose, Costa Rica
Board Member, Honorary President
ArtinSoft Corp.
March 2012 – Present (8 months) Saratoga, CA
Privately Held; 51-200 employees; Computer Software industry
Based on my PhD work, I devised a platform, (Kablok) that can migrate entire large corporate applications
with full usability, maintenability, and demonstrable functional equivalence.
With it, I founded ArtinSoft, the world leader in automation-assisted software migration. The technology
recuperates and empowers the knowledge and functional expertise of IT organizations. It is the most
successful migration solution as it has converted billions of lines of code, it has been used by hundreds of
thousands of developers, and achieve some of the most strategic and successful migrations for thousands of
F500 corporations, including the conversions of the core systems of a leading credit card issuers, the
payment system of the online retail leader, entire major country bank subsidiares systems, and many other
mission critical applications.
The conversion platform was embedded in Microsoft's Visual Studio for the migration from Win32
technologies to .NET and it is broadly distributed worldwide. Moreover, we have extensively applied it in
other languages such as Informix, Java, and Cobol.
I built and led the company as CEO for 15 years generating more than $70m in revenue, and obtained very
significative investments from Microsoft and Intel Capital. I grew the company from zero to more than 300
employees and led it thru several development and consolidation phases.
In 2007, I led the R&D efforts to create a new family of products devising two new fundamental pieces of
technology: (a) Matchine, a new generation analysis and transformation platform that supports our current
transformations for mobilization, web and cloud adoption, and (b) Aggiorno, a system for updating web
sites with the newest technology and usability standards.
In addition to the software transformation technology, I led ArtinSoft to build, and in 1998 to spun-off, a
very successful ERP system based on Theory of Constrains and modern optimization and manufacturing
techniques that was broadly installed in more than 80 medium-to-large corporations in Latin America.
In recent years, I helped the transition to establish Mobilize.net and expanded my areas of interest into
some other technology spaces.
Principal
Innovative Ventures LLC
March 2012 – Present (11 months) San Francisco Bay Area, CA
Founder, mentor and business strategist for startups in data science, social web, and formal belief systems.
I am interested in applying solidly founded concepts in the industrial solution of problems using machine
learning (www.simMachines.com), and belief states modeling. In the social web, we are introducing a
platform for people to pursue their passions and interests. (www.MoodBond.com)
Founder, Board Member
Capital Empresarial Centroamericano (CEC)
January 2001 – Present (11 years 10 months) San José, Costa Rica
In conjunction with several national partners, CEC is the first tech venture fund of Central America.
Invested in several different ventures, some of which are very successful.
Founder, Board Member
Cenfotec University
Educational Institution; 11-50 employees; Higher Education industry
January 2000 – Present (12 years 10 months) San José, Costa Rica
Founded with the software industry of Costa Rica and CEC, Cenfotec is the first regional university
specifically oriented towards the formation of software specialists, and since 2011 a master degree. Our
motivation is to untap the excellent pool of young educated people in the country. Among the best
universities in computer science in the region, CENFOTEC has been a key contributor for the successful
national evolution of the software sector.
Founder and Researcher
Artificial Intelligence Research - AIR Corp
March 1990 – June 1992 (2 years 4 months) Lawrence, Kansas Area
Together with my PhD advisor, Dr. Frank M. Brown, we founded AIR Corp (Artificial Intelligence
Research), an R&D facility devoted to planning and deduction systems. AIR was funded by a grant from
SBIR and several contracts.
Advisor to the Strategic Planning VP
Grupo Gamesa
April 1980 – January 1982 (1 year 10 months) Monterrey Area, Mexico
Devised and implemented a "Production and Distribution Planning" system that optimized the entire
transportation of raw materials, production assignment and scheduling, machine sequencing, and
distribution for Gamesa - the largest food corporation in Iberoamerica.
Not only I worked in devising the mathematical optimization model, but I also programmed most of it,
from the database management system to core engine, and lead the system implementation.
Consultant to several Industries and Government agences in US and Latin America
Academic Positions
Associate Professor
Instituto Tecnológico de Costa Rica
Educational Institution; 501-1000 employees; Higher Education industry
July 1978 – December 2005 (27 years 6 months) Cartago
Specialized in teaching and leading thesis in Artificial Intelligence, data structures, discrete mathematics,
programming language, operating systems, and Operations Research.
Chairman of Computing Research Centre
Instituto Tecnologico de Costa Rica
January 1991 – 1993 (2 years) Cartago, Costa Rica
I have the honor of being the first chairman of this research institution, which I devised and obtained
funding for its creation.
Chairman, Computer Science Dept.
Instituto Tecnologico de Costa Rica
1982 – 1986 (4 years) Cartago, Costa Rica
At age 24, I had the great privilege of been elected as the Chairman of most prestigious Computer Science
department in Costa Rica.
During my tenure, we proposed and established the first graduate program (MSc in Computer Science
program) in the country, and devised and obtained the funding ($5m) for the Center for Research in
Computing - the first and still the only of its kind in Central America.
Professor, Department of Informatics, University of Costa Rica, 1982
Professor, Department of Mathematics, National University, Costa Rica, 1979
Research Assistant, Department of Computer Science, University of Kansas, US
Research Advisor, Department of Industrial Engineering, ITESM, Mexico
Education
1991
Ph.D. in Computer Science (Artificial Intelligence)
Universidad de Kansas
Lawrence, Kansas
1982
M.Eng. in Operations Research
Instituto Tecnológico y de Estudios Superiores de Monterrey
Monterrey, México
1981
M.Sc. in Information Systems
Instituto Tecnológico y de Estudios Superiores de Monterrey
Monterrey, México
1978
B.Sc. in Computing
Instituto Tecnológico de Costa Rica
Cartago, Costa Rica
Honors
Judge, Intel/UC Berkeley Technology Entrepreneurship Challenge Latin American Chapter, 2009
“The most important contributor to the IT industry for the development of Costa Rica”
Technology Research Club of Costa Rica, Costa Rica
Entrepreneur of the Year 2000
Innovation Contributor of the Year 2008
El Financiero: main Costa Rican business newspaper
Fulbright Scholarship, USA, 1986-1990
CDG-DAAD Scholarship, Germany, 1980-1982
Upsilon Pi Epsilon Honor Society, USA, 1989
Logic and Artificial Intelligence, International Center for Mechanical Sciences, Udine, Italia, Sep.-Oct., 1992
Academic Committees for several conferences
Selection of Academic Conferences Delivered
Migrating Legacy Software to New Technologies
Palo Alto Research Center (PARC), CA, 2006
RESCUE: Automatic Recovering of Legacy Systems
Oracle Open World Conference, San Francisco, CA, 1996
RESCUE Legacy Systems Translator
II Workshop on Reverse Engineering, IEEE, Toronto, Canada, 1995
On the Knowledge Representation Capabilities of a Modal Logic
Florida IA Research Symposium, FLAIRS-1994
A Language for Parallel Functional Programming
Center for Human-Machine Cognition, University of West Florida, USA, 1992
Artificial Intelligence Applications in Publicity
Club de Investigación Tecnológica, Costa Rica, 1991
Schemata: A Language for Deduction
A System for Nonmonotonic Reasoning
Katholieke Universiteit Leuven, Belgium, 1990
Schemata: A Language for Deduction and the NRS System for Nonmonotonic Reasoning
Universität Kaiserslautern, West Germany, 1990
Schemata: A Language for Deduction
1990 European Conference on Artificial Intelligence, Stockholm, Sweden, 1990
Beyond Expert Systems
ESKaMo, Expert Systems Interest Group, Kansas City, 1990
Applications of Equations Solving in a Cylindrical Algebra
Third International Symposium on Artificial Intelligence,
Monterrey, México, 1990
Some academic and research publications
Leasure, D. and Araya, C. Defaults and Frames in Overconstrained Problems, Journal of Intelligent Systems ,
(1995)
Zoufaly, F., Araya, C., Bendeck, F., Sanabria, I., RESCUE Legacy Systems Translator, in Procs. of the Second
Working Conference on Reverse Engineering, IEEE Computer Society Press, July (1995)
Araya, C. On the Knowledge Representation Capabilities of a Modal Logic, in Proceedings of 1994 Florida AI
Research Symposium, FLAIRS-94, Florida, May (1994)
Leasure, D. and Araya, C. Defaults and the Frame Law Applied to Overconstrained Problems In Constraintbased Design Systems, in Proceedings of AIE, Department of Computer Science, University of Texas, Austin, May
(1994)
Araya, C. A Functional Language for Parallel Automatic Deduction, Proceedings of the Workshop on Automatic
Deduction, Fifth Generation Computer Systems Conference, Tokyo, Japan (1992)
Araya, C., SCHEMATA – A Language for Deduction and its Application in Nonmonotonic Reasoning, Ph.D.
Dissertation, Department of Computer Science, Univ. of Kansas (1990)
Araya, C. and Brown, F.M, Schemata: A Language for Deduction, Proceedings of the European Conference on
Artificial Intelligence, Stockholm, Sweden (1990)
Brown, F.M. and Araya, C., Applications of Equation Solving in a Cylindric Algebra, Proceedings of the Third
International Symposium on AI, Monterrey, Mexico (1990)
Brown, F.M. and Araya, C., A Deductive System for Theories of Nonmonotonic Reasoning, Proceedings of the
Eighth Army Conference on Applied Mathematics and Computing, Cornell University, Ithaca, New York (1990)
Brown, F. and Araya, C., Cylindric Algebra Equation Solver, abstract in Procs. 10th International Conference on
Automated Deduction, Kaiserslautern, FR. Germany, Lecture Notes in Artificial Intelligence 449, Springer-Verlag,
Germany (1990)
Brown, F. and Araya, C., Schemata, abstract in Procs. 10th International Conference on Automated Deduction,
Kaiserslautern, FR. Germany, Lecture Notes in Artificial Intelligence 449, Springer-Verlag, Germany (1990)
Brown, F.M., Hundal S.S., and Araya, C., Frame Planner, Third Florida AI Research Symposium, Cocoa Beach,
Florida (1990)
Araya, C. and Brown, F.M, Segments, Abstractors, and the Stream of Schemata, TR-90-2, Dept. of Computer
Science, Univ. of Kansas (1990)
Park, S., Araya, C., Brown, F. and Hundal S., Automated Nonmonotonic Reasoning and its Applications in
Manufacturing, 4th International Conference on CAD/CAM, Robotics & Factories of the Future, New Delhi, India
(1989)
Araya, C., Zablah, A., Ramirez, M. and Mata, F., A Production Scheduling and Distribution Model for the
Largest Ibero-american Food Industry, Engineering and Architecture Division, ITESM, México (1982)
Araya, C., A General Model for the Analysis and Evaluation of Investment Projects, M.Eng. Thesis,
Department of Industrial Engineering, ITESM, México (1981)