🎓
I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz
-
University of Konstanz
- Konstanz, Germany
- http://emanueledosualdo.com
- https://orcid.org/0000-0002-9179-5827
- @bordaigorl
Highlights
- Pro
Apollo
superhero198699
The 'Time´ said: I can eat everything what you think you are. All that belongs to me. But I can not eat what you really are. But 'that' you do not know.
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
Bater.Makhabel
batermj
Software Engineer with A Passion for Innovation,
Published Author,
https://www.linkedin.com/in/batermj/
META4ALL Abu Dhabi, UAE
Georg Zetzsche
gzetzsche
Tenure-track faculty member at MPI-SWS, Germany.
@MPI-SWS Kaiserslautern, Germany
Michal J A Paszkiewicz
MichalPaszkiewicz
Just a guy who likes to make things @MichalYouDoing
Scriptorium AI Gloucester, UK
Jackson Adams
guanglizi
An aspiring musician with a passion for writing heartfelt lyrics. Known for his captivating voice and mesmerizing stage presence.
César Rodríguez
cesaro
I develop automated program analysis techniques for formal verification, bug finding, and test generation.
Cadence & University Paris 13, Sorbonne Paris Cité Oxford, UK
Jits
jits
Tech Lead @ Prolific. Full-stack product developer (TypeScript, Python & Ruby). People, products, and systems.
Brighton, UK
Phillip Ressler
macressler
I am a computer science student who would like to learn how to code.
Ressler Runtime, LLC Palmdale, CA USA
Riccardo Tommasini
riccardotommasini
I am an associate professor at INSA Lyon, France Working on Semantic Web, AI, Stream Processing, and Graphs...
INSA de Lyon Villeurbanne
PreviousNext