Katia H. Profile

EXPLORE

0.0

(0 reviews)

You're now following

Error following user.

This user does not allow users to follow them.

You are already following this user.

Your membership plan only allows 0 follows. Upgrade here.

Successfully unfollowed

Error unfollowing user.

You have successfully recommended

Error recommending user.

Something went wrong. Please refresh the page and try again.

Email successfully verified.

$80 USD / hour

brooklyn,

united states

$80 USD / hour

It's currently 7:29 AM here

Joined March 18, 2015

0 Recommendations

Katia H.

@katiahristova

0.0

(0 reviews)

0.0

$80 USD / hour

brooklyn,

united states

$80 USD / hour

N/A

Jobs Completed

N/A

On Budget

N/A

On Time

N/A

Repeat Hire Rate

Developer and Cofounder at ThraceCode Inc.

Results-oriented software developer and research professional. Seeking a project in which I can use my strong technical and programming skills to create innovative solutions and enhance quality of existing products.

See all C Programmers in United States

Contact Katia H. about your job

Portfolio

1782369

Puzzle game for Android devices. Educational and fun tiling game. Tiles can be moved as well as rotated. Arrange tiles to create the right paths. 48 levels with increasing difficulty. Higher levels require multiple conditions -- ones you need to build, and ones you have to prevent. All levels have hints and use a start rating scoring system. Tutorial with graphics.
Detects paths using efficient graph reachability algorithms
Sounds and background music
Integrated with Google analytics
Inapp purchases – a one-time purchases for all advanced levels, and purchase of hints that can be used and repurchased
Facebook sdk and open graph for story sharing

https://play.google.com/store/apps/details?id=com.thracecodeinc.connectPuzzle

Connect Puzzle Game

1782362

$Kids mode app for Android phones and tablets. An app that allows kids to use Android devices, while using only preselected apps, and without being able to make phone calls or change the devices settings. The user sets a password, selects apps that can be accessed, and locks the screen. All other apps and controls are blocked until the user exits with a password. timer feature – set for any number of minutes. When the timer is up the user\'s password needs to be entered. camera feature – allows kids the use the camera, but only view and delete pictures taken in LittleHands options to turn off Internet, block phone calls, block the device\'s power button integrated with Google analytics and Google play services https://play.google.com/store/apps/details?id=com.thracecodeinc.LittleHandsLite$

LittleHands Kids Mode

1782369

Connect Puzzle Game

1782362

LittleHands Kids Mode

Reviews

Changes saved

No reviews to see here!

Experience

ThraceCode Inc

Aug 2014 - Present

Designed and implemented two apps, published in the Play store. LittleHands: Kids mode app for Android phones and tablets. An app that allows kids to use Android devices, while using only preselected apps, and without being able to make phone calls or change the devices settings. Connect Puzzle: Puzzle game for Android devices. Educational and fun tiling game. Tiles can be moved as well as rotated. Arrange tiles to create the right paths. 48 levels with increasing difficulty. Higher levels require multiple conditions -- ones you need to build, and ones you have to prevent. All levels have hints and use a start rating scoring system. Detects paths using efficient graph reachability algorithms.

CUNY CityTech

Feb 2008 - Sep 2013 (5 years, 7 months)

* Taught in person and partially online classes on Java, Visual Basic, C++ programming, Database Design and Distributed Databases, System Analysis. * Served as Department bookstore representative, Department secretary * Course coordinator of programming fundamentals courses. * Served on Retention and Graduation Committee, Website and Catalog Update Committee, Curriculum Committee Programming Track. * Conducted and documented observations of adjunct lecturers. * Advised students.

Computer Science Department, Stony Brook University

Aug 2002 - Dec 2007 (5 years, 4 months)

Worked on implementation and complexity analysis of Datalog and Datalog with constraints and applications to program analysis, security policy frameworks – Role-based Access Control and Trust Management systems, information flow analysis.

Education

PhD, Computer Science

State University of New York at Stony Brook,

United States

2002 - 2007

(5 years)

B.S., Computer Science, Economics

Illinois Wesleyan University,

United States

1998 - 2002

(4 years)

Qualifications

CUNY CityTech

2009

Publications

Efficient Datalog Queries with Complexity Guarantees

Stony Brook University

Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu. Efficient Datalog Queries with Complexity Guarantees. Technical report.

Efficient Type Inference for Secure Information Flow

ACM SIGPLAN Notices

Katia Hristova, Tom Rothamel, Yanhong A. Liu, and Scott D. Stoller. Efficient Type Inference for Secure Information Flow. In Proceedings of the 2006 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS). To appear in ACM SIGPLAN Notices. Pages 85-94. ACM Press, 2006.

mproved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems

Springer-Verlag

Katia Hristova and Yanhong A. Liu. Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. In Proceedings of Seventh International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI) , Lecture Notes in Computer Science. Pages 190-206. © Springer-Verlag, 2006.

Efficient Trust Management Policy Analysis from Rules

ACM Press

Katia Hristova, K. Tuncay Tekle, and Yanhong A. Liu. Efficient Trust Management Policy Analysis from Rules. In Proceedings of the 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP). Wroclaw, Poland, July 2007. ACM Press, 2007.

Generating Specialized Rules and Programs for Demand-Driven Analysis

n Proceedings of 12th International Conference on Algebraic Methodology and Software Technology (AMAST)

K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu. Generating Specialized Rules and Programs for Demand-Driven Analysis. In Proceedings of 12th International Conference on Algebraic Methodology and Software Technology (AMAST), Pages 346-361. Urbana, Illinois, 2008.