Hello

Full stack Software Developer.

About me

I'm a junior at Berry College, pursuing a double major in Computer Science and Mathematics. Passionate about expanding my knowledge and skills, I thrive on learning new concepts and technologies. As a fast learner, I embrace challenges and seek opportunities to grow both academically and professionally. When I'm not immersed in the world of programming and problem-solving, you can find me on the soccer field, indulging in my love for the game and the camaraderie it brings.

technologies

  • java
  • html
  • javascript
  • css
  • coq
  • Dr.Racket
  • node.js
  • react
  • github

completed classes

  • csc 120: designing programs
  • csc 121: Object-Oriented Program Design
  • csc 219: discrete structures
  • csc 225: data structures & algorithms
  • mat 201: calculus I
  • mat 202: calculus II
  • mat 203: calculus III
  • mat 303: linear algebra
  • elt 002: engineering graphics

upcoming classes

-Fall 2023-

  • csc 232: competitive programming
  • csc 245: web tech & programming
  • csc 420: artificial intelligence
  • mat 305: Proof structures & Techniques

experience

  • csc teaching assistant
    • Assist 50 students in learning the basics of csc
    • Meet with students in office hours and lab settings
    • grade student work and provide helpful feedback
    • Demonstrate excellent communication about programming strategies
  • csc research assistant
    • answer the question 'Is my program correct?'
    • Explore theory and tools used to reason about software correctness
    • Use formal verification and proofs to prove software correctness with assistance of coq
    • most recent proof was on k-nearest neighbor algorithm
Skills and experience

contact

Interested in working together? Lets connect via linkedin or email