Doktorsvörn: Hjörtur Björnsson

Doktorsvörn /

Doktorsefni: Hjörtur Björnsson Heiti ritgerðar: Lyapunov föll og slembin kerfi: Fræði og tölulegar aðferðir (Lyapunov Functions for Stochastic Systems: Theory and Numerics) Leiðbeinandi: Dr. Sigurður Freyr Hafstein, prófessor við Raunvísindadeild HÍ Einnig í doktorsnefnd: Dr. Sigurður Örn Stefánsson, prófessor við Raunvísindadeild HÍ Dr. Peter Giesl, prófessor við Háskólann í Sussex, Bretlandi Andmælendur: Dr. Gerardo Barrera […]

Doktorsvörn: Hjörtur Björnsson Read More »

Málstofa: Gabor Elek

Málstofa í stærðfræði /

Næsta málstofa verður þriðjudaginn 25. apríl kl 13:20 í Naustinu, húsi Endurmenntunar. Fyrirlesari er Gabor Elek, Lancaster University. Titill fyrirlestrarins er Very fast graph algorithms. Ágrip: Interesting graph parameters are very hard to compute, that is, the known computation algorithms run in exponential times. Unfortunately, we don’t have that much time…. However, for certain important

Málstofa: Gabor Elek Read More »

Málstofa: Marton Posfai

Málstofa í stærðfræði /

Næsta málstofa verður þriðjudaginn 18. apríl kl 13:20 í VHV-023 (ath. ný staðsetning). Fyrirlesari er Marton Posfai, Central European University, Vienna. Titill fyrirlestrarins er Physical networks. Ágrip: Physical networks — networks with nodes and links that are physical objects embedded in space — are shaped by constraints such as volume exclusion, the cost of building

Málstofa: Marton Posfai Read More »

Málstofa: Sigrún Helga Lund

Málstofa í stærðfræði /

Næsta málstofa verður þriðjudaginn 4. apríl kl 13:20 í Naustinu, húsi Endurmenntunar. Fyrirlesari er Sigrún Helga Lund, Háskóla Íslands. Titill fyrirlestrarins er Utilizing Plasma Proteomics for Biomarker Discovery: Methodological Approaches and Novel Insights. Ágrip: Integrating high-throughput proteomic data with clinical and genetic information is a powerful approach to identify novel biomarkers and drug targets. Here,

Málstofa: Sigrún Helga Lund Read More »

Málstofa: Sigurður Jens Albertsson

Málstofa í stærðfræði /

Næsta málstofa verður þriðjudaginn 28. mars kl 13:20 í Naustinu, húsi Endurmenntunar. Fyrirlesari er Sigurður Jens Albertsson, Háskóla Íslands. Titill fyrirlestrarins er Reflections on geometry. Ágrip: Synthetic and analytic geometries study the inner structure of spaces. Spaces can be considered in a context of other spaces and then compared. The extrinsic viewpoint will be applied

Málstofa: Sigurður Jens Albertsson Read More »

Málstofa: Friðrik Freyr Gautason

Málstofa í stærðfræði /

Næsta málstofa verður þriðjudaginn 21. mars kl 13:20 í Naustinu, húsi Endurmenntunar. Fyrirlesari er Friðrik Freyr Gautason, Háskóla Íslands. Titill fyrirlestrarins er Localization and the AdS/CFT correspondence. Ágrip: When studying quantum systems of particles and their interactions, we are often interested in computing the so-called partition function which is a generating function for physical observables.

Málstofa: Friðrik Freyr Gautason Read More »

Postdoctoral position in probability theory

Auglýsingar /

Applications are invited for a postdoctoral position in mathematics at the University of Iceland. The research will belong to the project „Random networks in space“ which is financed by The Icelandic Research Fund. The application deadline is April 30, 2023, however, applications will continue to be accepted until the position is filled. We are looking

Postdoctoral position in probability theory Read More »

Málstofa: Gunnar Stefánsson

Málstofa í stærðfræði /

Næsta málstofa verður þriðjudaginn 14. mars kl 13:20 í Naustinu, húsi Endurmenntunar. Fyrirlesari er Gunnar Stefánsson, Háskóla Íslands. Titill fyrirlestrarins er The SmileyTutor tool for research and teaching: Design principles and results on its use in African slums and refugee camps. Ágrip: The SmileyTutor (formerly tutor-web) is a web-based tool where students can practice mathematics,

Málstofa: Gunnar Stefánsson Read More »

Málstofa: Dagur Tómas Ásgeirsson

Málstofa í stærðfræði /

Næsta málstofa verður þriðjudaginn 7. mars kl 13:20 í Naustinu, húsi Endurmenntunar. Fyrirlesari er Dagur Tómas Ásgeirsson, Kaupmannahafnarháskóla (og Háskóla Íslands). Titill fyrirlestrarins er Interactive theorem proving. Ágrip: The programming language Lean is an interactive theorem prover which now comes with a formalised mathematical library that contains most of an undergraduate degree in mathematics, and

Málstofa: Dagur Tómas Ásgeirsson Read More »