axelcool1234 Goto Github PK

• I am currently studying to be a full-time software engineer at University of California, Irvine. It's nice to meet you!
• I have had a passion for computer science since I started middle school. Ever since then my interest and passion has continued to grow.
• I have a strong interest in programming language theory and compilers.
• I am actively searching for a summer 2025 internship.

• axelcool1234/inscryption-card-printer - Web app for dynamically generating card designs
• joeyabsi22/Gmail-Wrapped - A 12 hour hackathon project designed to find the most common senders in your Gmail inbox. I worked on API handling. The project won 3rd place at UCI's ZotHacks!

The best way to contact me professionally is through my professional email. If you want to contact me casually, it might be best to talk to me on Discord. I'd love to talk to you!

• Professional Email
• LinkedIn
• Discord - Axelsoft

• Continuing my junior year of UCI's computer science program.
  • Introduction to Artificial Intelligence: Different means of representing knowledge and uses of representations in heuristic problem solving. Representations considered include predicate logic, semantic nets, procedural representations, natural language grammars, and search trees.
  • Machine Learning and Data-Mining: Introduction to principles of machine learning and data-mining applied to real-world datasets. Typical applications include spam filtering, object recognition, and credit scoring.
  • Computational Geometry and Geometric Modeling: Algorithms and data structures for computational geometry and geometric modeling, with applications to game and graphics programming. Topics: convex hulls, Voronoi diagrams, algorithms for triangulation, motion planning, and data structures for geometric searching and modeling of 2D and 3D objects.
  • Algorithmic Game Theory: Cover topics at the interface of theoretical computer science and economics: zero sum games and LP duality, mechanism design, voting and impossibility theorems, "price of anarchy". Algorithms and complexity theory for learning and computing Nash equilibria.
  • Compiler Research: I will be working with Professor Franz on his compiler research.
• Type Theory and Programming Languages: Exploring various type systems, their properties, and their implementation in programming languages. Emphasis will also be placed on proof techniques, functional programming paradigms, and basic theory of programming languages to provide a holistic view of the subject.
• Comprehensive Rust Programming: From Basics to Production: A thorough introduction to Rust programming, progressing from fundamental concepts to building a professional-grade web application. The goal is to gain a solid understanding of Rust and its applications in modern software development.
• As a grader, I also grade and provide feedback for Professor Thornton's computer science courses.