Emanuele D'osualdo
Tenure-Track Professor at University of Konstanz
Constance, Baden-Württemberg, Germany
Summary
🤩
Rockstar🎓
Top SchoolEmanuele D'osualdo is a Tenure-Track Professor of Computer Science at the University of Konstanz with 13 years of research experience in formal methods, concurrency, and program verification. He completed a PhD at Oxford and has held research and fellowship positions at Max Planck, Imperial College London, TU Kaiserslautern and Oxford, building a track record on semantics, liveness/security of concurrent systems, and modular verification. His work bridges deep theory and practical tooling — from foundational proofs of progress and secrecy to hands-on software like extending an Evernote–Sublime Text integration plugin. Colleagues value him for combining rigorous formal techniques with pragmatic engineering, teaching, and mentorship. Based in Constance, Germany, he runs research projects that push formal methods toward scalable verification of real-world concurrent software.
13 years of coding experience
8 years of employment as a software developer
Erasmus Student, Computer Science, Erasmus Student, Computer Science at İstanbul Bilgi ÜniversitesiLaurea Specialistica 110/110 cum laude, Computer Science, Laurea Specialistica 110/110 cum laude, Computer Science at Università degli Studi di UdineDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of OxfordLiceo Scientifico "Niccolò Copernico" di UdineBSc and MSc, Computer Science, BSc and MSc, Computer Science at Scuola Superiore dell'Università degli Studi di Udine
Italian, English, friulian
Stackoverflow
121reputation
2kreached
1answer
1question
Github Skills (13)
markdown10
markdown-it10
sublime-text-plugin10
python10
plugin10
integrations9
text-processing9
apic9
api9
apim9
pyqt6
google-apps-script6
javascript4
Programming languages (10)
Github contributions (5)
bordaigorl/sublime-evernote
Feb 2014 - Sep 2022
Open and Save Evernote notes from Sublime Text 3 using Markdown
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:8 releases, 262 commits, 28 PRs in 8 years 8 months
Contributions summary:Emanuele primarily contributed to the `sublime-evernote` plugin, focusing on extending its functionality and improving its integration with Evernote. Key contributions include fixing bugs, adapting the plugin to new versions of libraries, and adding features such as handling attachments, improved metadata handling, and link generation. The user demonstrated proficiency in modifying and enhancing the plugin's Python code to interact with the Evernote API and provide new user features within the Sublime Text environment.
evernotemarkdownsublime-textsublime-text-3plugin
bordaigorl/latex-commenting
Feb 2013 - Feb 2015
Contributions:1 release, 11 commits, 3 pushes in 2 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.