Dr. Lina Khatib
abgfpu@r.postjobfree.com 415-***-**** (M) San Francisco, CA.
Objective Leveraging my diverse expertise in AI,
CS, Math, Statistics, OR, and DA for tackling interesting
problems with significant impact.
Education
|Academic Degrees
|Ph.D. and M.S. in Computer Science, Florida Institute of Technology
|B.S. in Mathematics, Damascus University
|
|Continued Education
|Web Analytics, SEO and e-Marketing, the Challenge-2010 online course
|Statistical Data Mining and Machine Learning, Google/Stanford online courses
Experience
Jan10-present Founder and Consultant at Figgy LLC, specialized in
Imports and eTail solutions
. Product Manager and Technology Lead for an innovative fashion
line of Custom-made Linen Pants for Men. (soon to be
launched)
. Led the Product Management, Artistic Design, and eCommerce
solution for launching a new line of Exotic Artwear.
1999-Dec09 Senior Research Scientist at NASA Ames Research Center,
Intelligent Systems Division, Autonomy and Robotics Area,
Intelligent Planning and Scheduling group
. Developed a search algorithm for generating the Global Land
Survey that handles 10,000,000 satellite images and improves
map quality by at least 30% over older methods (such as those
used for Google Earth). The algorithm, integrated with
sophisticated GUI, continues to be used for newest images,
see http://mdgls.umd.edu/lassi.html.
. Developed the front end and algorithms to automatically
process and execute requests from Earth scientists. Used CMap
tools for modeling requests as concept maps and built a
translator from the XML representation into labeled
transition automata in LTSA format.
. Participated in the integrated technologies demo of inter-
satellite communication system. Designed and built the
schedule revision component which receives dynamic updates of
environment and, accordingly, adjusts the existing schedule
for better science return.
. Modeled, for verification, the conflict avoidance algorithm
of the en-route descent advisor for automating air traffic
control, using the UPPAAL model checking tools.
. Collaborated on other projects in automation, game theory,
data analysis, and real-time optimization.
1994-1999 Assistant Professor, Computer Science Dept, Florida Institute
of Technology
. Led NASA Kennedy Space Center funded projects:
- Enhancing the Ground Processing Scheduling System by
applying heuristic techniques
- Building Web-based HTML Editing and Annotation Tools
(WHEAT) for collaborative authoring
. Received the College of Engineering Outstanding Teacher of
the Year, 1998-1999
. Received the Kerry Bruce Clark Award, Excellence in Teaching,
Florida Tech, 1999
. Taught courses in Data Structures, Analysis of Algorithms,
Compilers, Programming Languages
. Developed and managed a course on Advanced Topics in
Artificial Intelligence (constraint-based reasoning).
|Citizenship: |Languages: |Interests: |
| |Fluent in English |Outdoor Sports, Travel, Culture, |
|United States|and Arabic |Argentine Tango |
Personal
Areas of Expertise
. Artificial Intelligence, Constraint-based Reasoning,
Heuristic Search
. Intelligent Planning and Scheduling, Temporal Reasoning and
Preferences
. Algorithms, Problem Solving, Operation Research, Modeling,
Model Checking, Automation
. Interests in Data Mining, Information Retrieval, Machine
Learning, Natural Language Processing
. Web Applications: eCommerce, eMarketing, Search, SEO/SEM, Web
Analytics, Data Analysis
Systems/Languages
Unix (Linux, Solaris), Macintosh, C/C++, R, Python, SQL, PHP,
Octave, Perl, GLPK, LP_Solve, XML, UPPAAL, Lisp, Prolog, GLPK,
LP_Solve, LTSA, ADA, Pascal, CMap, Java, Lex /YACC, FoxPro DBMS
Selected Publications
Refereed Journals
Morris, R., Gasch, J., and Khatib, L., Local Search for Optimal Global Map
Generation Using Mid-Decadal Landsat Images, AI Magazine, AAAI, Volume 30,
Number 2, Summer Issue, (2009)
Khatib, L., Morris, P., Morris, R., Rossi, F., Sperduti, A., and Venable,
K. B., Solving and learning a tractable class of soft temporal constraints:
Theoretical and experimental results, AI Communications, 20, (2007)
Morris, R. and Khatib, L., General Temporal Knowledge for Planning and Data
Mining, Annals of Mathematics and Artificial Intelligence (AMAI), (2000)
Morris, R. and Khatib, L., Constraint Reasoning about Repeating Events:
Satisfaction and Optimization, Computational Intelligence, Volume 16,
Number 2, (2000)
Wetprasit, R., Sattar, A., and Khatib, L., Representation and Reasoning
with Multi-Point Events, CONSTRAINTS, An International Journal, Volume 5,
Number 3, (2000)
Refereed Conference Proceedings
Votava, P., Morris, R., Dungan, J., and Khatib, L., Science Workflow
Management System For The Terrestrial Observation And Prediction System
(TOPS), IEEE /IGARSS, Honolulu, HI. (2010)
Morris, R., Gasch, J., Khatib, L., and S. Covington, Local Search for
Optimal Global Map Generation using Mid-Decadal Landsat Images, The
Twentieth Conference on Innovative Applications of Artificial Intelligence
(IAAI), Chicago, IL. (2008)
Khatib, L., Gasch, J., Morris, R., and Covington, S., Local Search for
Optimal Global Map Generation Using Mid-Decadal Landsat Images, AAAI
Workshop on Preference Handling for Artificial Intelligence, Vancouver, BC.
(2007)
Frank, J., Crawford, J., Khatib, L., and Brafman, R., Tractable Optimal
Competitive Scheduling, The International Conference on Automated Planning
and Scheduling (ICAPS), Cambria, UK. (2006)
Bresina, J. L., Khatib, L., and McGann, C., Mission Operations Planning
with Preferences: An Empirical Study, IWPSS, The 5th International Workshop
on Planning and Scheduling for Space, Baltimore, MD. (2006)
Khatib, L., Morris, R., Slywczak, R., and Luu, T., Integration of On-board
EOS Schedule Revision with Space Communication Emulation System, Earth
Science Technology Conference (ESTC), Palo Alto, CA. (2004)
Khatib, L., Frank, J., Smith, D., Morris, R., and Dungan, J., An Integrated
Architecture for Science Observation Scheduling for Fleets of Earth
Observing Spacecraft, Space Mission Challenges for Information Technology
(SMC-IT), Pasadena, CA. (2003)