Users following hsfl
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Dennis Sarsozo
dsarsozohawaii
HSFL Software Engineer Intern
Computer Engineering 2027
AFROTC Space Force 2027
Oahu Hawaii
JP Johnston MSME CSWP
RogueRocketeer
Irish-Viking | Ancient-Nerdsmith | Scandinavian-Cowboy | L2 Rocketeer | TRA #21009 | NAR #111636 | Nerd | Geek | Hacker | ME | CWSP | US Army Ranger
Vector Engineering, LLC Woodburn, IN
Yuichi Tadokoro (Tokoro)
tokoro10g
Robotics Software Engineer / Control Engineer / GNC Engineer
GITAI USA Inc. Los Angeles
Chris
cbdonohue
Software and hardware engineer currently working on satellite networking and 5/6g. Prev. SIGINT, Cyber, Industrial Control Systems, Gnuradio, AI. MSc, MBA
USA