Reuven Yagel

Department of Software Engineering http://jce.ac.il/category/reuven yagel Jerusalem College of Engineering [email protected], @reuvenyagel POB 3566 Jerusalem 91035 03-5723276 Israel 052-8923845 Education

Ben-Gurion University of the Negev, Beer-Sheva, Israel. 2007 Ph.D. in Computer Science. Advisor: Prof. Shlomi Dolev. Thesis topic: Self-Stabilizing Operating Systems.

Ben-Gurion University of the Negev, Beer-Sheva, Israel. 2000 M.Sc. in Computer Science. Advisor: Dr. Michael Elhadad. Thesis topic: A Distributed Object-based Middleware for Simulations.

Ben-Gurion University of the Negev, Beer-Sheva, Israel. 1998 B.Sc. in Math. and Computer Science.

Herzog College of Gush-Etzion, Alon-Shevut, Israel. 1995 Teaching Diploma in Oral Torah.

Employment 2008-Present, Jerusalem College of Engineering, Senior Lecturer at the Software Engineering Department. Courses: Software Engineering, Operating Systems, Distributed/Cloud Systems, Compilers. Head of Software Engineering Studies and various commitee activities. Graduate project instructor.

1998-Present, Raf. ,

• 2009-2011 - Developing a distributed count-down system (.Net), Research of tra- jectory estimation algorithms for multi-target trackers. Development of automatic tracker based on a video tracker.

• 2006-2008 - Leading a command & control project (.Net). Developing an ORM layer (Linq and ASP-MVC). Integration of motion simulations with operational systems.

1 • 2000-2005 - developed and lead several small C4 projects. developed interfaces and debrieﬁng systems for an electronic warfare test range (C++/ MFC/ .Net environments), and GPS based exercise planning and monitoring system. Managed computer operations center .

• 1998-1999 - Developing threat debrieﬁng systems for the IAF (Windows/C++). Programming and operating a test-range control system (OpenVMS/C). Devel- oping remote control system for sensors (IRIG-B, C++).

2010 Summer, Typemock , Consultancy for developing two unit-testing products: TestLint (.Net unit testing guidance), Isolator++ (C++ Isolation framework).

2007-2008 Ben-Gurion University of the Negev, Beer-Sheva, Israel. PostDoc position. Advisors: Prof. Dani Berend & Shlomi Dolev.

• Developing ﬁrmware-based monitoring system (Intel amt)

• Graduate project instructor

1998-2004, High School, Mizpe-Ramon.

• CS & Math teacher, preparing students for 5 point CS exams.

Other professional activities (selected): open source involvement, help with a kids programming language (Small Basic), Elementry school grading system, various tech- nical user groups, knowledge management work, etc..

Research Grants: 2009-11 - Amazon Web Services research credit grant, 2011 - Github educational grant. 2012 - France telecom grant. Conference Publications

R. Yagel. “Can Executable Speciﬁcations Close the Gap between Software Require- ments and Implementation?”,The 3rd International Conference on Knowledge Discov- ery, Knowledge Engineering and Knowledge Management (IC3K) - SKY Workshop, Paris, France, 2011.

S. Dolev, G. Leshem, R. Yagel. “Purifying Data by Machine Learning with Certainty Levels”, Proc. of the 10th Bar-Ilan Symposium on the Foundations of Artiﬁcial Intel- ligence (BISFAI’09), 2009, and Proc. of the 3rd ACM sigops/sigact Workshop on

2 Reliability, Availability, and Security (WRAS’10) , July 2010.

S. Dolev, R. Yagel. “Stabilizing Trust and Reputation for Self-Stabilizing Eﬃcient Hosts in Spite of Byzantine Guests”, Proc. of the 9th International Symposium on Stabiliza- tion, Safety, and Security of Distributed Systems (SSS’07), pp. 266-280, Paris, France, 2007.

O. Brukman, S. Dolev, Y. Haviv, R. Yagel. “Self-Stabilization as a Foundation for Autonomic Computing”, Proc. of the ARES 2007, 1st Workshop on Foundations of Fault-tolerant Distributed Computing (FOFDC’07), pp. 991-998, Vienna, Austria, 2007.

S. Dolev, R. Yagel. “Self-Stabilizing Device Drivers”, Proc. of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS’06), pp. 276-289, Dallas, Texas, 2006.

