Intro
With over years of experience in delivering
innovative software solutions, I've been pushing the boundaries of convention throughout my career.
Since early 2022, I've served software companies as a Technical Advisor, Interim VP of Engineering,
Fractional CTO, and leadership mentor.
I designed and managed the software stack for tooz technologies' smart glasses
(patent pending), led the creation
of a cloud-based software development platform at Huawei, invented an intelligent test data generation tool for
SAP HANA (patented), and developed tools for
modeling decision support systems at Defence R&D Canada
(winner of SFU Dean of Graduate Studies medal in 2010).
As a proponent of servant leadership, I strive to empower my teams, believing that empowerment is crucial
for high-performing, engaged teams. Over the past years,
I've passionately mentored, helped, and empowered software engineers. I've supervised BSc, MSc, and Ph.D. theses for over a
decade, became a team lead at Huawei, established and led the software department at tooz technologies,
and spearheaded a 3X growth of the engineering department at Userlane in just under two years.
In my spare time, I enjoy reading, making music, building DIY home automation services and sensors,
exploring the possibilities of the Internet of Things, and contemplating the future of our minds beyond our bodies.
Services
1. Fractional or Interim CTO/VP of Engineering
Cultivating Success Through Technical Leadership
I take great pleasure in assisting software organizations and team leads during their early growth stages,
helping them navigate and overcome the technical and leadership challenges they encounter.
With a deep understanding of the art of building software, I excel at uniting and empowering teams of engineers
to deliver groundbreaking solutions that generate tangible business value.
As a Fractional or Interim CTO, my focus is on fostering a culture of innovation, collaboration, and continuous
improvement that drives both individual and organizational success.
2. Technical Advisory
The Art of Building Software
I'm passionate about enabling the creation of innovative, scalable, and maintainable software solutions that can grow with your business.
To achieve this, it's essential to strike the right balance between understanding the needs, designing a solid foundation that can withstand
the test of time and changing demands, and writing elegant, easy-to-understand, and maintainable code.
3. Leadership Mentor
Empowering Tomorrow's Leaders
As a dedicated leadership mentor, I'm committed to fostering the growth and development of emerging leaders in the technology industry. My mentorship
approach emphasizes servant leadership, empowering individuals to reach their full potential by honing their decision-making, communication, and problem-solving skills.
By sharing my experience and insights, I help aspiring leaders navigate the challenges of the rapidly evolving tech landscape, equipping them with the tools and mindset
needed to thrive in their careers and drive innovation.
4. Comprehensive SaaS Evaluation and Optimization
Unlocking Your Organization's Full Potential
Leveraging my extensive experience in the software industry, I offer a thorough assessment of your SaaS organization's
Engineering department and its collaboration with the Product and Customer Success departments. My analysis is focused
on identifying opportunities for improvement, streamlining processes, and enhancing cross-functional collaboration to
drive your business toward greater success. With a detailed report highlighting key observations, insights, and tailored
recommendations, I'll help you optimize your organization's performance and ensure these core departments are aligned,
efficient, and working cohesively towards your company's objectives.
5. Tech Due Diligence
Assessing Technology for a Competitive Edge
Navigating the complexities of technology investments and acquisitions can be a daunting task.
I provide a comprehensive assessment of a company's technical landscape, identifying strengths, weaknesses, and opportunities to enhance scalability, maintainability, and overall innovation potential.
By identifying risks, uncovering hidden opportunities,
and assessing the alignment of technology with business goals, I empower organizations to make informed decisions that drive growth,
efficiency, and a competitive advantage in the market.
Résumé
Leadership
Coaching and Mentorship
Patents
- System, method, computer program, mobile device and kit for operating a device with low computing power (pending)
- Data generation for performance evaluation, 2014
Selected Talks & Tutorials
- Empowering Teams – Easier Said than Done! A quick dive into the topic of Team Empowerment and exploring some of its main ingredients. Touch 22 Conference. Tbilisi, Georgia. December 2022
- Building Microservices with Microservices. How can we offer development tools as-a-service and bring the development closer to the operation? Challenge Your Peers session at Delivery of Things World. Berlin, Germany. April 2018
- Microtools: Redefining Development Tools and IDEs. Introducing a new approach in providing tools as a service. Huawei's ERC Talks. Munich, Germany. December 2016.
- Dextor: Because ''Realistic'' Test Data Matters. Introducing Data Extractor and Generator toolkit (co-presenter). SAP d-kom 2015 selected talk. SAP Headquarters, Walldorf, Germany. March 2015.
- Dr. Hampton, S01-E06: Through the Looking Glass. Introducing HANA Performance Toolchain (co-presenter). SAP d-kom 2013 DemoJam Presentation. SAP Headquarters, Walldorf, Germany. March 2013.
- An Extensible Model Framework for High-level Executable Specifications of Distributed Systems. The CoreASM Workshop. University of Ulm, Germany. October 2012.
- Performance Analysis of Software Components. Future Internet Private Partnership Program (FI-PPP) Software Architects Week. Zurich University of Applied Sciences. Zurich, Switzerland. May 2012.
- Using CoreASM for High Level Design, Analysis and Validation of Distributed Systems Models. First International Conference on Abstract State Machines, B, and Z (ABZ 2008), London, UK. September 2008.
- Executing ASM Specifications with CoreASM. Advances in Software Engineering, Lipari International School for Computer Science Researchers. Italy. July 2007
- Executing ASM Models with CoreASM. Dagstuhl Seminar (07241) on Tools for the Model-based Development of Certifiable, Dependable Systems. Schloss Dagstuhl, Germany. June 2007.
Education
Technical Experience
- Design and specification of tooz software platform (patent pending)
- Firmware specifications and the design of a Bluetooth communication protocol
- Set up of CI, automation scripts, server configurations and the testing environment
- Co-architect and development lead of a novel microservices platform providing a cloud-based software
development environment to R&D developers
- Inception and implementation of a novel tools-as-a-service platform with a marketplace of tools and real-time developer dashboards
- Automated test data generation for performance evaluation of data-centric applications (patent pending)
- Performance analysis and prediction models for SAP HANA
- Scalability analysis of cloud applications
- Development of a framework for design and validation of Situation Analysis Decision Support Systems
- Design and development of a tool for experimental validation of distributed data management protocols (SAP)
- Architect and former lead developer of the The CoreASM Project
- Formal semantics and experimental validation of the Business Process Execution Language for Web Services (BPEL4WS)
Volunteer Experience
- Principal advisor on a number of BSc, MSc, and PhD theses
- Organizing committee member of
HotTopiCS 2014
and
KSCO 2010
- Program committee member of
FOSINT-SI (2012 to 2017),
IEEE ISI (2010 to 2017, 2019),
ABZ (2012, 2014, 2016),
TBFM (2010 and 2014)
- Organizer of a special session on ASM Tools: Execution, Analysis, Validation, and Verification at the14th International ASM Workshop in Norway (2007)
- Reviewer for journals, such as Automated Software Engineering, Logical Methods in Computer Science, Software Practice and Experience, and Science of Computer Programming
Selected Publications
For a complete list of publications, visit here.
Journal and Special Editions
- R. Farahbod, V. Gervasi, and U. Glässer. Executable formal specifications of complex distributed systems with CoreASM. Science of Computer Programming 79, pp. 23–38. 2014.
- R. Farahbod and U. Glässer. The CoreASM Modeling Framework. Software: Practice and Experience. Vol. 41. No. 2. pp. 167–178. 2011.
- V. Gervasi and R. Farahbod. JASMine: Accessing Java Code from CoreASM. In J.-R. Abrial and U. Glässer (editors), Rigorous Methods for Software Construction and Analysis. Springer LNCS Festschrift volume 5115. Springer 2009., pages
147-169.
- R. Farahbod, V. Gervasi, and U. Glässer. CoreASM: an Extensible ASM Execution Engine. Fundamenta Informaticae. Vol. 77. No. 1-2. pp. 71-103. 2007.
- R. Farahbod, U. Glässer, and M. Vajihollahi. An Abstract Machine Architecture for Web Service Based Business Process Management. International Journal on Business Process
Integration and Management. Vol. 1, No. 4. pp. 279-291. 2006.
Conference Publications
- C. Heger, J. Happe, R. Farahbod. Automated Root Cause Isolation of Performance Regressions during Software Development. In
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), pages
27-38. 2013.
- O. Yazir, Y. Akbulut, R. Farahbod, A. Guitouni, S. W. Neville, S. Ganti, and Y. Coady. Autonomous Resource Consolidation Management in Clouds Using IMPROMPTU Extensions. In Rong Chang, editor, IEEE CLOUD, pages 614–621. IEEE, 2012.
- R. Farahbod, V. Avram, U. Glässer, and A. Guitouni. Engineering Situation Analysis Decision Support Systems. European Intelligence and Security Informatics
Conference (EISIC 2011), Athens, Greece. pp. 10-18. 2011.
- M. Altenhofen and R. Farahbod. Bârun: A Scripting Language for CoreASM. In: Proceedings of the 2nd International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010). Orford, Canada. February 2010.
- R. Farahbod, U. Glässer, and A. Khalili. A Multi-layer Network Architecture for Dynamic Resource Configuration & Management of Multiple Mobile Resources in Maritime Surveillance. In: Proceedings of SPIE Multisensor, Multisource
Information Fusion: Architectures, Algorithms, and Applications. Vol. 7345. Orlando, USA. 2009.
- R. Farahbod, U. Glässer, É. Bossé, and A. Guitouni. Integrating Abstract State Machines and Interpreted Systems for Situation Analysis Decision Support Design. In: Proceedings of the 11th International Conference on Information Fusion
(Fusion 2008), July 2008.
- R. Farahbod, U. Glässer, and H. Wehn. Dynamic Resource Management for Adaptive Distributed Information Fusion in Large Volume Surveillance. In: Proceedings of SPIE Multisensor, Multisource Information Fusion: Architectures, Algorithms,
and Applications. Vol. 6974. Orlando, USA. 2008.
- R. Farahbod and U. Glässer. Semantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior. In New Trends in Parallel and Distributed Computing, Proc. 6th International Heinz Nixdorf
Symposium. Paderborn, Germany. 2006
Contact
Don't hesitate to get in touch!
I'll be happy to help you on your journey.
And if help is not needed, we may have a good
conversation about technology,
leadership, philosophy, music, or the meaning of life. 😉
Selected Talks
Selected Talks & Tutorials
- Empowering Teams – Easier Said than Done! A quick dive into the topic of Team Empowerment and exploring some of its main ingredients. Touch 22 Conference. Tbilisi, Georgia. December 2022
- Building Microservices with Microservices. How can we offer development tools as-a-service and bring the development closer to the operation? Challenge Your Peers session at Delivery of Things World. Berlin, Germany. April 2018
- Microtools: Redefining Development Tools and IDEs. Introducing a new approach in providing tools as a service. Huawei's ERC Talks. Munich, Germany. December 2016.
- Dextor: Because ''Realistic'' Test Data Matters. Introducing Data Extractor and Generator toolkit (co-presenter). SAP d-kom 2015 selected talk. SAP Headquarters, Walldorf, Germany. March 2015.
- Dr. Hampton, S01-E06: Through the Looking Glass. Introducing HANA Performance Toolchain (co-presenter). SAP d-kom 2013 DemoJam Presentation. SAP Headquarters, Walldorf, Germany. March 2013.
- An Extensible Model Framework for High-level Executable Specifications of Distributed Systems. The CoreASM Workshop. University of Ulm, Germany. October 2012.
- Performance Analysis of Software Components. Future Internet Private Partnership Program (FI-PPP) Software Architects Week. Zurich University of Applied Sciences. Zurich, Switzerland. May 2012.
- Using CoreASM for High Level Design, Analysis and Validation of Distributed Systems Models. First International Conference on Abstract State Machines, B, and Z (ABZ 2008), London, UK. September 2008.
- Executing ASM Specifications with CoreASM. Advances in Software Engineering, Lipari International School for Computer Science Researchers. Italy. July 2007
- Executing ASM Models with CoreASM. Dagstuhl Seminar (07241) on Tools for the Model-based Development of Certifiable, Dependable Systems. Schloss Dagstuhl, Germany. June 2007.
Publications
Journal and Special Edition Publications
- R. Farahbod, V. Gervasi, and U. Glässer. Executable formal specifications of complex distributed systems with CoreASM. Science of Computer Programming 79, pp. 23–38. 2014.
- H. Y. Shahir, U. Glässer, R. Farahbod, P. Jackson, H. Wehn. Generating test-cases for marine safety and security scenarios: a composition framework. Security Informatics.
Vol. 1, pp. 4–25. 2012.
- R. Farahbod and U. Glässer. The CoreASM Modeling Framework. Software: Practice and Experience. Vol. 41. No. 2. pp. 167–178. 2011.
- R. Farahbod, V. Gervasi, U. Glässer, and G. Ma. CoreASM Plug-in Architecture. In J.-R. Abrial and U. Glässer (editors), Rigorous Methods for Software Construction and Analysis. Springer LNCS Festschrift volume 5115. Springer 2009.,
pages 147-169.
- V. Gervasi and R. Farahbod. JASMine: Accessing Java Code from CoreASM. In J.-R. Abrial and U. Glässer (editors), Rigorous Methods for Software Construction and Analysis. Springer LNCS Festschrift volume 5115. Springer 2009., pages
147-169.
- R. Farahbod, V. Gervasi, and U. Glässer. CoreASM: an Extensible ASM Execution Engine. Fundamenta Informaticae. Vol. 77. No. 1-2. pp. 71-103. 2007.
- R. Farahbod, U. Glässer, and M. Vajihollahi. An Abstract Machine Architecture for Web Service Based Business Process Management. International Journal on Business Process
Integration and Management. Vol. 1, No. 4. pp. 279-291. 2006.
Conference Publications
- C. Heger, A. Wert, R. Farahbod. Vergil: Guiding developers through performance and scalability inferno.
In Proceedings of the Ninth International Conference on Software Engineering Advances (ICSEA), pages 598-608. IARIA, 2014.
-
A. Wert, M. Oehler, C. Heger, R. Farahbod. Automatic Detection of Performance Anti-patterns in Inter-component Communications.
In Proceedings of the 10th International Conference on Quality of Software Architecture (QoSA '14). Lille, France, 2014.
- C. Heger, J. Happe, R. Farahbod. Automated Root Cause Isolation of Performance Regressions during Software Development. In
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), pages
27-38. 2013.
- D. Westermann, J. Happe, and R. Farahbod. An Experiment Specification Language for Goal-Driven, Automated Performance Evaluations. In Proceedings of the 28th ACM Symposium On Applied Computing (SAC 2013). Coimbra, Portugal. 2013.
- D. Westermann, J. Happe, R. Krebs, R. Farahbod. Automated Inference of Goal-oriented Performance Prediction Functions. In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, pages
190–199, NY, USA, 2012.
- H. Y. Shahir, R. Farahbod, U. Glässer. Refactoring Abstract State Machine Models. In: Abstract State Machines, Alloy, B, VDM, and Z, LNCS volume 7316, pages 345–348. Springer, 2012.
- O. Yazir, Y. Akbulut, R. Farahbod, A. Guitouni, S. W. Neville, S. Ganti, and Y. Coady. Autonomous Resource Consolidation Management in Clouds Using IMPROMPTU Extensions. In Rong Chang, editor, IEEE CLOUD, pages 614–621. IEEE, 2012.
- R. Farahbod, V. Avram, U. Glässer and A. Guitouni. A Formal Approach to High-Level Design of Situation Analysis Decision Support Systems. In Shengchao Qin and Zongyan Qiu (eds.), Formal Methods and Software Engineering (Proc. 13th
Intl. Conference on Formal Engineering Methods, Durham, UK, 2011). LNCS volume 6991, Springer. Oct. 2011.
- R. Farahbod, V. Avram, U. Glässer, and A. Guitouni. Engineering Situation Analysis Decision Support Systems. European Intelligence and Security Informatics
Conference (EISIC 2011), Athens, Greece. pp. 10-18. 2011.
- O. Yazir, R. Farahbod, A. Guitouni, S. Ganti, and Y. Coady. Adaptive Routing in Mobile Ad Hoc Networks Based on Decision Aid Approach. In Proceeding of The 8th ACM International Symposium on Mobility Management and Wireless Access
(ACM MobiWac 2010). Bodrum, Turkey. Oct. 2010.
- O. Yazir, C. Matthews, R. Farahbod, Y. Coady, S. Neville, S. Ganti, A. Guitouni. Dynamic Resource Allocation in Computing Clouds Using Distributed Multiple Criteria Decision Analysis. In: Proceedings of the 3rd IEEE International
Conference on Cloud Computing (CLOUD 2010). Miami, Florida, USA. July 2010.
- M. Altenhofen and R. Farahbod. Bârun: A Scripting Language for CoreASM. In: Proceedings of the 2nd International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010). Orford, Canada. February 2010.
- R. Farahbod, U. Glässer, and A. Khalili. A Multi-layer Network Architecture for Dynamic Resource Configuration & Management of Multiple Mobile Resources in Maritime Surveillance. In: Proceedings of SPIE Multisensor, Multisource
Information Fusion: Architectures, Algorithms, and Applications. Vol. 7345. Orlando, USA. 2009.
- R. Farahbod, U. Glässer, P. Jackson and M. Vajihollahi. High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. In: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal
Methods, Verification and Validation. Porto Sani, Greece. October 2008.
- R. Farahbod, U. Glässer, É. Bossé, and A. Guitouni. Integrating Abstract State Machines and Interpreted Systems for Situation Analysis Decision Support Design. In: Proceedings of the 11th International Conference on Information Fusion
(Fusion 2008), July 2008.
- R. Farahbod, U. Glässer, and H. Wehn. Dynamic Resource Management for Adaptive Distributed Information Fusion in Large Volume Surveillance. In: Proceedings of SPIE Multisensor, Multisource Information Fusion: Architectures, Algorithms,
and Applications. Vol. 6974. Orlando, USA. 2008.
- R. Farahbod, U. Glässer, and G. Ma. Model Checking CoreASM Specifications. In: Proceedings of the 14th International Abstract State Machines Workshop (ASM’07). Norway, June 7-9, 2007.
- R. Farahbod, U. Glässer, and H. Wehn. CanCoastWatch Dynamic Configuration Manager. In: Proceedings of the 14th International Abstract State Machines Workshop (ASM’07). Norway, June 7-9, 2007.
- H. Wehn, et al. A Testbed Simulator to Evaluate the Efficiency of Net-enabled Surveillance. In Proceedings of UVS Canada: Conference on Unmanned Vehicle Systems Canada. Montebello, PQ, Canada. November 7-10, 2006
- R. Farahbod, V. Gervasi, U. Glässer, and M. Memon. Design Exploration and Experimental Validation of Abstract Requirements. In: Proceedings of the 12th International Working Conference on Requirements Engineering: Foundation for
Software Quality (REFSQ'06), Luxembourg, Grand-Duchy of Luxembourg, Essener Informatik Beitrage (June 2006)
- R. Farahbod and U. Glässer. Semantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior. In New Trends in Parallel and Distributed Computing, Proc. 6th International Heinz Nixdorf
Symposium. Paderborn, Germany (2006)
- R. Farahbod, U. Glässer, and M. Vajihollahi. An Abstract Machine Architecture for Web Service Based Business Process Management. In Bussler, C. et al (Eds.): Business Process Management Workshops: BPM 2005. Lecture Notes in Computer
Science, Volume 3812, Feb 2006, 144-157
- R. Farahbod, U. Glässer, and M. Vajihollahi. A Formal Semantics for the Business Process Execution Language for Web Services. In Savitri Bevinakoppa et al. (Eds.): Web Services and Model-Driven Enterprise Information Systems. Portugal.
INSTICC Press (2005) 144-155
- R. Farahbod, V. Gervasi, and U. Glässer. CoreASM: an Extensible ASM Execution Engine. In D. Beauquier, E. Börger and A. Slissenko (Eds.): Proc. 12th International Workshop on Abstract State Machines. Paris, France (2005) 153-165
- R. Farahbod, U. Glässer, and M. Vajihollahi. Specification and Validation of the Business Process Execution Language for Web Services. In W. Zimmermann, B. Thalheim (Eds.): Abstract State Machines 2004. Germany. Springer-Verlag (2004)
78-95