# Haiqiong(Haeley) Yao

> Software Engineer at Spotnana

Location: Oakland, California, United States
Profile: https://flows.cv/haiqionghaeley

Build analytical applications for big data. Mining large-scale people data with technologies in Machine Learning and Natural Language Processing, graph-based methods, and Information Retrieval.

## Work Experience
### Software Engineer @ Spotnana
Jan 2022 – Present | Oakland, California, United States
- Integrate Amadeus Europe flights into Spotnana travel platform.
- Implement exchange and modify features for reserved flights.

### Software Engineer @ eBay
Jan 2016 – Jan 2020 | San Francisco Bay Area
Work in NPD team building shopbot. 
Introduced Cats in payment service for error handling.

### Software Engineer @ Quantifind
Jan 2014 – Jan 2016 | Menlo Park
Analyze social media to discover the insight that drives people to buy products.
- Build product to find out intent to driven user to purchase or dislike commercial products and users demography, by analyzing tweets and financial KPIs.
- Build an automated financial data processing pipeline in distributed environment.

### Software Engineer @ Cask Data
Jan 2013 – Jan 2014 | Palo Alto, CA
- Develop real-time applications on CDAP, a platform for Hadoop ecosystem.
- Deploy and end-to-end test for CDAP.

### Knowledge Engineer @ Equilar
Jan 2013 – Jan 2013 | Redwood City, CA
- Identify and classify named entities.
- Extract relation between entities.
- Disambiguate entities with Linked Data.
- Represent entities and entity relations in graph database.
- Apply machine learning on large-scale graph database.

### Software Engineer @ Whodini, Inc.
Jan 2012 – Jan 2013 | Los Altos, CA
I have worked on the project of the concept generation. The problem is to identify the variants of a concept. Our method focuses on syntactic search of the similarity of phrases extracted from emails. The rule-based and machine learning based approaches are developed and implemented. The phrases containing different trailing words by which no specific meaning is provided are identified as the same concept.

### Research Assistant @ University of South Florida
Jan 2006 – Jan 2012
- Worked as graduate research assistant.
- Built an abstract framework for compositional verification based on abstractions and proposed new algorithms for instantiating this framework to verify safety properties of large asynchronous designs. 
- Implemented the abstraction refinement in the explicit state model checker Flare. The abstraction refinement is enhanced with abstraction techniques, such as autofailure reduction, partial order reduction and interface abstraction.
- Provided an equivalent reduction technique to reduce the complexity in the process of composition and implemented in another model checker Platu. 
- The Flare was developed in C++ and Platu was developed in Java.

### Instructor @ University of South Florida
Jan 2011 – Jan 2011 | Tampa, FL
- Instructor for the undergraduate course Advanced Java
- Run the whole class, including building the syllabus, designing the projects, homework and exams, giving lectures, grading, offering office hours to assist students. 
- This course was offered for the senior undergraduates, with the goal to improve programming skills and problem solve ability. 
- In this class, fundamentals of the object-oriented programming concepts and principle, as well as design patterns in the context of Java were discussed. Java’s mainstream applications, collections, concurrent programming, graphic user interface, and web application were covered.


## Education
### Ph.D in Computer Science and Engineering
University of South Florida


## Contact & Social
- LinkedIn: https://linkedin.com/in/haiqiong-haeley-yao-b50a5a26

---
Source: https://flows.cv/haiqionghaeley
JSON Resume: https://flows.cv/haiqionghaeley/resume.json
Last updated: 2026-04-11