-
NA
Graduates 09/05/2025
-
B.S. Computer Science
Texas A&M International University
Education
- University: Texas A&M International University
- College: NA
- Major: B.S. Computer Science
- Minors: Mathematics
- Start Date: 10 August 2021
Work Experience
SysML Transpiler Intern
04 June 2024 To 06 August 2024 (2 Months 2 Days)Imandra – SysML V2 Team Intern Summer 2024 (6/3/2024 to 8/16/2024), Austin, TX / London (Remote Collaboration) • Developed a full-stack LLM (Large Language Model) Chatbot application to deliver hallucination-free responses for SysML V2 models, enhancing system usability. • Utilized Ocaml (functional programming), Reason React, and SysML V2 modeling language for end-to-end development, improving model accuracy and user interaction. • Coordinated with a London-based team to align project milestones, demonstrating strong project management and cross-time-zone collaboration skills. • Created presentations and live demos to showcase project progress, leveraging formal methods for system verification. • Relevant Skills: Full-stack development, Ocaml, Reason React, SysML V2, project coordination, formal methods, presentation design.
Skills:
- *nix Systems (Debian and Ubuntu)
- Academic Writing
- Algorithm Analysis
- Full Stack Development
- Functional Programming (OCaml or Haskell)
- Presentation
Equal Employment Opportunity
- LGBTQ: no
- Ethnicity: Two or More Races
- Disability: no
- Veteran: no
- First-generation College Student: no
- Pell Grant Eligibility: no
- Work Authorization: yes
- Visa Sponsorship: no
Personal Information
-
Experience Time
NA
-
Gender
Male
-
Age
-
Currently pursuing
Certificate
-
Languages
english
Skills
- Advanced Python
- C/C++
- Computer Architecture
- Cryptography
- Java
- JavaScript
- Matlab
- Reverse Engineering
Career Interest
Open to Different Industries
Yes
Location Type:
on site, hybrid, remote
Location:
Austin, TX, Dallas, TX, Houston, TX
Employment Type:
internship, entry level jobs
Industry:
- Software Development
