Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View caterinaurban's full-sized avatar
39 followers · 4 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Block or report caterinaurban

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
@AisXiaolin
Xiaolin Liu AisXiaolin
PhD student @KTH & NTU [email protected]

Kungliga Tekniska högskolan Stockholm, Sweden

@hrtan99
Thomas hrtan99
CS Student

HKUST Hong Kong, China

@iSenses
iSenses
@WuqianMa
WuqianMa
@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@Laplace-Demon
Zhicheng Laplace-Demon
The road of computer science has been uneasy, luckily you are with me.

Paris

@Chaarlesss
Charles de Haro Chaarlesss
PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages

École Normale Supérieure Paris, France

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@gretadolcetti
Greta Dolcetti gretadolcetti
@judynicky
judy judynicky
IT Technician | Aspiring Programmer & Cybersecurity Enthusiast I’m a woman in tech, transitioning into programming and cybersecurity. Passionate about learning
@olivieriluca
Luca Olivieri olivieriluca

Ca' Foscari University of Venice

@rigodiletta
Diletta Rigo rigodiletta
@lucaneg
Luca Negrini lucaneg
PhD in Computer Science | Assistant Professor | Static Analysis Specialist

Ca' Foscari University of Venice

@merendamattia
Mattia merendamattia
Computer Science & Blockchain's Master Student at @ Università degli Studi di Parma (Unipr.it)

University of Parma, IT Italy

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@yogurt-shadow
Zhonghan Wang yogurt-shadow
PhD Student at University of Toronto.

University of Toronto Beijing, China

@naim-mr
Naïm MOUSSAOUI REMIL naim-mr
Phd Student at École Normale Supérieure of Paris. Working on static analysis by abstract interpretation

École Normale Supérieure Paris

@VincenzoArceri
Vincenzo VincenzoArceri
Assistant Professor (no-tenure track) @ University of Parma

University of Parma Parma

@koppor
Oliver Kopp koppor

self-employed Germany

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@LorenzoCazzaro
Lorenzo Cazzaro LorenzoCazzaro
PhD student in Computer Science. Interested in Trustworthy Machine Learning, Formal Verification and Cyber Security.

Ca' Foscari University of Venice - IT Department Venice

@khayyams
Khayyam Salehi khayyams
@georgiachanning
Georgia Channing georgiachanning
@xavierpinho
Xavier Pinho xavierpinho

Braga, Portugal

@mmartign
Maurizio Martignano mmartign
Always happy when coding... I've been coding since ages ago, even if it feels it has been only for few seconds...

Spazio IT - Soluzioni Informatiche s.a.s. via Manzoni 40 - 46051 San Giorgio Bigarello - Mantova Italy

@denismazzucato
Denis Mazzucato denismazzucato
PhD graduate in Formal Methods

AdaCore Paris

@JulienSiems
Julien JulienSiems
@marco-zanella
Marco Zanella marco-zanella
Ph.D. Computer Science
@neuroo
Romain Gaucher neuroo
Security and code. Semgrep research. Previously: Meta and Coverity

France

@manishkk
Manish Kumar manishkk
Researcher

Ropar, India

@hessammehr
Hessam Mehr hessammehr

University of Glasgow Glasgow, UK

@lou1306
Luca Di Stefano lou1306
PhD in Computer Science. Version control your LaTeX, folks

TU Wien Vienna, Austria

@alxrcs
Alex Coto alxrcs
Data Engineer @ SpazioDati. Data Science and Machine Learning enthusiast.

SpazioDati S.R.L. Trento

@numairmansur
Numair Mansur numairmansur
Research Interests: Automatic testing, debugging, formal analysis and verification of complex software systems

Amazon Web Services Berlin, Germany

@rmonat
Raphaël Monat rmonat
Research Scientist at Inria, Lille, France
@cyruliu
Cyrus Liu cyruliu
Formal Verification/Program Analysis

New Jersey USA

@mbouaziz
Mehdi Bouaziz mbouaziz

@SkipLabs Lille

@lucatorella
Luca Torella lucatorella

Paris

@flurischt
Flurin Ineichen flurischt

Bern, Switzerland