News

We invite you to the dissertation defence of Martin Hruška

We cordially invite you to the dissertation defence of Ing. Ing. Martin Hruška entitled Automata in Software Verification and Testing. Under the supervision of the supervisor Professor Tomáš Vojnar and the specialist supervisor Associate Professor Lukáš Holík, he deals with applications of the theory of finite automata in software quality assurance. The first part deals with the application of automata in formal program verification working with dynamic data structures, followed by their application to automated testing of production information systems in a digital twin environment. 

The defense will take place on March 5 at 1 pm in meeting room C209 at the FIT BUT.

The opponents are assoc. prof. Ahmed Rezine from Linköping University and Assoc. RNDr. Jan Kofroň, Ph.D. from MFF UK.
Odkaz: https://www.fit.vut.cz/fit/news/3640/
[img]

Professor Nakov from Mohamed bin Zayed University of Artificial Intelligence will give a talk at FIT as part of VGS Invited Talk

We cordially invite you to the next lecture in the VGS Invited Talks @ FIT series, this time by Professor Nakov: Factuality Challenges in the Era of Large Language Models. Professor Preslav Nakov, who is based at Mohamed bin Zayed University of Artificial Intelligence (MBZUAI) in Abu Dhabi, is a world-leading expert in natural language processing. His talk will be held on Thursday, February 29 at 4 pm at FIT in room A112. 

What are the pitfalls of large language models (LLMs)? While they are very powerful, their weakness is working with facts. At best they sometimes get away with making things up, at worst they spread lies and misinformation. Don't miss this lecture on a topical issue, after which there will be space for an informal discussion on the possibilities of cooperation with MBZUAI.


For more detailed information about Professor Nakov's work, please follow this link.

Odkaz: https://www.fit.vut.cz/fit/news/3638/
[img]

We invite you to the defence of the dissertation thesis of Viktor Malík from the Department of Intelligent Systems

We cordially invite you to the dissertation defence of Ing. Viktor Malík: Static Analysis of Programs in the C Language. Under the supervision of his supervisor, Professor Tomáš Vojnar, it approaches the problem of automatic static analysis of low-level software (i.e. analysis of the software'ssource code).  The thesis proposes new original techniques in two different areas of analysis: formal verification (i.e. proving of correctness) of programs working with complex data structures and fast
light-weight static analysis of semantic differences between versions of large-scale software (such as the Linux kernel or system libraries). 

The defence will take place on 5 March at 3 pm in the meeting room C209 at the FIT BUT.


The opponents are Florian Zuleger, Associate Prof. Dipl.-Math. Dr.techn. from TU Wien and Prof. RNDr. Jan Strejček, Ph.D. from FI MU.

More information can be found here.
Odkaz: https://www.fit.vut.cz/fit/news/3637/
[img]

At FIT, we see partnerships with companies as a necessity on the road to excellence

At the Faculty of Information Technology, we are aware that it is impossible to prepare our future graduates for their diverse career paths without contact with industry, which is why we have been building a portfolio of partners for a long time so that the range of focus is broad and at a high professional level. We value our partnerships very highly. 

And, as it is often the case with partnerships, good communication is essential. Therefore, on Wednesday 14 February, we invited representatives of companies to our faculty for our traditional annual meeting to evaluate and discuss the possibilities of cooperation and opportunities for its development this year. The debate was attended by 40 representatives of companies, IT experts and HR specialists and professional guarantors of cooperation from the Faculty of Information Technology.

More on the meeting and cooperation with industry in this article. 
Odkaz: https://www.fit.vut.cz/fit/news/3634/
[img]

The 10th anniversary edition of Excel@FIT will take place on 2 May 2024. You can register your work from 28 February

On Thursday, 2 May 2024, the 10th annual Excel@FIT student thesis conference will take place.  Be sure to mark this date on your calendar, along with the date of February 28, when paper registration opens. If you want to show off your thesis or bachelor's thesis, get inspired, support your classmates, or meet people in the field, this is the event for you. 
This year, Excel@FIT is celebrating its tenth birthday and has prepared a few surprises for you, which we will inform you about as we go along. 


We look forward to seeing you and your contributions!

Odkaz: https://www.fit.vut.cz/fit/news/3636/
[img]

Page:

FIT News

subscribe unsubscribe

Back to top