
We still have an internship opening for summer or fall in our DARPA HARDEN-funded project: lnkd.in/e28uV7Cq (see for an announcement of the project) #IAmIntel
English
Michael LeMay
23 posts

@lemaymd
Research Scientist at Intel Labs










"The Dogged Pursuit of Bug-Free C Programs: The Frama-C #Software Analysis Platform," in the August 2021 issue, bit.ly/3eVc7vp, looks at the @Frama_C platform designed to verify and validate C #code. Nikolai Kosmatov demos the framework in a video bit.ly/3x7p1gn




@WashcoOregon @WashCoScanner This is how I combat it inside I use my soap making crockpot fill it with water put 2 peppermint tea bags in and essential oils 6 drops of eucalyptus, 4 drops of cedarwood and 4 drops of cotton oils let it simmer it cleans the air and it acts as a decongestant