S. Dolev, R. Yagel. “Memory Management for Self-Stabilizing Operating Systems”, Proc. of the 7th Symposium on Self Stabilizing Systems (SSS’05), pp. 113-127, Barcelona, Spain, 2005.

S. Dolev, R. Yagel. “Self-Stabilizing Operating Systems”, Online Proc. of the 20th ACM Symposium on Operating Systems Principles (SOSP’05), Brighton, UK, 2005 (Poster Abstract).

S. Dolev, R. Yagel. “Toward Self-Stabilizing Operating Systems”, Proc. of the 15th Dexa, 2nd International Workshop on Self-Adaptive and Autonomic Computing Sys- tems (SAACS’04), pp. 684-688, Zaragoza, Spain, 2004

Journal Publications S. Dolev, R. Yagel. “Stabilizing Trust and Reputation for Self-Stabilizing Eﬃcient Hosts in Spite of Byzantine Guests”, Acm Operating System Review (osr) , Vol. 44, No. 3, July 2010.

S. Dolev, R. Yagel. “Self-Stabilizing Device Drivers”, ACM Transactions on Autonomous and Adaptive Systems (taas) , Vol. 3, No. 4, November 2008.

S. Dolev, R. Yagel. “Towards Self-Stabilizing Operating Systems”, IEEE Transactions on Software Engineering (tse), Vol. 34, No. 4, July/August 2008.

S. Dolev, R. Yagel. “Memory Management for Self-Stabilizing Operating Systems”, The Journal of Aerospace Computing, Information, and Communication (jacic), pp. 260-280, Vol. 3 No 6. June 2006.

3 Invited Articles

O. Brukman, S. Dolev, Y. Haviv, L. Lahiani, R. Kat, E. M. Schiller, N. Tzachar, R. Yagel. “Self-Stabilizing from Theory to Practice”. Bulletin of the European Association for Theoretical Computer Science (eatcs), No. 94, February 2008.

Abstracts presented in international events (selected)

“Self-Stabilizing Host Systems”, Haifa Systems and Storage Conference 2007 (systor) - Virtualization Workshop, 2007.

“Self-Stabilizing Operating Systems”, Online Proc. of the 20th ACM Symposium on Operating Systems Principles (sosp’05), Brighton, UK, 2005.

“Self-Stabilizing Operating Systems”, the 1st EuroSys Doctoral Workshop, 2005, and SwTE’05 IEEE International Software Conference on Software - Science, Technology & Engineering, 2005.

“Realizing Self-stabilization for Autonomic Control Systems”, International Test and Evaluation Association (itea) annual event, Palmachim, 2005.

“Toward Self-Stabilizing Operating Systems”, Systems and Storage ’03, Haifa, 2003, and SwSTE’03 ieee International Software Conference on Software - Science, Technol- ogy & Engineering, 2003.

Academic Activities/Assistance (selected)

Program Committees. Software Knowledge (SKY 11 ’12), International Confer- ence on Autonomic and Autonomous Systems (ICAS’07,’08,’09,’10, ’11, ’12, ’13), Self- Organization and Autonomous Systems in Computing and Communications (SOAS’06,’07), Patterns ’09 ’10, SEPG ’10. Journal Reviews. IARIA Int. Journal of On Advances in Intelligent Systems (’12), Journal of Systems and Software (JSS’04, ’11, ’12), Transactions on Autonomous and Adaptive Systems (TAAS’06). Conference Reviews. Symposium on Principles of Distributed Computing (PODC’05), Symposium on Distributed Computing (DISC’06), Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS’05,’06,’07), Haifa Systems and Storage (SYS- TOR’07,’10), International Parallel and Distributed Processing Symposium (IPDPS’09) College Committees: Teaching, Appeals, Unit for Quality of Teaching. Undergraduate Project Supervision. Talks and Presentations.

Awards (selected)

4 Industry excellence prize, ’99, ’06, ’07 . Ph.D. excellence prize for paper publishing, ’06, ’07. B.Sc. and M.Sc. excellence, ’98, ’01.

At last some personal info:

I enjoy reading, running, and nature hiking & biking. In 2006 I climbed Mt. Kiliman- jaro, Tanzania. In 2012 I ran my 1st marathon at Tiberias, Israel.