Jaap Boender
Software Formal Verification Engineer @Apple
Munich, DE
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Jul 2022 — Present
Software Formal Verification Engineer @Apple
View department →
SKILLS
LecturingBsdOpen SourceScientific WritingLinuxLatexCoqTheorem ProvingSoftware DevelopmentFirst AidUniversity TeachingFormal VerificationMachine LearningC++OcamlAlgorithmsPythonTeachingOpen Source SoftwareHigher EducationSoftware EngineeringCScientific ComputingJavaScienceDatabasesResearchProgrammingComputer ScienceSystem AdministrationUnix
ABOUT JAAP BOENDER
My overall research interest is using formal methods (mostly theorem proving) for solving…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.