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
Computer Science Lab Intern
https://media-exp1.licdn.com/dms/image/C560BAQFY9MzMwA_QLg/company-logo_100_100/0/1635775749030?e=1655942400&v=beta&t=k9MN3wq_MIxpLxO6d6-2JgphDPygEdR-83iDZjKn3Fk
Florida State University
https://www.linkedin.com/company/florida-state-university
Graduate Research Assistant
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
Florida State University
https://www.linkedin.com/company/florida-state-university
Graduate Teaching Assistant
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
Florida State University
https://www.linkedin.com/company/florida-state-university
Graduate Research Assistant
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
Florida State University
https://www.linkedin.com/company/florida-state-university
Graduate Teaching Assistant
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
Educative, Inc
Technical Author
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
Black Collective
Backend Developer
Responsibility: Wrote API for CRUD operations for websites and apps using a Nodejs web service framework - restify
Lahore, Pakistan
LUMS
Teaching Assistant
Responsibilities: Assisted students with programming assignments and course content; grading instruments
Lahore, Pakistan
Program Analysis Group, LUMS
Research Intern
Worked with Java PathFinder (JPF) for Model Checking and Partial Order Reduction
Received a brief introduction to LLVM
Lahore, Pakistan
Computer Science
Doctor of Philosophy - PhD
Florida State University
https://www.linkedin.com/school/florida-state-university/
https://media-exp1.licdn.com/dms/image/C4E0BAQGoGIZO_21A1A/company-logo_100_100/0/1570564597267?e=1655942400&v=beta&t=wYUEXpcDLAjwaq0wjDIeOpSIObcYMYLPOK9M3CpDqrI
Computer Science
Bachelor of Science - BS
Lahore University of Management Sciences
https://www.linkedin.com/school/lahore-university-of-management-sciences/
https://media-exp1.licdn.com/dms/image/C4E0BAQFW9AiCxBrPwg/company-logo_100_100/0/1519871792235?e=1655942400&v=beta&t=a_zHPRJ91hz6w4HpbgMj8XaVfU13_R8rHSgUiaTZI4A
Pre-Engineering
Intermediate
Government College University, Lahore
https://www.linkedin.com/school/government-college-university-lahore/
National Outreach Program (NOP) Scholarship Holder
LUMS
National Agahee (Awareness) Quiz Competition Winner
Aga Khan Education Service (AKES) and Aga Khan Youth and Sports Board (AKYSB), Pakistan
Automated Alignment for Equivalence Checking
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
Performance of Language Features
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
Peer-to-Peer File Storage
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
https://github.com/a-hamza-r/p2p-file-storage
Pseudobot
Developed a retrieval-based chatbot with reinforced learning; and a personal assistant to help in common everyday tasks
https://github.com/a-hamza-r/Pseudobot
https://www.linkedin.com/in/arunima1590
Arunima Mandal
Graduate Research And Teaching Assistant at Florida State University
Tallahassee, FL
https://www.linkedin.com/in/fatema-tabassum
Fatema Tabassum
Graduate Teaching Assistant at Florida State University
Tallahassee, FL
https://www.linkedin.com/in/raghavrathi
Raghav Rathi
Graduate Research Assistant at Florida State University
Tallahassee, FL
https://www.linkedin.com/in/yuanhang-shao
Yuanhang Shao
Research Assistant at Florida State University
Tallahassee, FL
https://in.linkedin.com/in/venkat-sumanth-reddy-bommireddy-b6127576
VENKAT SUMANTH REDDY BOMMIREDDY
Graduate Student at Florida State University
Bengaluru
https://www.linkedin.com/in/shuvornb
Md Shamim Seraj
Graduate Research Assistant | Software Engineer
Tallahassee, FL
https://www.linkedin.com/in/danielwkane
Daniel Kane
Master's Graduate in Computer Science
Tallahassee, FL
https://www.linkedin.com/in/nidhi-walia-840497154
Nidhi Walia
Graduate Research Assistant at Florida State University
Tallahassee Metropolitan Area
https://www.linkedin.com/in/arb1205
Aditya Ranjan Bhattacharya
Applied Scientist Intern at Amazon
Tallahassee, FL
https://www.linkedin.com/in/sri-harshini-donthineni-2a88b1161
Sri Harshini Donthineni
CTR @Google
Atlanta Metropolitan Area
https://www.linkedin.com/in/srivallidorasetty
Srivalli Dorasetty
AWS Certified | Front-end Developer | Java | SDE | Databases | Cloud | Vice-President of Indian Student Association of Tallahassee
Tallahassee, FL
https://www.linkedin.com/in/mayurjainsr
Mayur Jain
Full Stack Blockchain Developer at AmplifyX
Tallahassee, FL
https://www.linkedin.com/in/mayank-srivastava-7247a8aa
Mayank Srivastava
Actively Seeking Full-Time Opportunities | Software Developer | Back-end Developer| C | C++| Python | Core JAVA
Denver Metropolitan Area
https://www.linkedin.com/in/shaeke
Shaeke Salman
Actively Looking for New Opportunities | Ex-Machine Learning Intern @Etsy | Research Assistant in Deep Learning/ML | PhD Candidate @CS FSU
Tallahassee, FL
https://www.linkedin.com/in/jgoldenneedham
Jacob Golden-Needham
Software Developer
San Diego, CA
https://www.linkedin.com/in/ahana-roychoudhury
Ahana Roychoudhury
Assistant Professor at Valdosta State University
Valdosta, GA
https://www.linkedin.com/in/patricia-guera-53997a193
Patricia Guera
Software Developer
Greater Chicago Area
https://bd.linkedin.com/in/amitknath
Amit Kumar Nath
Ph.D. Candidate, 
Graduate Assistant in Systems, 
Department of Computer Science, 
Florida State University
Bangladesh
https://www.linkedin.com/in/corinna-chang
Corinna Chang
Aspiring Java Software Developer | Seeking Internship
San Francisco Bay Area
https://www.linkedin.com/in/trina-dutta-51503a17a
Trina Dutta
Graduate Research Assistant at Florida State University
Tallahassee, FL
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…
https://www.linkedin.com/signup/cold-join
Liked by Ameer Hamza
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…
https://www.linkedin.com/signup/cold-join
Liked by Ameer Hamza
“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://www.linkedin.com/signup/cold-join
Liked by Ameer Hamza
Ameer Hamza
https://pk.linkedin.com/in/hamzahr
HR Manager at Multinational Corporation
Pakistan
Ameer Hamza
https://pk.linkedin.com/in/ameer-hamza-16340bb8
Internal Auditor | Control Specialist | Finance Professional
Pakistan
Ameer Hamza
https://pk.linkedin.com/in/ameer-hamza-99362349
Key Account Manager
Lahore District
Ameer Hamza
https://pk.linkedin.com/in/ameer-hamza-90a298bb
Builders Land Provider & Developer
Lahore
Ameer Hamza
https://pk.linkedin.com/in/ameer-hamza-a64402b9
District Internal Controls & Monitoring Officer (ICMO) at United Bank Limited
Khyber Pakhtunkhwa, Pakistan
https://media-exp1.licdn.com/dms/image/C5607AQF8LDPrUGJRUw/group-logo_image-shrink_92x92/0/1632175733833?e=1647687600&v=beta&t=jch2GLv3Botig9eOVrdxmrBfz3fi3RjgNTCGRRk5hHk
GitHub Product Community
https://www.linkedin.com/groups/13971161
https://media-exp1.licdn.com/dms/image/C4E07AQGF8uN-tDFBAQ/group-logo_image-shrink_200x200/0/1631376432026?e=1647687600&v=beta&t=BWHuGjUtOyJhfyvMYWIREepa-OPc-lHNaEPU473R5fk
LUMS Alumni in U.S.A.
https://www.linkedin.com/groups/4975099