Vera Koponen
Universitetslektor vid Matematiska institutionen; Algebra, logik och representationsteori
- Telefon:
- 018-471 31 85
- E-post:
- Vera.Koponen@math.uu.se
- Besöksadress:
- Ångströmlaboratoriet, Lägerhyddsvägen 1
- Postadress:
- Box 480
751 06 UPPSALA
- Akademiska meriter:
- FD, docent
Mer information visas för dig som medarbetare om du loggar in.
Forskning
Jag forskar inom matematisk logik och relaterade områden. Inom logiken är mitt specialområde modellteori som är studiet av strukturer i mycket vid mening, men gemensamt för modellteoretiska studier är att formella logiska språk spelar en central roll.
Under 2024-2027 så leder jag projektet En modellteoretisk studie av sambandsinlärning inom artificiell intelligens som finansieras av Vetenskapsrådet.
Lite mer om min forskning, inklusive en lista som innehåller artiklar som inte ännu har publicerats, finner du här http://www2.math.uu.se/~vera/research/index.html.
Publikationer
Senaste publikationer
- Asymptotic elimination of partially continuous aggregation functions in directed graphical models (2023)
- Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination (2020)
- Supersimple omega-categorical theories and pregeometries (2019)
- On Constraints And Dividing In Ternary Homogeneous Structures (2018)
- Binary simple homogeneous structures (2018)
Alla publikationer
Artiklar
- Asymptotic elimination of partially continuous aggregation functions in directed graphical models (2023)
- Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination (2020)
- Supersimple omega-categorical theories and pregeometries (2019)
- On Constraints And Dividing In Ternary Homogeneous Structures (2018)
- Binary simple homogeneous structures (2018)
- Random l-colourable structures with a pregeometry (2017)
- Homogeneous 1-based structures and interpretability in random structures (2017)
- Binary primitive homogeneous simple structures (2017)
- Binary simple homogeneous structures are supersimple with finite rank (2016)
- On sets with rank one in simple homogeneous structures (2015)
- Limit laws and automorphism groups of random nonrigid structures (2015)
- Typical automorphism groups of finite nonrigid structures (2015)
- On compactness of logics that can express properties of symmetry or connectivity (2015)
- A limit law of almost l-partite graphs (2013)
- Asymptotic probabilities of extension properties and random l-colourable structures (2012)
- Random graphs with bounded maximum degree (2012)
- Independence and the finite submodel property (2009)
- Entropy of formulas (2009)
- Gregory Cherlin and Ehud Hrushovski. Finite structures with few types. Annals of Mathematics Studies. Princeton University Press, 2003, vi + 196pp. (2008)
- The finite submodel property and ω-categorical expansions of pregeometries (2006)
- Finite satisfiability and N-0-categorical structures with trivial dependence (2006)
- A note on orthogonality and stable embeddedness (2005)
- On first-order sentences without finite models (2004)
- Finite variable logic, stability and finite models (2001)
Böcker
Kapitel
Rapporter
