Professional headshot

Colin Lim

"I am a systems programmer specializing in zero-cost abstraction and low-level optimization."

About

I am interested in embedded systems, low-level computer graphics (Vulkan), networks, and operating systems. My interest lies particularly in the intersection of theory and implementation - how deep understanding of computer architecture, graphics APIs, and network protocols translates into systems that perform optimally under real-world constraints. I believe the best systems emerge from this marriage of conceptual clarity and performance-conscious engineering.

Research Interests

🔧 Embedded Systems

Low-level hardware interfaces and real-time constraints

🎮 Graphics Programming

Vulkan API and GPU optimization techniques

🌐 Network Systems

Protocol design and network security analysis

⚙️ Operating Systems

Kernel development and system-level programming

Current Project

My main development project is Aragon, a C library focused on zero-cost abstraction principles. The library aims to cover comprehensive functionality while maintaining optimal performance characteristics through careful design and implementation strategies.

Research

Protocol-Agnostic Framework for Network Security Analysis Using Linear Temporal Logic
Principal Investigator: Patrick Traynor
Institution: Department of Computer and Information Science and Engineering (CISE)
Research Center: Florida Institute for Cybersecurity (FICS)
Duration: Since January 2025
🔒 Network Security Analysis Visualization
(Research media will be added here)

Research Focus

This research project focuses on developing the core components of a protocol-agnostic framework for analyzing network security properties. The work will involve implementing state transition modeling using Linear Temporal Logic (LTL), creating packet structure parsers, and developing the underlying framework architecture. This will contribute to the larger goal of enabling automated security analysis across different network protocols.

Project Responsibilities

I am entirely responsible for both the design and implementation of the entire project. This includes architecting the framework's core components, implementing the LTL-based state transition models, developing efficient packet parsing mechanisms, and ensuring the system's protocol-agnostic nature while maintaining performance and accuracy in security analysis.

Coursework

Major: Computer Science
Institution: UF Herbert Wertheim College of Engineering

Relevant Courses

COP 5615 A-
Distributed Operating Systems
CNT 4007 A
Computer Network Fundamentals
COP 4533 A
Algorithm Abstraction and Design
CIS 4301 A-
Information and Database Systems
COP 3530 A
Data Structures and Algorithms
COP 3100 A
Application of Discrete Structures
MAS 3114 A
Computational Linear Algebra
COP 4600 A
Operating Systems

Academic Focus

My coursework emphasizes systems-level programming, network protocols, and algorithmic foundations. The combination of distributed systems, operating systems, and network fundamentals provides a strong theoretical and practical foundation for my research interests in low-level system optimization and security analysis.

CV/Resume

📄 Download Resume/CV (PDF)

Education

Bachelor of Science in Computer Science
University of Florida, Herbert Wertheim College of Engineering
Expected Graduation: May 2026
Major GPA: 4.9

Research Experience

Undergraduate Research Assistant
Florida Institute for Cybersecurity (FICS), University of Florida
January 2025 - Present
• Leading design and implementation of protocol-agnostic network security analysis framework
• Implementing Linear Temporal Logic state transition modeling
• Developing efficient packet parsing mechanisms for multiple network protocols

Technical Skills

Programming Languages: C (primary), Systems Programming
Specializations: Embedded Systems, Vulkan API, Network Programming, Operating Systems
Research Interests: Zero-cost abstraction, Low-level optimization, Protocol analysis
Current Project: Aragon C Library - Comprehensive zero-cost abstraction framework