Engineer Software

Haiqiong(Haeley) Yao

Knowledge Engineer at Equilar

***********@*****.***

Summary

Discover the knowledge in financial data. Mining large-scale people data with technologies in Machine

Learning and Natural Language Processing, graph-based methods, search engine, and Information Retrieval.

Specialties: Back-end development, Machine learning, NLP, Data mining

Experience

Knowledge Engineer at Equilar

April 2013 - Present (5 months)

- 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 at Whodini, Inc.

August 2012 - April 2013 (9 months)

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 at University of South Florida

August 2006 - May 2012 (5 years 10 months)

- 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 at University of South Florida

May 2011 - August 2011 (4 months)

Page1

- 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.

Software Engineer at Yunnan Yundian Tsinghua Tongfang Technology, Inc., China

June 2004 - July 2006 (2 years 2 months)

Implemented database management applications to manage the data collected from subdivisions.

Research assistant at Institute of Communication Engineering, PLA university

August 2001 - May 2004 (2 years 10 months)

- Implemented a lightweight on-board network controller for the satellite network. The controller provided

effective resource allocation and QoS services for communication.

-Tested and analyzed the correctness and reliability of the network controller.

Software engineer at Yunnan Golden Highway Information Technology Inc., China

July 1997 - July 2001 (4 years 1 month)

Provided web content for clients and maintained the local networks.

Projects

POC (Proof of Concept)

August 2012 to Present

Members:Haiqiong(Haeley) Yao

In the concept generation, the problem we need solve is to identify the variants of a concept and map all the

variants to the same general concept. The concepts generated are recommended to the users to review. The

goal is to improve the accuracy of the recommended concepts.

Languages

English (Professional working proficiency)

Chinese (Native or bilingual proficiency)

Skills & Expertise

Programming

Teaching

Machine Learning

Page2

Algorithms

LaTeX

R

C++

Statistics

Java

Text Mining

Education

University of South Florida

Ph.D, Computer Science and Engineering, 2006 - 2012

Activities and Societies: - Conference volunteer for (1) the 47th Design Automation Conference, June, 2010.

(2) the 14th International

Conference on Architectural Support for Programming Languages and Operating Systems, Mar, 2009. (3)

OOPSLA, Oct, 2008. (4) Formal Methods in Computer Aided Design, Nov, 2008.

- Publicity officer for IEEE-CS Student Chapter at University of South Florida, 08/2006 - 08/2007.

PLA University, Nanjing

Master's degree, Computer Science, 2001 - 2004

Yunnan University

Bachelor's degree, Computer Science, 1993 - 1997

Honors and Awards

Publications in Ph.D study:

- H.Zheng, H.Yao and T.Yoneda. Modular model checking of large asynchronous designs with efficient

abstraction refinement. IEEE Transaction on Computers, 59(4): 561–573, 2010.

- H.Yao, H.Zheng and C.Myers. State space reduction for scalable verification of asynchronous designs. IEEE

International High Level Design Validation and Test Workshop(HLDVT), June, 2010.

- H.Yao and H.Zheng. Automated interface refinement for compositional verification. IEEE Transaction on

Computer-aided Design of Integrated Circuits and Systems, 28(3): 433–446, 2009.

- H.Zheng and H.Yao. Synchronization-based abstraction refinement for modular verification of asynchronous

designs. IEEE Computer Society Annual Symposium on VLSI (ISVLSI), May, 2009.

Page3

Haiqiong(Haeley) Yao

Knowledge Engineer at Equilar

***********@*****.***

Contact Haiqiong(Haeley) on LinkedIn

Page4

Contact this candidate