Skip to content
View Baha's full-sized avatar
22 followers · 18 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@COST-IC1405 @mistupv

Block or report Baha

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@mmuesly
Malte Mues mmuesly

TU Dortmund

@dlohar
Debasmita Lohar dlohar
Assistant Professor

IT University of Copenhagen Copenhagen

@vicboma1
Victor Bolinches vicboma1
I build things in software, sometimes with a lot of craziness. Game/Tooling programmer. Twitter - @vicboma1

@kotlin-es Spain - Valencia

@lanese
Ivan Lanese lanese

University of Bologna/INRIA Bologna

@emanuele-deangelis
Emanuele De Angelis emanuele-deangelis
Researcher at IASI-CNR.
@fabiofioravanti
Fabio Fioravanti fabiofioravanti
@maupro
Maurizio Proietti maupro
I am a Senior Researcher. My research interests include various topics in Logic-based Program Transformation and Verification.

CNR-IASI Rome, Italy

@oldmist
The MiST group (Multi-paradigm Software Technology) oldmist

Universitat Politècnica de València València, Spain

@joearms
joe armstrong joearms

Stockholm Sweden

@kirkedal
Michael Kirkedal Thomsen kirkedal

University of Copenhagen

@msoeken
Mathias Soeken msoeken
Researcher in the areas of logic synthesis, quantum compilation, and formal verification.

@microsoft Switzerland

@tamarit
Salvador Tamarit, PhD tamarit
Software Engineer at @mercadona

@mercadona València, Spain

@SalvaEB
Salva España Boquera SalvaEB

Departament de Sistemes Informàtics i Computació Universitat Politècnica de València

@catacs
Catalin Stanciu catacs

New Work SE

@jpuigcerver
Joan Puigcerver jpuigcerver

Zurich, Switzerland

@joapaspe
Joan Pastor joapaspe

Departament de Sistemes Informàtics i Computació Universitat Politécnica de València

@pakozm
Francisco (Paco) Zamora-Martinez pakozm
Manager at core technologies in Veridas. Devoted programmer and machine learning algorithms developer.

Veridas Pamplona area, Navarra (Spain)

@vmg
Vicent Martí vmg
Working on systems at SpaceX SI. Previously: @planetscale, @github (this website, yo).

SpaceX SI Madrid