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
-
Algebraizable weak logics
Nakov, G. & Quadrellaro, D. E., 14 Jan 2026, (E-pub ahead of print) In: The Journal of Symbolic Logic. 50 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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 AccessFile2 Citations (Scopus)44 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 › Oral presentation
-
Contributed talk TYPES 2021: "Quantitative polynomial functors"
Nordvall Forsberg, F. (Contributor) & Nakov, G. (Speaker)
16 Jun 2021Activity: Talk or Presentation › Oral presentation