Profileimage by Frank Zeyda Software Developer, Verification Engineer and Scientific Researcher from Zapopan

Frank Zeyda

available
Contact

Last update: 06.09.2022

Software Developer, Verification Engineer and Scientific Researcher

Company: Freelance Software Developer / Testing & Verification Engineer
Graduation: PhD in Computer Science (UK), Diplom der Informatik (DE)
Hourly-/Daily rates: show
Verhandelbar je nach Projektumfang und Aufgaben.
Languages: German (Native or Bilingual) | English (Full Professional) | French (Elementary)

Attachments

CV_F_ZEYDA.pdf
CV_F_ZEYDA_DETAILED.pdf
CV_F_ZEYDA_ACADEMIC.pdf

Skills

Research and Innovation:
  • 13 publications in prestigious CS journals and 26 refereed publications in high-quality international academic conferences in the area of formal methods and theoretical computing (see: https://dblp.org/pid/23/6727.html);
  • research focus on safety-critical systems, program analysis, theorem proving, and programming language semantics;
  • extensive contributions in the area of novel verification methods and mechanising verification languages in theorem provers, including modelling and verification of cyber-physical systems;
  • hands-on experience in applying model-based testing techniques to large-scale industrial projects in the avionics sector;
  • development of tools for automatic generation of formal models i.e. from Simulink and Safety-Critical Java (SCJ) descriptions.
Software Development:
  • excellent knowledge of object-oriented and functional programming; teaching of programming paradigms to CS students at a Russell-Group UK institution (University of York);
  • fluent in programming in Java, C/C++, Python and ML (functional language);
  • acquainted with a plethora of other languages including C#, Ada, MATLAB & Simulink, and core principles of low-level machine language;
  • good working knowledge in embedded systems development on micro-controller and, to some extent, SoC/FPGA systems (e.g. NIOS); practical experience in using the hardware description languages Verilog and VHDL;
  • expert knowledge in productivity tools for software development under Linux, including bash scripting, build tools, Git, Docker, and so on;
  • industrial modelling experience in UML / SysML and deep knowledge of formal specification notations and their use in safety-critical systems engineering, including Z, CSP, and the B Method;
  • proven work experience in industrial-level software testing and underlying methods and tools; this includes model-based testing and WCET analysis; ISTQB certified tester.
Teaching & Scholarship:
  • delivery of modules at Higher-Education institutions in the UK;
  • teaching of computer-science subjects across the board at both BSc and MSc level;
  • supervision of MSc and co-supervision of PhD students;
  • Post-graduate Certificate in Learning and Teaching in Higher Education (PgCLTHE);
  • serving on the programme committee of several international conferences and workshops, as well as reviewing papers for high-quality CS journals;
  • assessment of grant applications e.g. for the Austrian Science Foundation (FWF).
Leadership and Management:
  • responsibility for managing and carrying out work on a number of successful research projects, both in academic (EPSRC, UK) and industry (Horizon 2020, EU);
  • leadership of the Formal Methods & Programming Research Group at Teesside University (UK);
  • conducting student interviews of undergraduate applicants and serving on the interview panel for prospective doctoral students on several occasions;
  • contributing to curriculum development and marketing events at Teesside University (UK);
  • QA responsibilities on client projects at Verified Systems, Germany.

Project history

04/2022 - Present
Digital Services: Research & Tool Development for Testing
Verified Systems International GmbH (Germany) (10-50 employees)
Telecommunications

01/2022 - 03/2022
Digital Services: Research & Tool Development for Testing
Verified Systems International GmbH (Germany) (10-50 employees)
Telecommunications

07/2018 - 12/2021
Software Testing & Verification Engineer (Avionics Domain)
Verified Systems International GmbH (10-50 employees)
Telecommunications
  • Development and adaptation of software and system specifications for the realisation of automated tests, with primary focus on model-based testing.
  • Responsibility for leading Verified's contribution and work for the HUBCAP (Digital Innovation Hubs and Collaborative Platform for Cyber-Physical Systems) research project, being funded by the European Commission (https://cordis.europa.eu/project/id/872698).
  • Verification and validation of hardware and software systems, in particular the cabin-monitoring system of the Airbus family of aircraft.
  • Contribution to the development of in-house tools for automated testing.

01/2018 - 06/2018
University Lecturer (Teaching & Scholarship) in Computer Science
Univeristy of York (UK) (1000-5000 employees)
Public service
  • Delivery of the Principles of Programming Languages (POPL) module, Part II (concurrency).
  • Supporting the department in marking of the Systems (SYST) module.
  • Publication of INTO-CPS deliverables D2.3a and D2.3c in high-quality journals.
  • Work on research funding proposals in the area of autonomous intelligent robotics and block-chain technology.
  • Supervision of student projects and student mentoring, as well as marking of masters theses.

11/2016 - 12/2017
Research Fellow: Formal Verification of Cyber-physical Systems (Horizon 2020/EC grant 644047)
Univeristy of York (UK) (1000-5000 employees)
Public service
  • Mechanisation of INTO-CPS case studies in Isabelle/UTP, in particular, from the railways domain. Isabelle/UTP is a purpose-built theorem prover for reasoning about multi-paradigm languages that I kickstarted and co-developed at the University of York. It is founded on Tony Hoare's UTP and extends the Isabelle/HOL proof assistant.
  • Development of a suitable modelling and verification strategy for FMI cosimulations of cyber-physical systems.
  • Contributing to the development of theorem-proving support for cyber-physical systems in Isabelle/UTP, with specific focus on cosimulation and Circus.
  • Mentoring duties and taking on an active role in research leadership.
  • Dissemination of knowledge and tools related to work-package 2 (WP2) of the INTO-CPS project, as well as publication of results in reputable venues. This, in particular, included the presentation of technical results of work-package 2 at the final INTO-CPS review meeting in Brussels in February 2018. The project was a notable success.
  • Working with industrial partners and collaborators of the INTO-CPS project, in particular, ClearSy in France.

10/2014 - 11/2016
Senior Research Lecturer in Computer Science
Tesside University (UK) (1000-5000 employees)
Public service
  • Delivery of lectures and practical classes at all levels.
  • Supervision of masters and PhD students.
  • Research and scholarly activity contributing to the upcoming Research Excellence Framework (REF 2014).
  • Leadership of the Tessside Formal Methods & Programming Research Group.
  • Contribution to curriculum development and module content.
  • External activities such as open days, interviewing prospective students, and facilitating events for marketing new degree programmes.

07/2010 - 10/2014
Senior Researcher on the "High-integrity Java Applications using Circus" EPSRC/UK Research Project (EP/E025366/1)
University of York (UK) (1000-5000 employees)
Public service
  • Taking on an active role in guiding the research for this projects. This also involved mentoring other post-doctoral researchers and PhD students.
  • Development of novel verification strategies and techniques for Safety-Critical Java (SCJ) and their implementation in automatic proof assistants such as Isabelle/HOL and ProofPower-Z.
  • Publishing original work at premium international conferences and in high-quality journals in the field of formal methods and theoretical computing.
  • Delivering industrial seminars and workshops to disseminate results and newly-developed tools, and engaging with industrial collaborators.
  • Supervision of masters’ theses that contributed to the EPSRC project. This has, in several cases, led to conference and journal publications.

07/2007 - 07/2010
Research Associate on the "Programming from Control Laws" EPSRC/UK Research Project (EP/E025366/1)
University of York (UK) (1000-5000 employees)
Public service
  • Taking on an active role in guiding the research for this projects. This also involved mentoring other post-doctoral researchers and PhD students.
  • Development of novel verification strategies and techniques for Simulink control systems and their implementation in automatic proof assistants such as Isabelle/HOL and ProofPower-Z.
  • Publishing original work at premium international conferences and in high-quality journals in the field of formal methods and theoretical computing.
  • Delivering industrial seminars and workshops to disseminate results and newly-developed tools, and engaging with industrial collaborators.
  • Supervision of masters’ theses that contributed to the EPSRC project. This has, in several cases, led to conference and journal publications.

10/2001 - 03/2007
Part-time Lecturer in Computer Science
Teesside University (UK) (1000-5000 employees)
Public service
The work was typically with a load between 6 and 12 hours per week during the semester and entailed:
  • Delivery of seminars and practical classes at BSc and MSc level.
  • Delivery of lectures up to final-year BSc level, including UCPD courses.
  • Full module responsibility in several cases, namely for Operating Systems II, Windows GUI Programming in C#, and Java Programming (UCPD). This required the production of lecture notes and tutorial material, setting of exams, and marking.
  • Proposal, supervision and marking of approximately eight final-year undergraduate degree student projects in a variety of subject areas.
  • Acting as a second examiner on various modules and final-year projects.

02/1999 - 04/2000
Student Software Developer (C++ & VB Macros)
Siemens Mobility Braunschweig (Germany) (>10.000 employees)
Telecommunications
This work primarily consisted of maintaining and improving a simulation tool ILSIM for physical railway interlockings. The tool was used to test and validate a commercial control and display software for trains (OC100). The work entailed object-oriented software design and development in C++ under Visual Studio 6.0. Other duties included the creation of a test suite for year-2000 compliance and VB macros for the automatic generation of software metrics.

I received a bonus payment of 1,000 € from Siemens in July 2000 for 'exceptional contributions on the simulator tool ILSIM' upon leaving the company for my ERASMUS studies abroad.

Time and spatial flexibility

I am altogether not opposed to travel but am hoping to minimise business journeys i.e. from Mexico to Europe/Germany where communication and meetings can equally be held online.

My availability at present is:
  • up to 40 hours per week after the 16th of May 2022
To facilitate communication, I am arranging my working hours so that I am generally available for online meetings Monday to Friday from 1pm to 6pm German time, or on occasions if needed also before noon.

Other

I possess both a (temporary) residency with working permission and RFC tax number in Mexico, so am fully legal living and working here, as well as orderly paying my taxes. Due to exporting digital services, I do not charge VAT to clients. The recipient of the services i.e. in Europe/Germany may, however, have to pay VAT to the respective inland revenue, according to the EU reverse-charge procedure.

Contact form

Contact details