Skip to content
View acharal's full-sized avatar

Organizations

@semagrow @RADIO-PROJECT-EU

Block or report acharal

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@GeorgeVasilakopoulos
George Vasilakopoulos GeorgeVasilakopoulos
Recursion Enthusiast.

ETH Zurich Switzerland

@vefthym
Vasilis Efthymiou vefthym

Harokopio University of Athens Greece

@diou
Christos Diou diou

Department of Informatics and Telematics, Harokopio University of Athens Athens, Greece

@NestorasK
Nestoras Karathanasis NestorasK

The Cyprus Institute of Neurology and Genetics

@nikos-alexandris
Nikos Alexandris nikos-alexandris
CS MSc student at Chalmers University

Gothenburg, Sweden

@d-michail
Dimitrios Michail d-michail
Professor/Research Scientist/Software Engineer

Harokopio University of Athens Athens, Greece

@tsadimas
Anargyros Tsadimas tsadimas

Harokopio University Athens, Greece

@emavroudi
Efi Mavroudi emavroudi

Meta AI New York City

@antru6
Antonis Troumpoukis antru6

University of Athens Athens, Greece

@DelphianCalamity
Kelly Kostopoulou DelphianCalamity

Columbia University New York City

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

London, UK

@nickie
Nikolaos S. Papaspyrou nickie
Software Engineer at Google, Chrome/V8. Professor on leave at the School of Electrical and Computer Engineering of the National Technical University of Athens.

National Technical University of Athens @ntua Athens, Greece