About

Hi, my name is Jason Biatek (pronounced “bee attic”, he/him). I’m a software engineer at Itemis, Inc. with specialties in programming languages, domain-specific languages, software testing, formal methods, and safety-critical systems. I have a LinkedIn profile if you’d like to connect.

Projects

My current main work is on Itemis SECURE, a tool for conducting threat and risk assessments with specialties for ISO 21434 using JetBrains MPS.

Previously, I worked on a language at Honeywell called CLEAR, with an associated tool Text2Test. CLEAR is a domain-specific language for writing software requirements. It reads like English, but is actually a formal grammar with defined semantics. Text2Test reads CLEAR and can do analysis on requirements for consistency and completeness as well as generate test cases.

In graduate school, I worked on a project based around PLEXIL, a planning and execution language developed at NASA. My work was on a tool called TPlex, which translated PLEXIL plans into Java or Lustre for test case generation using Java PathFinder or JKind.

I also worked on a research project in my undergraduate career at the University of Minnesota Morris called DigiQuilt. DigiQuilt is graphical software for teaching elementary school students fractions and symmetry through designing quilt patterns out of geometric shapes, with an emphasis on feeling tactile and requiring some spatial reasoning to manipulate pieces. Our research was on the impact of a shared large display in the classroom as students worked individually on their own machines.

In less serious work, I also have a series of very silly websites based on games played on one of my favorite podcasts, Connected from Relay FM: Rickipedia, Quizzipedia, and, from an alternate universe, Pickipedia. These are all built in TiddlyWiki, which is a really cool and weird bit of software, much much more than just a wiki if you dig down into it.

Publications

• “DesCert: Design for Certification”
  • CSL Technical Report SRI-CSL-2022-01
  • https://arxiv.org/abs/2203.15178
• “Requirements-Driven Model Checking and Test Generation for Comprehensive Verification”
  • NASA Formal Methods 2022
  • https://link.springer.com/chapter/10.1007/978-3-031-06773-0_31
• “Analysis and testing of PLEXIL plans”
  • FormaliSE 2014: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
  • https://dl.acm.org/doi/abs/10.1145/2593489.2593496
• “Helping system engineers bridge the peaks”
  • TwinPeaks 2014: Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture
  • https://dl.acm.org/doi/abs/10.1145/2593861.2593863
• “Integrating Statechart Components in Polyglot”
  • NASA Formal Methods 2012
  • https://link.springer.com/chapter/10.1007/978-3-642-28891-3_26
• “Using a large display in the periphery to support children learning through design”
  • IDC ‘11: Proceedings of the 10th International Conference on Interaction Design and Children
  • https://dl.acm.org/doi/abs/10.1145/1999030.1999038
• “Encouraging awareness of peers’ learning activities using large displays in the periphery”
  • CHI EA ‘10: CHI ‘10 Extended Abstracts on Human Factors in Computing Systems
  • https://dl.acm.org/doi/abs/10.1145/1753846.1754034