ameer hamza
Computer Science Lab Intern at SRI International
csl intern sri international
computer science graduate student fsu . currently work graduate research assistant area research formal method , program analysis software verification . passionate working different research development project involve learning exposure .
SRI International
https://www.linkedin.com/company/sri-international
https://media-exp1.licdn.com/dms/image/C560BAQFY9MzMwA_QLg/company-logo_100_100/0/1635775749030?e=1655942400&v=beta&t=k9MN3wq_MIxpLxO6d6-2JgphDPygEdR-83iDZjKn3Fk
Computer Science Lab Intern
Florida State University
https://www.linkedin.com/company/florida-state-university
Area of research: Formal Methods
Project: Equivalence Checking of Programs with Loops
Tallahassee, Florida, United States
https://media-exp1.licdn.com/dms/image/C4E0BAQGoGIZO_21A1A/company-logo_100_100/0/1570564597267?e=1655942400&v=beta&t=wYUEXpcDLAjwaq0wjDIeOpSIObcYMYLPOK9M3CpDqrI
Graduate Research Assistant
Florida State University
https://www.linkedin.com/company/florida-state-university
Course: Software Engineering
Responsibilities: Teach recitation classes; assisting students with assignments and course content; grading instruments
Tallahassee, Florida, United States
https://media-exp1.licdn.com/dms/image/C4E0BAQGoGIZO_21A1A/company-logo_100_100/0/1570564597267?e=1655942400&v=beta&t=wYUEXpcDLAjwaq0wjDIeOpSIObcYMYLPOK9M3CpDqrI
Graduate Teaching Assistant
Florida State University
https://www.linkedin.com/company/florida-state-university
Area of research: Software Engineering
Focus of research: Performance of Language Features
Tallahassee, Florida
https://media-exp1.licdn.com/dms/image/C4E0BAQGoGIZO_21A1A/company-logo_100_100/0/1570564597267?e=1655942400&v=beta&t=wYUEXpcDLAjwaq0wjDIeOpSIObcYMYLPOK9M3CpDqrI
Graduate Research Assistant
Florida State University
https://www.linkedin.com/company/florida-state-university
Course: Software Engineering
Responsibilities: Teach recitation classes; assisting students with projects and course content; grading instruments
Tallahassee, Florida
https://media-exp1.licdn.com/dms/image/C4E0BAQGoGIZO_21A1A/company-logo_100_100/0/1570564597267?e=1655942400&v=beta&t=wYUEXpcDLAjwaq0wjDIeOpSIObcYMYLPOK9M3CpDqrI
Graduate Teaching Assistant
Educative, Inc
Worked as a co-author for Python and JavaScript programming challenge questions 
Responsibility: Developed an interactive course for students eager to learn basic data structures and algorithms
United States
Technical Author
Black Collective
Responsibility: Wrote API for CRUD operations for websites and apps using a Nodejs web service framework - restify
Lahore, Pakistan
Backend Developer
LUMS
Responsibilities: Assisted students with programming assignments and course content; grading instruments
Lahore, Pakistan
Teaching Assistant
Program Analysis Group, LUMS
Worked with Java PathFinder (JPF) for Model Checking and Partial Order Reduction
Received a brief introduction to LLVM
Lahore, Pakistan
Research Intern
Doctor of Philosophy - PhD
Computer Science
https://media-exp1.licdn.com/dms/image/C4E0BAQGoGIZO_21A1A/company-logo_100_100/0/1570564597267?e=1655942400&v=beta&t=wYUEXpcDLAjwaq0wjDIeOpSIObcYMYLPOK9M3CpDqrI
Florida State University
https://www.linkedin.com/school/florida-state-university/
Bachelor of Science - BS
Computer Science
https://media-exp1.licdn.com/dms/image/C4E0BAQFW9AiCxBrPwg/company-logo_100_100/0/1519871792235?e=1655942400&v=beta&t=a_zHPRJ91hz6w4HpbgMj8XaVfU13_R8rHSgUiaTZI4A
Lahore University of Management Sciences
https://www.linkedin.com/school/lahore-university-of-management-sciences/
Intermediate
Pre-Engineering
Government College University, Lahore
https://www.linkedin.com/school/government-college-university-lahore/
LUMS
National Outreach Program (NOP) Scholarship Holder
Aga Khan Education Service (AKES) and Aga Khan Youth and Sports Board (AKYSB), Pakistan
National Agahee (Awareness) Quiz Competition Winner
Reducing a task of equivalence checking (relational verification) to a task of safety checking of a product program
Introducing a novel technique for equivalence checking of two programs containing loops that require a nontrivial alignment (not in lockstep composition) inside product program
Automated Alignment for Equivalence Checking
Studied bug reports from bug tracking systems to identify performance bugs, their causes and fixes in different open-source software systems
Worked on a project to evaluate and compare performance of two language features - loops and lists
Performance of Language Features
Developed a peer-to-peer file storage system that serves as a backup for user's data, ensuring certain efficiency and availability
Implemented in Golang
Filesystem build using Golang's bazil.org/fuse library
Peer-to-Peer File Storage
https://github.com/a-hamza-r/p2p-file-storage
Developed a retrieval-based chatbot with reinforced learning; and a personal assistant to help in common everyday tasks
Pseudobot
https://github.com/a-hamza-r/Pseudobot
https://www.linkedin.com/in/arunima1590
Tallahassee, FL
Arunima Mandal
Graduate Research And Teaching Assistant at Florida State University
https://www.linkedin.com/in/fatema-tabassum
Tallahassee, FL
Fatema Tabassum
Graduate Teaching Assistant at Florida State University
https://www.linkedin.com/in/raghavrathi
Tallahassee, FL
Raghav Rathi
Graduate Research Assistant at Florida State University
https://www.linkedin.com/in/yuanhang-shao
Tallahassee, FL
Yuanhang Shao
Research Assistant at Florida State University
https://in.linkedin.com/in/venkat-sumanth-reddy-bommireddy-b6127576
Bengaluru
VENKAT SUMANTH REDDY BOMMIREDDY
Graduate Student at Florida State University
https://www.linkedin.com/in/shuvornb
Tallahassee, FL
Md Shamim Seraj
Graduate Research Assistant | Software Engineer
https://www.linkedin.com/in/danielwkane
Tallahassee, FL
Daniel Kane
Master's Graduate in Computer Science
https://www.linkedin.com/in/nidhi-walia-840497154
Tallahassee Metropolitan Area
Nidhi Walia
Graduate Research Assistant at Florida State University
https://www.linkedin.com/in/arb1205
Tallahassee, FL
Aditya Ranjan Bhattacharya
Applied Scientist Intern at Amazon
https://www.linkedin.com/in/sri-harshini-donthineni-2a88b1161
Atlanta Metropolitan Area
Sri Harshini Donthineni
CTR @Google
https://www.linkedin.com/in/srivallidorasetty
Tallahassee, FL
Srivalli Dorasetty
AWS Certified | Front-end Developer | Java | SDE | Databases | Cloud | Vice-President of Indian Student Association of Tallahassee
https://www.linkedin.com/in/mayurjainsr
Tallahassee, FL
Mayur Jain
Full Stack Blockchain Developer at AmplifyX
https://www.linkedin.com/in/mayank-srivastava-7247a8aa
Denver Metropolitan Area
Mayank Srivastava
Actively Seeking Full-Time Opportunities | Software Developer | Back-end Developer| C | C++| Python | Core JAVA
https://www.linkedin.com/in/shaeke
Tallahassee, FL
Shaeke Salman
Actively Looking for New Opportunities | Ex-Machine Learning Intern @Etsy | Research Assistant in Deep Learning/ML | PhD Candidate @CS FSU
https://www.linkedin.com/in/jgoldenneedham
San Diego, CA
Jacob Golden-Needham
Software Developer
https://www.linkedin.com/in/ahana-roychoudhury
Valdosta, GA
Ahana Roychoudhury
Assistant Professor at Valdosta State University
https://www.linkedin.com/in/patricia-guera-53997a193
Greater Chicago Area
Patricia Guera
Software Developer
https://bd.linkedin.com/in/amitknath
Bangladesh
Amit Kumar Nath
Ph.D. Candidate, 
Graduate Assistant in Systems, 
Department of Computer Science, 
Florida State University
https://www.linkedin.com/in/corinna-chang
San Francisco Bay Area
Corinna Chang
Aspiring Java Software Developer | Seeking Internship
https://www.linkedin.com/in/trina-dutta-51503a17a
Tallahassee, FL
Trina Dutta
Graduate Research Assistant at Florida State University
Liked by Ameer Hamza
https://www.linkedin.com/signup/cold-join
I’m happy to share that I have recently started a new position as R&D Engineer II at Synopsys Inc!I will be working on some cutting edge…
Liked by Ameer Hamza
https://www.linkedin.com/signup/cold-join
Hi LinkedIn Fam,I am excited to announce that I'll be joining Meta (Facebook) this summer as a Software Engineer Intern, at their Menlo Park…
Liked by Ameer Hamza
https://www.linkedin.com/signup/cold-join
“That’s my sister” is what I was yelling when I saw her getting her degree. She has made us all proud. Although our father is not among us anymore…
https://pk.linkedin.com/in/hamzahr
Pakistan
Ameer Hamza
HR Manager at Multinational Corporation
https://pk.linkedin.com/in/ameer-hamza-16340bb8
Pakistan
Ameer Hamza
Internal Auditor | Control Specialist | Finance Professional
https://pk.linkedin.com/in/ameer-hamza-99362349
Lahore District
Ameer Hamza
Key Account Manager
https://pk.linkedin.com/in/ameer-hamza-90a298bb
Lahore
Ameer Hamza
Builders Land Provider & Developer
https://pk.linkedin.com/in/ameer-hamza-a64402b9
Khyber Pakhtunkhwa, Pakistan
Ameer Hamza
District Internal Controls & Monitoring Officer (ICMO) at United Bank Limited
GitHub Product Community
https://media-exp1.licdn.com/dms/image/C5607AQF8LDPrUGJRUw/group-logo_image-shrink_92x92/0/1632175733833?e=1647687600&v=beta&t=jch2GLv3Botig9eOVrdxmrBfz3fi3RjgNTCGRRk5hHk
https://www.linkedin.com/groups/13971161
LUMS Alumni in U.S.A.
https://media-exp1.licdn.com/dms/image/C4E07AQGF8uN-tDFBAQ/group-logo_image-shrink_200x200/0/1631376432026?e=1647687600&v=beta&t=BWHuGjUtOyJhfyvMYWIREepa-OPc-lHNaEPU473R5fk
https://www.linkedin.com/groups/4975099