SoSy-Lab
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022).
@vnu-frsl @vnu-sme @SEhumantics Ichvers, Esteh, Enurbahnhof, Azeroy
Ilir Hajrullahu
ilirhajrullahu
Software Engineer who likes building complex software.
CS Master student at LMU Munich.
Munich
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
The edge of knowing
António Pedro
antonio-pedro99
Software Engineer | Ex-Undergraduate Researcher at IIITD's MIDAS Lab |
LFX mentee'23 at CNCF working on Strimzi | OpenHack'2
Indraprastha Institute of Information Technology Delhi Angola, Luanda
Wentao Zhang
whentojump
Ph.D. student @xlab-uiuc. Prev SJTU. Intern @efeslab.
Computer science, systems.
Urbana, IL
Rashmika Fernando
sethum3001
Software Engineering Undergraduate
Sri Lanka Institute of Information Technology (SLIIT) Panadura, Sri Lanka
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Maximilian Gobbel
maex0
Master Computer Science Student @ TH Rosenheim. Co-Owner of @MaTech-Software-GbR.
MaTech-Software-GbR Munich
Azzam Alhussain
Azzam-Alhussain
Assistant Professor at JIC in KSA - Ph.D. Researcher | Electrical Engineering | UCF Almuni.
Jubail Industrial College Jubail Industrial City - KSA
PreviousNext