[go: nahoru, domu]
Skip to content
View elefthei's full-sized avatar
🏠
Working from home
🏠
Working from home
74 followers · 45 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro
Block or Report

Block or report elefthei

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
@cedar-policy
cedar-policy
@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@lag47
lag47
@seliopou
Spiros Eliopoulos seliopou

@seliopou BK/RI

@rhigdon
Ryan Higdn rhigdon

Philadelphia

@mamcx
Mario Montoya mamcx

El malabarista Colombia

@nvasilakis
Nikos Vasilakis nvasilakis

Boston, MA

@Icelandjack
Icelandjack
@dunnl
Lawrence Dunn dunnl
@byorgey
Brent Yorgey byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.

Hendrix College Conway, AR, USA

@sapostolakis
Sotiris Apostolakis sapostolakis

Google Princeton, NJ

@madars
Madars Virza madars
Research Scientist @mitmedialab . Co-authored @scipr-lab's libsnark, the C++ library for efficient zero-knowledge proofs.

@mit Cambridge, MA

@milroneth
Iris Nebula milroneth
Maker/Breaker/Fixer/Troubleshooter😝 Automation Engineer, Computer Scientist, member of @MakersACT, Teaching CS/Robotics at CTY Greece

Thessaloniki, Greece

@dspinellis
Diomidis Spinellis dspinellis
Professor of Software Engineering at AUEB and of Software Analytics at TU Delft, programmer, and technology author.

Athens University of Economics and Business & Delft University of Technology Athens, Greece

@ccasin
Chris Casinghino ccasin
I write programs.
@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems. Contributor to Z3.

Davis, California, USA

@sdiehl
Stephen Diehl sdiehl
Software Engineer

London

@the-fetaverse
Ioannis Sporidis the-fetaverse
Full-stack web developer with a background in education and passionate about creating user-friendly web experiences.

Philadelphia, PA

@Lysxia
Xia Li-yao Lysxia
@angelhof
Konstantinos Kallas angelhof
Assistant Professor of CS at UCLA

UCLA Computer Science Los Angeles, CA - Athens, GR

@lastland
Li Yao lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Coq.

Portland State University Portland, OR

@euisuny
Irene Yoon euisuny
strongly normalizing

Paris

@patrickt
Patrick Thomson patrickt
Te occidere possunt sed te edere non possunt; nefas est.

Queens, NYC

@Igosuki
Guillaume Balaine Igosuki

DinMo Paris

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@cartazio
Carter Tazio Schonwald cartazio

wellposed.com NYC, USA

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@lvrach
Leonidas Vrachnis lvrach

@rudderlabs Athens, Greece

@omelkonian
Orestis Melkonian omelkonian
PhD @ University of Edinburgh   Formal Methods @input-output-hk   Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification

University of Edinburgh Kirkwall, Orkney, Scotland

@ycoroneos
ycoroneos
@esarafianou
Eva Sarafianou esarafianou
Product Security Engineering Lead @ Mattermost, Web Security, Identity

@mattermost Athens, Greeece

@achernya
Alex Chernyakhovsky achernya
@dehnert
Alex Dehnert dehnert
@davidben
David Benjamin davidben

Google

@aglasgall
Anna Glasgall aglasgall

Cambridge, MA

@nhynes
Nick Hynes nhynes

@escrin

@jwilder
Jason Wilder jwilder

@Azure Colorado

@fotisl
Fotis Loukos fotisl
@huku-
Chariton Karamitas huku-
Electrical Engineer and Kyokushin Karateka doing maths, RE and 0days for fun and profit.

@CENSUS Thessaloniki, Greece

@toxtli
Carlos Toxtli toxtli
PhD, Prof, Director of the Human-AI Empowerment Lab at Clemson University, Dad

Microsoft, Google, Amazon, Snapchat, GitHub, United Nations, Freelancer United States

@nohponex
Xenofon Spafaridis nohponex

Greece

@agisilaos
Agisilaos Tsaraboulidis agisilaos
Engineer • Writer • Speaker • Bookworm • Optimist • Running Enthusiast • Prev: iOS @microsoft, @irisapp, @getstarkco •

@wireapp

@egwspiti
egwspiti

Athens, Greece

@angkoulouras
angkoulouras
@stefkiourk
Stef Ki stefkiourk