A lógica matemática e sua aplicação aos fundamentos da ciência da computação definem a carreira de Johann A. Makowsky. Nascido na Hungria em 1948 e tendo posteriormente adquirido a cidadania suíça, ele cursou uma rigorosa formação acadêmica no ETH Zurique. Sua trajetória profissional navegou por cenários de pesquisa internacionais, influenciando áreas que vão desde a teoria de modelos e algoritmos de grafos até a complexidade de bases de dados e programação lógica.
Formação acadêmica
Makowsky matriculou-se no ETH Zurique em 1967, concluindo seus estudos em 1971. Sob a supervisão de Ernst Specker e Hans Läuchli, desenvolveu uma base sólida em lógica matemática. Sua educação estendeu-se além da Suíça, passando o ano de 1972 em Varsóvia trabalhando com Andrzej Mostowski e Witek Marek. Também acompanhou os ensinamentos de Beno Eckmann em topologia e geometria, juntamente com Volker Strassen em algoritmos, obtendo finalmente o seu doutoramento em ciências matemáticas (Dr. math.sc.) em 1974.
Pesquisa e trajetória profissional
Sua carreira abrange inúmeros cargos de professor visitante em instituições globais, incluindo a Universidade Stanford, a Universidade Simon Fraser, a Universidade de Florença e a Universidade de Lausanne. Ocupou cargos acadêmicos permanentes na Universidade Livre de Berlim e no Technion – Instituto Tecnológico de Israel em Haifa, onde atuou como professor titular. Desde 2016, detém o título de professor emérito no Technion, mantendo seu envolvimento com a pesquisa e a supervisão de estudantes de pós-graduação.
Contribuições para a lógica e a computação
Makowsky produziu resultados significativos em teoria de modelos, especificamente no que diz respeito à teoria da categoricidade e às propriedades de interpolação e compacidade, juntamente com Saharon Shelah e Jonathan Stavi. Seu trabalho em teoria de bases de dados identificou os primeiros resultados de indecidibilidade para problemas de consequência relacionados a dependências, ao lado de Ashok Chandra e Harry Lewis. Além disso, colaborou na unificação de modelos de entidade-relacionamento com modelos relacionais e estudou a complexidade de fórmulas de Horn.
Teoria dos grafos e serviço profissional
No domínio dos algoritmos de grafos, desenvolveu uma abordagem teórica de modelos para a largura de árvore e largura de clique (tree-width e clique-width). Esta pesquisa contribuiu para uma teoria geral dos polinômios de grafos e sua definibilidade em formalismos lógicos. Além da pesquisa técnica, foi membro fundador da Associação Europeia para a Lógica em Ciência da Computação (EACSL) em 1992. Atuou como vice-presidente da organização de 2002 a 2004 e como presidente de 2004 a 2009, período durante o qual inaugurou o Prêmio Ackermann.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Dados rápidos
- Nascimento: 1948, Hungria - Cidadania: Suíça - Educação: ETH Zurique - Áreas principais: Matemática, Ciência da Computação, Lógica - Status acadêmico: Professor emérito, Technion - Filiação profissional: Associação Europeia para a Lógica em Ciência da Computação
Perguntas frequentes
### Onde Johann Makowsky obteve seu grau de doutorado?
Ele obteve seu doutoramento em ciências matemáticas (Dr. math.sc.) pelo ETH Zurique em 1974.
### Que prêmio específico Makowsky estabeleceu durante seu período na EACSL?
Ele estabeleceu o Prêmio Ackermann da EACSL, que reconhece teses de doutorado de destaque na lógica da ciência da computação.
### Johann Makowsky ainda está ativo na academia?
Sim, ele permanece ativo como professor emérito no Technion, onde continua a ensinar e a supervisionar estudantes de pós-graduação.
