Flávio Pavim
flaviopavim
Skills with lot types of softwares:
Web, Desktop, Mobile -
Php&MySql, Javascript, Html, Css, Python, Dart, Java, C, C++, C#, Arduino
WhiteHats
Zustin
A Program Testing and Analysis Fans! I am ready to use any technique to improve software system reliability and performance
Expect to Norway
Lef Ioannidis
elefthei
PhD candidate at Penn working in verification and programming languages.
University of Pennsylvania Philadelphia, PA
Daniel Kahlenberg
573
DISCLAIMER!
The archived repositories are mostly not useful to anyone anymore. Please don't use them neither as referenc
Leipzig
Donald Sebastian Leung
DonaldKellett
Cloud Technical Specialist at Enfinity Solutions Limited
Enfinity Solutions Limited Hong Kong
Yishuai Li
liyishuai
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.
@Alibaba Shanghai Xuhui
Konstantinos Kallas
angelhof
Assistant Professor of CS at UCLA
UCLA Computer Science Los Angeles, CA - Athens, GR
Paul He
Grain
Assistant Professor, Teaching Stream in Computer Science at the University of Toronto
University of Toronto Toronto, Ontario
Caleb Stanford
cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.
Davis, California, USA