Mikołaj Bojańczyk

Mikołaj Bojańczyk
une illustration sous licence libre serait bienvenue
Biographie
Naissance
(47 ans)
Nationalité
Domicile
Formation
Activités
Autres informations
A travaillé pour
Directeurs de thèse
Igor Walukiewicz (d), Andrzej Włodzimierz Mostowski (d)Voir et modifier les données sur Wikidata
Site web
Distinction

modifier - modifier le code - modifier WikidataDocumentation du modèle

Mikołaj Bojańczyk, né en 1977, est un informaticien théoricien et logicien polonais, professeur à l'université de Varsovie.

Biographie scientifique

Bojańczyk obtient en 2004 un doctorat de l'université de Varsovie. Il passe l'année 2004-2005 à l'université Paris-Diderot. Il obtient une habilitation à l'université de Varsovie en 2008[1] et est professeur titulaire à cette université depuis 2014. Bojańczyk est le premier récipiendaire du prix Presburger en 2010[2]. Il a d'ailleurs réuni un certain nombre de documents sur Presburger[3].

Thèmes de recherche

Bojańczyk travaille sur l'interaction entre les formalismes logiques et les diverses familles d'automates finis. Il est connu pour ses contributions à la théorie des automates cheminants[4],[5] avec Thomas Colcombet (en), et pour de nombreuses autres contributions à la logique en théorie des automates[6],[7]. Il a travaillé sur le problème de la hauteur d'étoile : il présente une simplification de la preuve de la décidabilité[8], en 2015, article détaillé sur arxiv[9] en 2017. Il s'intéresse à la logique monadique du second ordre sur les graphes dans le cadre de la théorie de Courcelle, il étend la logique avec un quantificateur U pour pouvoir formuler des expressions, toujours sur les graphes ; il a introduit et étudié des langages réguliers sur les monads. Il étudie, dans une série d'articles, des data words et data trees, généralisations au cas d'alphabets infinis. Enfin, il développe, à l’université de Varsovie, un projet appelé Atoms, motivé initialement par l'étude d'automates sur les data words et data trees. Un livre est en cours de rédaction, disponible sur le site[10].

Notes et références

  1. ↑ (en) « Mikolaj Bojanczyk », sur le site du Mathematics Genealogy Project
  2. ↑ « Presburger Award », sur European Association for Theoretical Computer Science.
  3. ↑ Mojzesz Presburger à Varsovie.
  4. ↑ Mikołaj Bojańczyk et Thomas Colcombet, « Tree-walking automata cannot be determinized », Theoretical Computer Science, vol. 350, nos 2-3,‎ , p. 164–173 (DOI 10.1016/j.tcs.2005.10.031)
  5. ↑ Mikołaj Bojańczyk et Thomas Colcombet, « Tree-Walking Automata Do Not Recognize All Regular Languages », SIAM Journal on Computing, vol. 38, no 2,‎ , p. 658–701 (DOI 10.1137/050645427, lire en ligne)
  6. ↑ Mikołaj Bojańczyk et Paweł Parys, « XPath Evaluation in Linear Time », Journal of the ACM, vol. 58, no 4,‎ , p. 17:1–17:33 (DOI 10.1145/1989727.1989731, lire en ligne)
  7. ↑ Mikoaj Bojańczyk, Anca Muscholl, Thomas Schwentick et Luc Segoufin, « Two-variable Logic on Data Trees and XML Reasoning », Journal of the ACM, vol. 56, no 3,‎ , p. 13:1–13:48 (DOI 10.1145/1516512.1516515, lire en ligne)
  8. ↑ Mikolaj Bojanczyk, « Star Height via Games », ACM/IEEE Symposium on Logic in Computer,‎ , p. 214–219 (DOI 10.1109/LICS.2015.29)
  9. ↑ Star Height via Games
  10. ↑ Atom book.

Liens externes

v · m
Lauréats du prix Presburger

Read other articles:

Festival Lagu Populer Indonesia 1981

Festival Lagu Populer Indonesia 1981Kompilasi karya Various ArtistDirilis1981Direkam?GenrePopDurasi?LabelArkanta RecordsProduser-Series Festival Lagu Populer Indonesia 1980 (1980)'Festival Lagu Populer Indonesia 1980'1980 Festival Lagu Populer Indonesia 1981 (1981) Festival Lagu Populer Indonesia 1982 (1982)'Festival Lagu Populer Indonesia 1982'1982 Festival Lagu Populer Indonesia 1981 adalah Album kompilasi Festival Lagu Populer Nasional IX yang dirilis pada tahun 1981. Daftar lagu SIKSA...

 

Daftar anggota GNZ48

