focus in verification of real time embedded control system using static analysis, theorem proving
Abdullah Baharoon
Asbaharoon
I am Oracle e-business suite R12 ERP user and Junior Student in programming of Java language, also currently I have job purchasing coordinator
@openjdk and @graalvm Yemen
Shayan (Sean) Taheri
shayan-taheri
Software Engineer at HonestRank LLC. American Permanent Resident. Finance. Business. Management. Marketing.
Atlanta, Georgia, America
Gateway
GATWE
Estudo estudo análise conhecimento universal e análise do sistema e a Terra ao desenvolvimento da humanidade e a comissão da sociologia global
Lucas C. Cordeiro
lucasccordeiro
Lucas C. Cordeiro is a Reader in the Department of Computer Science at the University of Manchester/UK and an Adjunct Professor at UFAM/Brazil.
The University of Manchester, UK Manchester
Aref Moqadam Mehr
ArefMq
Preferred Pronunciation: /'ærɛf/
Preferred Pronoun: he/him/his
@automata-tech London, UK
Bater.Makhabel
batermj
Software Engineer with A Passion for Innovation,
Published Author,
https://www.linkedin.com/in/batermj/
META4ALL Abu Dhabi, UAE
Christopher Michael Edward Coleman
luckycoleman78
I do the god of will my God that I believe in not a Bible God but God that's living we Will conquer all things
Google 411 East Coeur d'Alene avenue apartment 9 and Coeur d'Alene Idaho 83814
Rebeca Nunes
rebeca53
Software Engineer. Worked with embedded systems (industrial automation, middleware for SmartTVs, Android OS) and desktop applications (robotics, seismology).
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.
@grammarly (Formerly @pinterest, @Yelp) I love San Francisco
Danish Alvi
danalvi
Pretending to do Mathematics and Computing Science
Radboud University, Nijmegen London, United Kingdom
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Adrien H
doevelopper
Full-time C/C /Python/Tcl Embedded Software Developer and Open Source Enthusiast.
Versailles