{"id":8000,"date":"2022-03-17T15:20:40","date_gmt":"2022-03-17T13:20:40","guid":{"rendered":"https:\/\/insait.ai\/%d0%bf%d1%80%d0%be%d1%84-%d1%82%d0%be%d0%bc%d0%b0%d1%81-%d1%85%d0%b5%d0%bd%d1%86%d0%b8%d0%bd%d0%b3%d0%b5%d1%80\/"},"modified":"2025-08-17T10:42:02","modified_gmt":"2025-08-17T07:42:02","slug":"prof-thomas-henzinger","status":"publish","type":"page","link":"https:\/\/insait.ai\/bg\/prof-thomas-henzinger\/","title":{"rendered":"\u041f\u0440\u043e\u0444. \u0422\u043e\u043c\u0430\u0441 \u0425\u0435\u043d\u0446\u0438\u043d\u0433\u0435\u0440"},"content":{"rendered":"<section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf wide\">\n                  \n<p>\u0422\u043e\u043c \u0425\u0435\u043d\u0446\u0438\u043d\u0433\u0435\u0440 \u0435 \u043f\u0440\u0435\u0437\u0438\u0434\u0435\u043d\u0442 \u043d\u0430 <a href=\"https:\/\/ist.ac.at\/en\/home\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/ist.ac.at\/en\/home\/\" rel=\"noreferrer noopener\">IST Austria<\/a> (\u0418\u043d\u0441\u0442\u0438\u0442\u0443\u0442 \u0437\u0430 \u043d\u0430\u0443\u043a\u0430 \u0438 \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0410\u0432\u0441\u0442\u0440\u0438\u044f) \u043e\u0442 2009 \u0433. \u0422\u043e\u0439 \u043f\u0440\u0438\u0442\u0435\u0436\u0430\u0432\u0430 \u0434\u0438\u043f\u043b\u043e\u043c\u0430 Dipl.-Ing. \u043f\u043e \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u043d\u0430\u0443\u043a\u0438 \u043e\u0442 <a href=\"https:\/\/www.jku.at\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.jku.at\/\" rel=\"noreferrer noopener\">\u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430 \u0419\u043e\u0445\u0430\u043d\u0435\u0441 \u041a\u0435\u043f\u043b\u0435\u0440<\/a> \u0432 \u041b\u0438\u043d\u0446, \u0410\u0432\u0441\u0442\u0440\u0438\u044f, \u043c\u0430\u0433\u0438\u0441\u0442\u044a\u0440\u0441\u043a\u0430 \u0441\u0442\u0435\u043f\u0435\u043d \u043f\u043e \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u0438 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0438 \u043d\u0430\u0443\u043a\u0438 \u043e\u0442 <a href=\"https:\/\/www.udel.edu\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.udel.edu\/\" rel=\"noreferrer noopener\">\u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430 \u043d\u0430 \u0414\u0435\u043b\u0430\u0443\u0435\u044a\u0440<\/a>, \u0434\u043e\u043a\u0442\u043e\u0440\u0441\u043a\u0430 \u0441\u0442\u0435\u043f\u0435\u043d \u043f\u043e \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u043d\u0430\u0443\u043a\u0438 \u043e\u0442 <a href=\"https:\/\/www.stanford.edu\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.stanford.edu\/\" rel=\"noreferrer noopener\">\u0421\u0442\u0430\u043d\u0444\u043e\u0440\u0434\u0441\u043a\u0438\u044f \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442<\/a> (1991 \u0433.) \u0438 \u043f\u043e\u0447\u0435\u0442\u043d\u0438 \u0434\u043e\u043a\u0442\u043e\u0440\u0441\u043a\u0438 \u0441\u0442\u0435\u043f\u0435\u043d\u0438 \u043e\u0442 <a href=\"https:\/\/www.unipage.net\/en\/430\/joseph_fourier_university\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.unipage.net\/en\/430\/joseph_fourier_university\" rel=\"noreferrer noopener\">\u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430 \u0424\u0443\u0440\u0438\u0435<\/a> \u0432 \u0413\u0440\u0435\u043d\u043e\u0431\u044a\u043b, \u0424\u0440\u0430\u043d\u0446\u0438\u044f, \u0438 \u043e\u0442 <a href=\"https:\/\/www.muni.cz\/en\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.muni.cz\/en\" rel=\"noreferrer noopener\">\u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430 \u041c\u0430\u0441\u0430\u0440\u0438\u043a<\/a> \u0432 \u0411\u044a\u0440\u043d\u043e, \u0427\u0435\u0445\u0438\u044f. \u0411\u0438\u043b \u0435 \u0430\u0441\u0438\u0441\u0442\u0435\u043d\u0442 \u043f\u043e \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u043d\u0430\u0443\u043a\u0438 \u0432 <a href=\"https:\/\/www.cornell.edu\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.cornell.edu\/\" rel=\"noreferrer noopener\">\u041a\u043e\u0440\u043d\u0435\u043b\u0441\u043a\u0438\u044f \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442<\/a> \u0438 \u043f\u0440\u043e\u0444\u0435\u0441\u043e\u0440 \u043f\u043e \u0435\u043b\u0435\u043a\u0442\u0440\u043e\u0438\u043d\u0436\u0435\u043d\u0435\u0440\u0441\u0442\u0432\u043e \u0438 \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u043d\u0430\u0443\u043a\u0438 \u0432 <a href=\"https:\/\/www.berkeley.edu\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.berkeley.edu\/\" rel=\"noreferrer noopener\">\u041a\u0430\u043b\u0438\u0444\u043e\u0440\u043d\u0438\u0439\u0441\u043a\u0438\u044f \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442, \u0411\u044a\u0440\u043a\u043b\u0438<\/a>. \u0411\u0438\u043b \u0435 \u0438 \u0434\u0438\u0440\u0435\u043a\u0442\u043e\u0440 \u0432 <a href=\"https:\/\/www.mpi-inf.mpg.de\/home\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.mpi-inf.mpg.de\/home\/\" rel=\"noreferrer noopener\">\u0418\u043d\u0441\u0442\u0438\u0442\u0443\u0442\u0430 \u041c\u0430\u043a\u0441-\u041f\u043b\u0430\u043d\u043a \u0437\u0430 \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u043d\u0430\u0443\u043a\u0438<\/a> \u0432 \u0421\u0430\u0430\u0440\u0431\u0440\u044e\u043a\u0435\u043d, \u0413\u0435\u0440\u043c\u0430\u043d\u0438\u044f, \u0438 \u043f\u0440\u043e\u0444\u0435\u0441\u043e\u0440 \u043f\u043e \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u0438 \u043a\u043e\u043c\u0443\u043d\u0438\u043a\u0430\u0446\u0438\u043e\u043d\u043d\u0438 \u043d\u0430\u0443\u043a\u0438 \u0432 <a href=\"https:\/\/www.epfl.ch\/en\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.epfl.ch\/en\/\" rel=\"noreferrer noopener\">EPFL<\/a> \u0432 \u041b\u043e\u0437\u0430\u043d\u0430, \u0428\u0432\u0435\u0439\u0446\u0430\u0440\u0438\u044f.    <\/p>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section><section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf wide\">\n                  \n<p>\u041d\u0435\u0433\u043e\u0432\u0438\u0442\u0435 \u0438\u0437\u0441\u043b\u0435\u0434\u0432\u0430\u043d\u0438\u044f \u0441\u0430 \u0444\u043e\u043a\u0443\u0441\u0438\u0440\u0430\u043d\u0438 \u0432\u044a\u0440\u0445\u0443 \u0442\u0435\u043e\u0440\u0438\u044f\u0442\u0430 \u043d\u0430 \u0441\u043e\u0444\u0442\u0443\u0435\u0440\u043d\u0438\u0442\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u0438, \u043e\u0441\u043e\u0431\u0435\u043d\u043e \u043c\u043e\u0434\u0435\u043b\u0438, \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0438 \u0438 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0438 \u0437\u0430 \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u0430\u043d\u0435 \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u043d\u0430 \u043d\u0430\u0434\u0435\u0436\u0434\u043d\u0438 \u0441\u043e\u0444\u0442\u0443\u0435\u0440\u043d\u0438 \u0441\u0438\u0441\u0442\u0435\u043c\u0438. \u041d\u0435\u0433\u043e\u0432\u0438\u044f\u0442 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 <a href=\"https:\/\/pub.ist.ac.at\/~tah\/Publications\/hytech.html\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/pub.ist.ac.at\/~tah\/Publications\/hytech.html\" rel=\"noreferrer noopener\">HyTech<\/a> \u0435 \u043f\u044a\u0440\u0432\u0438\u044f\u0442 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 \u0437\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u043d\u0430 \u043c\u043e\u0434\u0435\u043b\u0438 \u0437\u0430 \u0441\u043c\u0435\u0441\u0435\u043d\u0438 \u0434\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u043e-\u043d\u0435\u043f\u0440\u0435\u043a\u044a\u0441\u043d\u0430\u0442\u0438 \u0441\u0438\u0441\u0442\u0435\u043c\u0438.  <\/p>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section><section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf wide\">\n                  \n<p>\u0422\u043e\u0439 \u0435 \u0447\u043b\u0435\u043d \u043d\u0430 <a href=\"http:\/\/www.nasonline.org\/\" target=\"_blank\" data-type=\"URL\" data-id=\"http:\/\/www.nasonline.org\/\" rel=\"noreferrer noopener\">\u041d\u0430\u0446\u0438\u043e\u043d\u0430\u043b\u043d\u0430\u0442\u0430 \u0430\u043a\u0430\u0434\u0435\u043c\u0438\u044f \u043d\u0430 \u043d\u0430\u0443\u043a\u0438\u0442\u0435 \u043d\u0430 \u0421\u0410\u0429<\/a>, <a href=\"https:\/\/www.amacad.org\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.amacad.org\/\" rel=\"noreferrer noopener\">\u0410\u043c\u0435\u0440\u0438\u043a\u0430\u043d\u0441\u043a\u0430\u0442\u0430 \u0430\u043a\u0430\u0434\u0435\u043c\u0438\u044f \u043d\u0430 \u0438\u0437\u043a\u0443\u0441\u0442\u0432\u0430\u0442\u0430 \u0438 \u043d\u0430\u0443\u043a\u0438\u0442\u0435<\/a>, <a href=\"https:\/\/www.ae-info.org\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.ae-info.org\/\" rel=\"noreferrer noopener\">Academia Europaea<\/a>, <a href=\"https:\/\/www.leopoldina.org\/en\/about-us\/\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.leopoldina.org\/en\/about-us\/\" rel=\"noreferrer noopener\">\u0413\u0435\u0440\u043c\u0430\u043d\u0441\u043a\u0430\u0442\u0430 \u0430\u043a\u0430\u0434\u0435\u043c\u0438\u044f \u043d\u0430 \u043d\u0430\u0443\u043a\u0438\u0442\u0435 (\u041b\u0435\u043e\u043f\u043e\u043b\u0434\u0438\u043d\u0430)<\/a> \u0438 <a href=\"https:\/\/www.oeaw.ac.at\/en\/1\/austrian-academy-of-sciences\" target=\"_blank\" data-type=\"URL\" data-id=\"https:\/\/www.oeaw.ac.at\/en\/1\/austrian-academy-of-sciences\" rel=\"noreferrer noopener\">\u0410\u0432\u0441\u0442\u0440\u0438\u0439\u0441\u043a\u0430\u0442\u0430 \u0430\u043a\u0430\u0434\u0435\u043c\u0438\u044f \u043d\u0430 \u043d\u0430\u0443\u043a\u0438\u0442\u0435<\/a>. \u0422\u043e\u0439 \u0435 \u0441\u044a\u0449\u043e \u0442\u0430\u043a\u0430 \u0447\u043b\u0435\u043d \u043d\u0430 AAAS, ACM \u0438 IEEE.  <\/p>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section><section class=\"section default-block\">\n          <div class=\"container pb-30\">\n            <div class=\"row\">\n              <div class=\"post-content offset-sm-1 offset-md-1 col-xs-4 col-sm-6 col-md-10 \">\n                <div class=\"entry-content rtf wide\">\n                  \n<p>\u0422\u043e\u0439 \u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u043b <a href=\"https:\/\/royalsociety.org\/science-events-and-lectures\/2015\/11\/milner-award\/\" data-type=\"URL\" data-id=\"https:\/\/royalsociety.org\/science-events-and-lectures\/2015\/11\/milner-award\/\" target=\"_blank\" rel=\"noreferrer noopener\">\u043d\u0430\u0433\u0440\u0430\u0434\u0430\u0442\u0430 \u0420\u043e\u0431\u0438\u043d \u041c\u0438\u043b\u043d\u044a\u0440 \u043d\u0430 \u041a\u0440\u0430\u043b\u0441\u043a\u043e\u0442\u043e \u043e\u0431\u0449\u0435\u0441\u0442\u0432\u043e<\/a>, <a href=\"https:\/\/ist.ac.at\/en\/news\/thomas-a-henzinger-receives-prestigious-eatcs-award-for-lifetime-contributions-to-computer-science\/\" data-type=\"URL\" data-id=\"https:\/\/ist.ac.at\/en\/news\/thomas-a-henzinger-receives-prestigious-eatcs-award-for-lifetime-contributions-to-computer-science\/\" target=\"_blank\" rel=\"noreferrer noopener\">\u043d\u0430\u0433\u0440\u0430\u0434\u0430\u0442\u0430 EATCS \u043d\u0430 \u0415\u0432\u0440\u043e\u043f\u0435\u0439\u0441\u043a\u0430\u0442\u0430 \u0430\u0441\u043e\u0446\u0438\u0430\u0446\u0438\u044f \u0437\u0430 \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u043d\u0430 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0442\u0438\u043a\u0430<\/a> \u0438 <a href=\"https:\/\/ist.ac.at\/en\/news\/wittgenstein-award-for-thomas-henzinger\/\" data-type=\"URL\" data-id=\"https:\/\/ist.ac.at\/en\/news\/wittgenstein-award-for-thomas-henzinger\/\" target=\"_blank\" rel=\"noreferrer noopener\">\u043d\u0430\u0433\u0440\u0430\u0434\u0430\u0442\u0430 \u0412\u0438\u0442\u0433\u0435\u043d\u0449\u0430\u0439\u043d \u043d\u0430 <\/a><a href=\"https:\/\/ist.ac.at\/en\/news\/wittgenstein-award-for-thomas-henzinger\/\" data-type=\"URL\" data-id=\"https:\/\/ist.ac.at\/en\/news\/wittgenstein-award-for-thomas-henzinger\/\" target=\"_blank\" rel=\"noopener\">\u0410\u0432\u0441\u0442\u0440\u0438\u0439\u0441\u043a\u0438\u044f \u043d\u0430\u0443\u0447\u0435\u043d \u0444\u043e\u043d\u0434<\/a>.<\/p>\n\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n      <\/section>","protected":false},"excerpt":{"rendered":"<p>\u0422\u043e\u043c \u0425\u0435\u043d\u0446\u0438\u043d\u0433\u0435\u0440 \u0435 \u043f\u0440\u0435\u0437\u0438\u0434\u0435\u043d\u0442 \u043d\u0430 IST Austria (\u0418\u043d\u0441\u0442\u0438\u0442\u0443\u0442 \u0437\u0430 \u043d\u0430\u0443\u043a\u0430 \u0438 \u0442\u0435\u0445\u043d\u043e\u043b\u043e\u0433\u0438\u0438 \u0410\u0432\u0441\u0442\u0440\u0438\u044f) \u043e\u0442 2009 \u0433. \u0422\u043e\u0439 \u043f\u0440\u0438\u0442\u0435\u0436\u0430\u0432\u0430 \u0434\u0438\u043f\u043b\u043e\u043c\u0430 Dipl.-Ing. \u043f\u043e \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u043d\u0430\u0443\u043a\u0438 \u043e\u0442 \u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430 \u0419\u043e\u0445\u0430\u043d\u0435\u0441 \u041a\u0435\u043f\u043b\u0435\u0440 \u0432 \u041b\u0438\u043d\u0446, \u0410\u0432\u0441\u0442\u0440\u0438\u044f, \u043c\u0430\u0433\u0438\u0441\u0442\u044a\u0440\u0441\u043a\u0430 \u0441\u0442\u0435\u043f\u0435\u043d \u043f\u043e \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u0438 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u043e\u043d\u043d\u0438 \u043d\u0430\u0443\u043a\u0438 \u043e\u0442 \u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430 \u043d\u0430 \u0414\u0435\u043b\u0430\u0443\u0435\u044a\u0440, \u0434\u043e\u043a\u0442\u043e\u0440\u0441\u043a\u0430 \u0441\u0442\u0435\u043f\u0435\u043d \u043f\u043e \u043a\u043e\u043c\u043f\u044e\u0442\u044a\u0440\u043d\u0438 \u043d\u0430\u0443\u043a\u0438 \u043e\u0442 \u0421\u0442\u0430\u043d\u0444\u043e\u0440\u0434\u0441\u043a\u0438\u044f \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442 (1991 \u0433.) \u0438 \u043f\u043e\u0447\u0435\u0442\u043d\u0438 \u0434\u043e\u043a\u0442\u043e\u0440\u0441\u043a\u0438 \u0441\u0442\u0435\u043f\u0435\u043d\u0438 [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":7107,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-person.php","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-8000","page","type-page","status-publish","has-post-thumbnail","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/pages\/8000","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/comments?post=8000"}],"version-history":[{"count":0,"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/pages\/8000\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/media\/7107"}],"wp:attachment":[{"href":"https:\/\/insait.ai\/bg\/wp-json\/wp\/v2\/media?parent=8000"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}