Alumni

B.Sc. in Computer Engineering (2014) B.Sc. in Mathematics (2014) M.Sc in Computer Science in the field of Formal Verification (Concurrent Software Model Checking), under the supervision of Prof. Orna Grumberg and Dr. Sharon Shoham (2018) at the Technion.

Publications:

• Generating Tests by Example. VMCAI 2018 – Hila Peleg, Dan Rasin, Eran Yahav
• Generating Modulo-2 Linear Invariants for Hardware Model Checking, HVC 2014 – Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin
• Modular Verification of Concurrent Programs via Sequential Model Checking  – Dan Rasin, Orna Grumberg, Sharon Shoham

Significant Projects:

• Ad-Hoc SMS Network for Android devices: with Omri Dor, supervised by Aran Bergman
  https://labadmin.ef.technion.ac.il/files/files/show/FileId/1546/Download/1
  Won the "best project" award of the NSSL Lab.
• Demographics & Voting Patterns: A Machine Learning Analysis of Election Results and Census Data, with Omri Dor, supervised by Koby Crammer, Daniel Barsky
  http://webee.technion.ac.il/control//info/Projects/Students/2013/Omri%20Dor%20and%20Dan%20Rasin/Web%20Page/project.html
  Won the "2015 Elections Datathon" hosted at facebook. See jerusalem post article:
  https://www.jpost.com/Israel-Elections/Start-up-nation-takes-on-election-numbers-in-data-thon-391910

Personal:
I love the outdoors, and enjoy all sorts of sports.
I also have great interests in languages (and I speak Hebrew, English, Russian and German).

My recommendation for program participants: Don't be afraid to ask questions, explore, and always aim high.
But more importantly, don't forget to have fun during your studies.
There are amazing talented people around you. Interact, form connections, and do great things together.

LinkedIn:
https://www.linkedin.com/in/dan-rasin-57b92897