Tim Kremann
Computer Scientist at United States Department Of Defense
Based in Arnold, United States
7-day free trial · no credit card
Seniority
Staff
Department
Information Technology
Location
Arnold
Industry
Armed Forces
Company size
60K
Contact information
Reveal Tim's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
t•••••••@uscg.mil
Phone
5 credits+1 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Tim Kremann
37+ years as a computer scientist. During these years I used the following languages: Cobol, PL/1, IBM 370 Assembler, IBM PC Assembler, Lisp (Scheme and Common Lisp); Refine, C, C++, Isabelle, Java, and Metaslang. Exposed to Haskel and ML and other functional languages. Most recently I have studied corrct-by-construction techniques for producing from specifications program code which is provable correct w.r.t. the specifications. Currently using the Specware specification and refinement tool (Metaslang) as well as Isabelle interactive theorem proving tool (HOL logic and ISAR). Job functions I've had in order: Programmer (Cobol); Database Programmer (PL/1 and IDMS); Database Administrator (IDMS); Systems Programmer (IBM 370 Mainframes); Computer Security Researcher (Security Policy Models and Verification Techniques); and High Assurance Software and Systems Researcher (correct by construction and formal methods). Also program manager and contract officer's technical representative.
Decision-makers
Other people at United States Department Of Defense
- JCStaff
Justin Cooke
Air Traffic Control Satcs · Public Administration & Safety
- DMOther
Davina Morris
Dha Ehr Mat Team Lead as the Clinical Informaticist Workflow Analyst for Mhs Genesis (Cerner) · Other
- SEStaff
Sam Elam
Logistics Mananager · Supply Chain & Logistics
- MSStaff
Martin Stanton
Intelligence Analyst · Public Administration & Safety
- TTStaff
Tony Thomas
Cybersecurity Program Management · Information Technology
Build a list of verified contacts at United States Department Of Defense
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Tim
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime