About Me

I am Jerry, a fourth year computer science major at Grinnell college. I am proficient in Java and Python, and I am also interested in functional programming languages, especially Haskell. In this past summer, I worked at University of Iowa’s Carver College of Medicine as a Bioinformatics research intern, and I led the development of the Prokaryotic Virus Orthologous Groups Database website, which contains complete information of several thousand virus genomes, and basically all relative information about Prokaryotic Virus Orthologous Groups. By adding more user-friendly features, my team hopes researchers and students can have a better researching experience.

Last summer, I built a proof assistant to show the correctness of a program using Haskell. My team adopted Agile methodology for team development, and we used GitHub to track our progresses. Our tool aims to facilitates students’ understandings of mathematics concepts in computer science, for example, induction. We teach student how to prove the correctness of their programs, and hence help them write better code in the future. We presented our final product in Midwest Programming Language conference as well as SIGCSE 2017. You can easily find a short paper we published in ACM digital library.

I am currently an iOS engineer for Grinnell college AppDev, and an individual tutor for Grinnell college's computer science department. Besides my working experiences as a computer science major student, I am also leading the Brazilian Jiu Jitsu club on campus, and I am responsible for contacting and bringing certified coaches to the club and applying for fundings.

Gallery

Gallery is under construction, please come back later

Contact

• Twitter
• Facebook
• Instagram
• GitHub

Elements

i = 0;

while (!deck.isInOrder()) {
    print 'Iteration ' + i;
    deck.shuffle();
    i++;
}

print 'It took ' + i + ' iterations to sort the deck.';