Lebanon

Stream: Geographic locality

[Rida Hamadani]

@Jafar Tanoukhi and I are meeting in Beirut to chat about Lean. We would be happy if you could join us. :big_smile:

[Bashar Hamade]

Well I'm part of both Lebanon and Saarbrücken chats I guess :)

[Swapna Iyer]

Hi I am Swapna, building https://app.thelabcompany.co/ so everyone can participate in building cool things with technology. So excited and thankful for this class on Lean and providing access to anyone to learn on the edge of technology! Thank you :heart:

[Sal Hasan]

I'm Sal, learning Lean4 with PROOF101 gang. Nice to meet you all!

[Karsten Pedersen]

Hi, I'm Karsten. I’m a CS master's student at the University of Southern Denmark. I'm have joined the course PROOF101 at AUB. I'm excited to learn more about Lean4 and formal methods.

[Jafar Tanoukhi]

Hi i'm Jaafar Tanoukhi and i like lean. Currently learning it using the Proof 101 course.

[sujan]

Hello Sujan Acharya here from Nepal. Currently in Proof101.

[Hadi Al Shmaissani]

Hello Lean community!

My name is Hadi. I am an Electrical and Computer Engineering (ECE) & CS student at AUB. I'm looking forward to learn more about Lean4 in the Proof101 course!

[Attas]

Hello I'm Fatma an undergraduate student, and I look forward to learn more about lean4 and it's applications.

[Saad Siddiqui]

Hello, I'm Saad. I am an Electronics engineer from India working on post-quantum cryptography. I am really interested in formal verification and how I can formally prove the RTL using mathematical models. i would love to know more about Lean and how I can actively contribute to it.

[Daniel Dia]

Hello! I am Daniel Dia, a Computer & Communications Engineering and Mathematics student at AUB, interested in the intersection between systems, cryptography, and formal verification. I am the primary "instructor" and organizer of the PROOF101 (Introduction to Formal Verification & Proof Assistants) seminar series (or "course" if you like), and I am very excited to introduce Lean4 to our students!

[Varsha Jarali]

Hello, I am Varsha Jarali. I have completed Ph.D in Mathematics. I am currently working on a project focused on the "formal verification of cryptographic protocols". As part of this work, we use tools such as ProVerif, CryptoVerif, and Frama-C for protocol and implementation-level verification. In addition, we are thinking to explore the use of Lean4 to formally prove the correctness of cryptographic operations and to extract verified implementations for further use. Through this course, I hope to gain a strong foundational understanding of Lean4, including its proof methodology and practical workflow. I believe that your guidance and expertise will significantly support our learning process and help us effectively integrate Lean4 into our verification pipeline.

[Johan Commelin]

@topic Thanks all for introducing yourselves! Are all of you in Lebanon? This channel is meant for people finding other Lean users near them, and potentially organizing local meetups. So please post in a (new) thread that is about your city/region/country.

[Rida Hamadani]

@Johan Commelin apologies, it is my fault, I thought all the students are from Lebanon and suggested @Daniel Dia to ask them to introduce themselves here.

[Nour Chehab]

Hello Lean community! I am a computer science student at AUB and I am very curious about learn4, so I am excited to learn more about it in the proof101 course which I am attending in person.

[Mohamed Mahdi Tarhini]

Hello, im Mohamed Mahdi, a third year mechanical engineering student at AUB

[Ali Jradi]

Hi, I'm Ali. I'm a CS graduate from Al Maaref University and I'm learning formal verification in the Proof 101 Course at AUB.

[Sinan Akpolat]

Hello, I'm Sinan. I will be following Proof 101 course at AUB. I'm not in Lebanon or AUB but I still wanted to say hi. Especially after seeing all the other greeting messages.

I graduated from Maths a long time ago and I have been working as a software developer and IT / Cloud infrastructure engineer. I know Scala and I wanted to learn dependent type theory and Lean as well for a long time. I'm so gald that I came across this course and eventually this community.

[Manar Darsa]

Hello, I'm Manar, a CS student at the Lebanese University. I have joined the proof101 course at AUB to learn about lean4 and formal methods. Excited to be part of this community.

[Maryam Fakih]

Hello everyone! I’m Maryam Fakih, a computer science student at LU. I recently came across a LinkedIn post about Proof101, and the title immediately caught my attention. What could be better than formally proving that a program is correct?

I signed up right away and have been really curious about Lean4 ever since. A big thank you to Daniel Dia for introducing us to the world of formal verification!

[Layan Jaber]

Hello! I'm Layan Jaber, a first year Electrical and Computer Engineering student. Looking forward to learning about Lean4 with the Proof101 course and engaging with its community!

[Abbas Alshab]

Hello! I'm Abbas Al Shab. A senior year computer science student at LIU. Thrilled to be learning about Lean4 through the Proof101 course!

[Ritwik Sen]

Hello, I'm Ritwik Sen. I'm a cryptography professional taking this course to learn the dark arts of formal verification :octopus:

[Heba Bitar]

Hello lean community! I am Heba Bitar, a Computer Science student at LU. I’ve always been fascinated by the intersection of Mathematics and CS, which is what led me to join the PROOF101 seminar. I’m excited to dive into formal verification and explore how Lean4 can be used to bridge these two worlds. Looking forward to learning with you all!

[Anuj More]

(deleted)