Research output per year
Research output per year
Fingerprint
Dive into the research topics where Georgi Nakov is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
LabMate: a prospectus for types for MATLAB
McBride, C., Nakov, G., Nordvall Forsberg, F., Videla, A., Forbes , A. & Lines, K., May 2025, In: Measurement: Sensors. 38, 101460.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile -
Measuring with confidence: leveraging expressive type systems for correct-by-construction software
McBride, C., Nakov, G. & Nordvall Forsberg, F., 22 Mar 2023, In: Acta IMEKO. 12, 1, 5 p., 15.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Citations (Scopus)57 Downloads (Pure)
Activities
- 2 Oral presentation
-
Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors
Nordvall Forsberg, F. (Speaker), McBride, C. (Contributor), Nakov, G. (Contributor), Allais, G. (Contributor), Altenmüller, M. (Contributor) & Roy, C. (Contributor)
22 Jun 2022Activity: Talk or presentation types › Oral presentation
-
Contributed talk TYPES 2021: "Quantitative polynomial functors"
Nordvall Forsberg, F. (Contributor) & Nakov, G. (Speaker)
16 Jun 2021Activity: Talk or presentation types › Oral presentation