Skip to content
View andreaskatis's full-sized avatar
10 followers · 1 following
  • NASA Ames Research Center

Achievements

Achievement: Galaxy BrainAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Galaxy BrainAchievement: Arctic Code Vault Contributor

Block or report andreaskatis

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@anaisac
Anaisa Carvalho anaisac
Student of Critical Systems Engineering

Porto, Portugal

@xlxs4
Orestis Ousoultzoglou xlxs4
“And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.” — Brian Beckman, Don’t fear the Monad

EMTECH SPACE S.A. Marousi, Athens, Greece

@ahmedharbii
Ahmed Harbi ahmedharbii

Germany

@Gy-Hu
Guangyu (Gary) HU Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.

The Hong Kong University of Science and Technology Hong Kong

@baobao1225
baobao1225
@dmpavlidis
Dimitris Pavlidis dmpavlidis
IT Professional - Physicist - Working in Shipping

Athens, Greece

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@anmavrid
Anastasia Mavridou anmavrid
Research Scientist @ KBR / NASA Ames Research Center - Do you speak FRETish? 👍

NASA Ames Research Center Mountain View, CA

@Batu-MGL
Bagen Batu Batu-MGL

university of minnesota