Computer Science Assistant

Mina Jeong

Permanent Address Present Address

*** ********** **. *** ** Computer Science Department

New York City, NY 10006 Warren Weaver Hall

Phone: 646-***-**** 251 Mercer St. Rm 404

Email: ******@**.***.*** New York City, NY 10012

Linkedin: http://www.linkedin.com/in/minajeong

1 OBJECTIVE

A position in the field of computers with special interests in developing software,

testing product, or verifying programs of product.

2 EDUCATION

Master of Philosophy, New York University, New York, NY, 2012

Concentration: Computer Science on Formal Verification and Theorem proving

Research Advisor: Clark Barrett

Master of Science, University of Utah, Salt Lake City, UT, 2009

Concentration: Computer Science on Formal Verification

Research Advisor: Konrad Slind

Bachelor of Science, University of Utah, Salt Lake City, UT, 2006

Concentration: Computer Science.

3 COMPUTER SKILLS

Languages: C++, Java,, Ocaml, sml, C, Dr.Scheme, Latex, SPARK, Dafny, MIPS,

OpenGL, HTML, Python,

Operating Systems: Ubuntu, Windows, Mac,

Tools: Eclipse CDT, Emacs, Git, CVC3, SPARK, VCT, GNU tools, Microsoft

Office, LibreOffice, SMT.

4 WORK EXPERIENCE

Research Assistant

• Testing two verification tools - SPARK and CVC3,

New York University, May - Aug 2009

• Extended Static Checking, New York University, May - Aug 2011

Teaching Assistant

• Introduction to Computer Science, New York University, Sep - Oct 2009

• Machine Learning, University of Utah, Spring 2008

• Computational Statistics, University of Utah, Fall 2007

• Human and Computer Interaction, University of Utah, Spring 2007

Computer Lab Assistant

CADE Lab, University of Utah Mar 2005 - Aug 2007

5 RESEARCH EXPERIENCE

DPLL Satisfiability Solver New York University Spring 2012

• Implementing a DPLL algorithm-based satisfiability solver in C++.

https://github.com/keysforme/MinaSat

Extended Static Checking New York University Fall 2012

• Read related papers and studied on the Extended Static Checking using SPARK and Dafny.

Pascal-like Language Compiler New York University Summer 2011

• Implemented a compiler for a Pascal-like language.

SPARK and SMT solvers New York University Summer 2010 - Fall 2011

• Compared SPARK automated solver and SMT solvers, collected benchmark for SMT solver(CVC4, Z3), and researched about CVC4 and SPARK architecture.

Implementation of Grobner Basis Application New York University Spring 2009

• Research ont Grobner basis and implemented an algorithm in a reference paper.

Thesis Research Project University of Utah Spring 2007 - Spring 2008

Title: Proof-producing theorem proving with congruence closure

• Designed and implemented algorithms for proving first order sentence with equality based on congruence closure algorithm. Used Ocaml to implement.

Automated Reasoning and DPLL University of Utah Summer 2007

• Read related papers and discussed on automated theorem proving and DPLL for proving first order logic sentence with equality equations.

Independent Research Project: Implementation of Finite Automata

University of Utah Fall 2006

• Designed and implemented DFA, NFA, CFG, and regular language and proved Arden’s Lemma. Used sml, and HOL and Jflap.

College Senior Project: DARPA Grand Challenge 2005

University of Utah Fall 2005 - Spring 2006

• In a team of four with Team Juggernaut in Salt Lake City, degined and implemented software for providing the robotic vehicle a path information and actual image drawn with the calculated GPS information. Used Basics and vehicle system.

Operating System: yalnix University of Utah Fall 2007

• Implemented OS with yalnix support in C.

Compiler for a programming language MiniJava University of Utah sping 2006

• Designed a compiler in Java for a MiniJava language from parsing and

generating MIPS code.

Advanced Grapics University of Utah Fall 2005

• Designed and implemented a simple 3D graphics with map editors using OpenGL.

6 EXTRA-CURRICULAR ACTIVITIES

New York University GSAS MacCracken Fellowship Program Aug 2008 – May 2012

5 times in Dean’s list at University of Utah

NYU CS AcSys Formal Verification Group Member Aug 2008 - May 2012

Attended Formal Verification Summer School Summer 2011

Attended Satisfiabilify Modulo Theories Summer School Summer 2011

Attended Safisfiabilify Modulo Theories Workshop Summer 2011

Student Association Vice President at Jungang girls’ high school Fall 1999- Fall 2000

Contact this candidate