GNZ48 GNZ48 adalah grup idola asal Guangzhou, Tiongkok. Dibentuk pada tahun 2016, GNZ48 merupakan merupakan grup saudari SNH48 pertama bersama dengan BEJ48. Pembentukannya bersama BEJ48 juga merupakan sebab dari SNH48 memutuskan kemitraan dengan AKB48 Group pada 9 Juni 2016.[1] Grup tersebut memiliki teater di lantai 3 Thailand International Plaza, 161 Linhe W Rd, Tianhe, Guangzhou, Guangdong, Tiongkok. Namanya adalah sebuah singkatan dari nama pinyin Guangzhou (GuaNgZhou), GNZ. Bagia...

 

Jimat

Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini. Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan. Mengganti markah HTML dengan markah wiki bila dimungkinkan. Tambahkan pranala wiki. Bila dirasa perlu, buatlah pautan ke artikel wiki lainnya dengan cara menambahkan [[ dan ]] pada kata yang bersangkutan (lihat WP:LINK untuk keterangan lebih lanjut...

Timor Oriental

«Timor-Leste» redirige aquí. Para la isla completa, véase Timor. República Democrática de Timor-LesteRepública Democrática de Timor-Leste  (portugués)Repúblika Demokrátika Timor Lorosa'e  (tetun)Bandera Escudo Lema: Unidade, Acção, Progresso(en portugués: «Unidad, acción, progreso») Himno: Pátria(en portugués: «Patria») Capital(y ciudad más poblada) Dili8°33′13″S 125°34′42″E / -8.5536111111111, 125.57833333333 Idiomas oficial...

 

Woolloongabba Police Station

Historic site in Queensland, AustraliaWoolloongabba Police StationView from Main Road, 2015Location842–848 Main Street, Woolloongabba, City of Brisbane, Queensland, AustraliaCoordinates27°29′07″S 153°02′10″E / 27.4854°S 153.0362°E / -27.4854; 153.0362Design period1900–1914 (early 20th century)Built1913–1936ArchitectQueensland Department of Public WorksArchitectural style(s)Classicism Queensland Heritage RegisterOfficial nameWoolloongabba Police Stati...

 

جامع سجاس

جامع سجاس إحداثيات 36°14′12″N 48°32′38″E / 36.236527777778°N 48.543805555556°E / 36.236527777778; 48.543805555556   معلومات عامة الموقع سجاس[1][2][3]  القرية أو المدينة سجاس، محافظة زنجان الدولة  إيران الطول 11 متر[2]  العرض 11 متر[2]  الارتفاع عن سطح الأرض 14 متر[2]...

新罕布什尔州

坐标：43°11′38″N 71°34′21″W / 43.1938516°N 71.5723953°W / 43.1938516; -71.5723953 此條目需要补充更多来源。 (2017年5月21日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：新罕布什尔州 — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源...

 

Android-x86

Android-x86Tampilan Android-x86Perusahaan / pengembangChih-Wei Huang dan Yi-Sun, Komunitas Android-x86KeluargaAndroidStatus terkiniAktifModel sumbersumber terbukaRilis stabil terkini9.0-r2 released[1] / 25 Maret 2020; 4 tahun lalu (2020-03-25)[1]Rilis tak-stabil terkini4.2[1] / 15 Juli 2012; 11 tahun lalu (2012-07-15)[1]Kernel typeAndroidLisensiLisensi Apache 2.0Situs web resmiwww.android-x86.org Android-x86 adalah inisiatif tidak resmi untuk mem...

 

Edgar Jung

German jurist and essayist Jung, c. 1925 This article is part of a series onConservatism in Germany Ideologies Agrarian Christian democracy Liberal Ordo Ritter School Monarchism Nationalist Neue Rechte Völkisch Paternalistic State Socialism Prussianism Cameralistic Socialist Revolutionary Young Romanticism Right-Hegelianism Historical School Principles Christian values Duty Elitism Aristocracy Meritocracy Gemeinschaft Heimat In Treue fest Kultur Medievalism Monarchism Organicism  Patrio...

Tortilla chip

Snack food made from corn tortillas This article is about the chips made from corn tortillas. For other chips made from corn, see corn chip. Tortilla chipA plate of tortilla chips with salsa and guacamoleTypeSnack foodPlace of originUnited StatesMain ingredientsTortillas (corn, vegetable oil, salt, water) Cookbook: Tortilla chip  Media: Tortilla chipA young girl eating tortilla chips with pico de gallo A tortilla chip is a snack food made from corn tortilla, which are cut into triang...

 

Giacomo Promontorio

Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini. Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan. Mengganti markah HTML dengan markah wiki bila dimungkinkan. Tambahkan pranala wiki. Bila dirasa perlu, buatlah pautan ke artikel wiki lainnya dengan cara menambahkan [[ dan ]] pada kata yang bersangkutan (lihat WP:LINK untuk keterangan lebih lanjut...

 

Ketty Lapeyrette

French opera singer Ketty LapeyretteKetty Lapeyrette in 1908Born23 July 1884Oloron-Sainte-Marie, French Third RepublicDied2 October 1960 (aged 76)Paris, FranceOccupationSingerYears active1908–1938 Catherine Julie Ketty Lapeyrette (23 July 1884 – 2 October 1960) was a French contralto opera singer. She remained with the Paris Opera for 30 years, seldom performing outside France. From 1944, she taught at the Paris Conservatory.[1][2] Biography Born on 23 July 1884 a...

Wind River Indian Reservation

Indian reservation in Wyoming, United States Indian reservation in the United StatesWind River Indian ReservationIndian reservationWind River Range FlagFlagLocation in WyomingTribesEastern ShoshoneNorthern ArapahoCountryUnited StatesStateWyomingCountiesFremontHot SpringsHeadquartersFort WashakieGovernment[1][2] • BodyBusiness Councils • ChairmanJohn St. Clair (Eastern Shoshone)Jordan Dresser (Northern Arapaho) • Co-ChairmanJohn Washakie (Eas...

 

احمر (البروكات)

احمر تقسيم إداري البلد المغرب  الجهة مراكش آسفي الإقليم آسفي الدائرة كزولة الجماعة القروية أولاد سلمان المشيخة البروكات السكان التعداد السكاني 480 نسمة (إحصاء 2004)   • عدد الأسر 80 معلومات أخرى التوقيت ت ع م±00:00 (توقيت قياسي)[1]،  وت ع م+01:00 (توقيت صيفي)[1]  تعديل...

 

Plaza de España (Roma)

Plaza de España Escalinata de la plaza con iglesia de la Trinità dei Monti.UbicaciónPaís Italia ItaliaLocalidad RomaCoordenadas 41°54′21″N 12°28′55″E / 41.90595, 12.48205833CaracterísticasTipo Plaza y Atracción turísticaVías adyacentes Via Condotti, Via del Babuino y Via BorgognonaHistoriaCreación siglo XVIIMapa de localización Localización de la plaza de España en Roma.[editar datos en Wikidata] La plaza de España (en italiano Piazza...

23 avril

Pour les articles homonymes, voir Vingt-Trois-Avril. Éphémérides Avril 1er 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30           23 mars 23 mai Chronologies thématiques Croisades Ferroviaires Sports Disney Anarchisme Catholicisme Abréviations / Voir aussi (° 1852) = né en 1852 († 1885) = mort en 1885 a.s. = calendrier julien n.s. = calendrier grégorien Calendrier Calendrier perpétuel Liste de calendriers Naissances du jou...

 

Marvin Potzmann

Marvin Potzmann Informasi pribadiNama lengkap Marvin PotzmannTanggal lahir 7 Desember 1993 (umur 30)Tempat lahir AustriaPosisi bermain GelandangInformasi klubKlub saat ini SV MattersburgNomor 16Karier senior*Tahun Tim Tampil (Gol)2009– SV Mattersburg 1 (0) * Penampilan dan gol di klub senior hanya dihitung dari liga domestik dan akurat per 20:54, 1 September 2011 (UTC) Marvin Potzmann (lahir 7 Desember 1993) adalah pemain sepak bola asal Austria. Pada saat ini ia bermain untuk ti...

 

Kinshuk Mahajan

Kinshuk MahajanLahirKinshuk Mahajan17 April 1986 (umur 38)Delhi, IndiaAlmamaterAsian Academy of Film & TelevisionPekerjaanAktor, modelTahun aktif2007-sekarangTinggi173 cm (5 ft 8 in)Suami/istriDivya Gupta ​(m. 2011)​Anak2Orang tuaArun Mahajan Poonam Mahajan Kinshuk Mahajan (lahir 17 April 1986) adalah seorang aktor dan model berkebangsaan India yang dikenal karena perannya sebagai Ranveer Rajvansh di Sapna Babul Ka...Bidaai.[1]...

Diána Kőszegi

Hungarian Go player (born 1983) The native form of this personal name is Kőszegi Diána. This article uses Western name order when mentioning individuals. Diána KőszegiKőszegi in 2008Born (1983-08-14) 14 August 1983 (age 41)Budapest, HungaryResidenceBudapest and KoreaTurned pro2008Rank1 prodanAffiliationHanguk Kiwon Diána Kőszegi (born August 14, 1983) is a Hungarian professional Go player.[1][2] She became the sixth European professional player when she was pro...

 

وكالة الطاقة النووية

أعضاء الوكالة الحاليين وكالة الطاقة النووية   البلد فرنسا  المقر الرئيسي بولون-بيانكور  تاريخ التأسيس 20 أبريل 1972،  و1958[1]  المنظمة الأم منظمة التعاون الاقتصادي والتنمية  الموقع الرسمي الموقع الرسمي  تعديل مصدري - تعديل   وكالة الطاقة النووية هي منظم�...