Katalin fazekas biography
- Biography.
- Experience: Cpl · Education: Budapest College of Management · Location: Ireland · 265 connections on LinkedIn.
- Katalin Fazekas.
- •
Lectures
See the schedule here
Day 1: SAT Solving
Daniel Le Berre
Abstract TBA
Bio:Dr. Leberre is professor in Lens, where he works on SAT solving and beyond with the SAT4j SAT solver in Java.
Kristin Yvonne Rozier
Abstract TBA
Bio:Dr. Rozier is working in Iowa State University. She works on various formal tools like MLTL that is used by the NASA Lunar Gateway Vehicle System Manager.
Katalin Fazekas
Abstract TBA
Bio:Dr. Fazekas is doing research at the TU Wien, after doing her PhD in Linz and doing a Research Fellow at the Simons Instute. One of her topics of research are deeper integration of SMT and SAT solving by providing external control.
Armin Biere
Abstract TBA
Bio:Prof. Dr. Armin Biere is now in Freiburg after spending many years in Linz. He is very famous for his work on SAT solvers. As Karem Sakallah mentioned in a talk: The SAT Competition is a simple game. Many people submit a solver and at the end, Armin wins. He is also very active on Twitter, Mastodon, and various other social networks.
Day 2: SMT Solving
Haniel Barbosa
Abstra Katalin Fazekas DLA essay / Thesis booklet — Community and architecture. Complex design approaches Supervisor — Ferenc Cságoly DLA, DSc Thesis project — Bio-briquette drying building, Monor DLA School, BUTE, January 2017, Budapest Community and architecture. Complex design approaches titled DLA essay thesis booklet. 10 copies printed in 176Ă—250 mm size on Lightset 80g/m 2 paper at Monobit press. Text: Katalin Fazekas, design by: Veronika JuhĂĄsz, DLA School, BUTE, January 2017, Budapest Content Abstract p.4. Theses p.6. Thesis project — Bio-briquette drying building, Monor p.10. Curriculum vitae p.18. Abstract Community and architecture. Complex design approaches Since the 1990’s, with the advancement of globalization and environmental issues, as well as overpopulation and increasing poverty more and more quality architectural projects have started to take shape, with the goal of helping communities at stake. Value-sustai WikiTree is a community of genealogists — including 2 Fazekas genealogists and amateur family historians — dedicated to growing an accurate collaborative family tree that's 100% free and accessible to everyone forever. Please join us. Copyright ©mobthaw.pages.dev 2025•
Thesis booklet - Community and architecture - Complex design approaches - DLA essay -Katalin Fazekas
•