Hassaan Atif

I'm all about :
- programming (java/c++)
- formal-methods
- Theatre / Dance / Social Activism
- AI/ML

CS Graduate '23

[Hassaan Atif @RealHassaan]

So I am trying to transition towards an "academic-twitter" profile 🎓 and become more active here.
Oh, also! I recently did a thing, guys.
Safe to say that human hearts 💓are greatly revered for purposes other than valentines 🌹.

Also, hi! 🌟 (If you're new here)

[Hassaan Atif @RealHassaan]

Fun fact: When the heart speaks, however simple the words, its language is always acceptable to those who have hearts

[Hassaan Atif @RealHassaan]

So I am trying to transition towards an "academic-twitter" profile 🎓 and become more active here.
Oh, also! I recently did a thing, guys.
Safe to say that human hearts 💓are greatly revered for purposes other than valentines 🌹.

Also, hi! 🌟 (If you're new here)

[Hassaan Atif @RealHassaan]

@lxieyang Meanwhile I'm casually sipping on my 8th cuppa of the day.

[Hassaan Atif @RealHassaan]

I have been looking into automated theorem proving. I taught myself Coq, a functional programming language and a tool that aids in formalizing different systems and allows us to reason about them mathematically.
Here, I have provided a primer on Coq.
https://t.co/GKmW4e3juJ

[Hassaan Atif @RealHassaan]

This is the school that I went to, 12 years back.
I am devastated by seeing that the kids who go there had to attempt their exams on the road.
#savecmtb

[Hassaan Atif @RealHassaan]

@_gcuacm @zaidia @gcuniversitylhr Best-of-luck, GCU ACM!
Proud to see some of my friends on here. Make it big, guys! 🌺

[Hassaan Atif @RealHassaan]

It was an honor and privilege for me to perform at Punjab Complex last weekend as part of Ajoka Theater's "Jhalli Kithay Jaway" play. I portrayed the role of "Aamil Alishaan" here.
#TheatreCommunity #TheatreForSocialChange

[EISHA_ AYUB22 @EishaMalik22]

With all our due respect, we would like to thank you sir @zaidia for encouraging and motivating us.
Looking forward for more opportunities to make you and @gculahore proud!✨
#TEAMGCU
@RealHassaan
@AttaNiaz12
@BhattiMaida
@us_maans
@Ahsankhan1432
@MustafaMehboob5
M.zubair

[Hassaan Atif @RealHassaan]

@zaidia sir, there is an immense talent in our university and this is just a proof of it. They carry a great love for GCU. We would like to thank you for consistently encouraging our youth. Special thanks to our Comp Sci head of the dept Prof.Dr. Syed Asad Raza Kazmi, and others

[Hassaan Atif @RealHassaan]

"Ask not what your country can do for, but ask what you can do for your country".
I lead a team of 7 devs, all from @gcuniversitylhr , and we competed against 27 startups in Pakistan and secured a winning place at National Youth Fest Pakistan. We proudly carry our tag!
@zaidia

[Hassaan Atif @RealHassaan]

Fun-fact: These talented guys are in their 3rd semester. Together, we pitched our upcoming food-based startup called "Khwaraak". Proud of you guys!
@AttaNiaz12
@EishaMalik22
@BhattiMaida
@MustafaMehboob5
@ahsankhan1432
@UsmanDev12345
M.Zubair

[Hassaan Atif @RealHassaan]

The correct answer is:
FEDDERS!!

[Hassaan Atif @RealHassaan]

@OnlyFeatures @DothTheDoth @Judd_of_Kryos So it's like Uwuuuu but better, innit?

[Nicola Glencross @nikkistorm08]

💯 this.

I wouldn’t be here without incredible people in my life. My family. My friends from both sides of the pond.

And my love. My guy. My dude. My teammate, my partner. My husband. @DamoMackle thank you so much baby

[Hassaan Atif @RealHassaan]

Preach!

[Hassaan Atif @RealHassaan]

I am something of an Andy myself these days. Anyone else?
#Andy #sad #sadandy #lonely #lonelyandy #sadlonelypureandy

[Hassaan Atif @RealHassaan]

I have been very inactive on this platform for a long time, but since I am getting new followers, I have started feeling slightly slightly famous which, in turn, has pumped my urge to shamelessly seek attention from this part of the interwebz. Anyways, howdy ya'll!

[Association for Computing Machinery @TheOfficialACM]

On June 18, ACM Distinguished Speaker Junaid Qadir of Information Technology University, Lahore will be giving the lecture, “Effective 21st Century/Beyond 2020 Computer Scientists and Engineers: Essential Competencies,” hosted by GCU-ACM Student Chapter.

Find out more: ...

[Hayha Bots @HayhaBots]

Giveaway Time! 🎁

Prizes:
• 1x @ahiddensociety renewal
• 3x @HayhaBots monthlies
��� 3x @soleaio monthlies
• 1x @CatalystAIO ps5
• 3x @eStockSoftware monthlies

To enter:
• Follow all accounts
• RT this post

Ends in 48 hours! ⏰

[Hassaan Atif @RealHassaan]

Stop sending me this shit!