Logic, languages and systems
-
IMDEA Software
- Madrid
- https://software.imdea.org/~aliaksandr.hryzlou/
- https://orcid.org/0000-0001-6188-0417
Serge S. Gulin
GulinSS
The road to yourself has no return tickets. We are no longer young, but we are still angry.
Shraddha Barke
shraddhabarke
Senior Researcher at RiSE (Microsoft Research)
Microsoft Research Seattle
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
DU Yu
duyu09
DU Yu (杜宇; ĐỖ Vũ), BEng in Software Engineering, QLU; MEng candidate in Computer Science & Technology, LZJTU. Research focus: TSA / ML / Data Mining / NLP.
Lanzhou Jiaotong University / Qilu University of Technology (蘭州交通大學/齊魯工業大學; ĐH Giao Thông Lan Châu / ĐH Công Nghiệp Tề Lỗ) Jinan, Shandong Province, P.R.China / Lanzhou, Gansu Province, P.R.China (中國山東省濟南市/中國甘肅省蘭州市; TP.Tế Nam, Tỉnh Sơn Đông, TQ / TP.Lan Châu, Tỉnh Cam Túc, TQ)
Novus Nota
novusnota
Amateur Tree-sitter-sitter. UX, DX, and *X aficionado. If only you knew the power of the Dart side...
Remote
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Shiva Gyawali
exceptionSPG
Software Cybersecurity | System Security | DevSecOps | Bibliophile | LLMs in Cybersecurity | YouTube Content Creator
Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
Jason Manuel
jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.
Imagine Learning United States
PreviousNext