39

Graduate theses/projects

112

/

5

Papers published/accepted

1000

Citations

3

/

2

/

1

Funded project PI/Co-PI/CoI

1

.

13

M

Total funds

7

Current graduate students

1

/

3

Current/total PostDocs

18

/

5

Publications since last year/accepted

204

Citations last year

7

/

3

Conference/journal committee

4

Student awards

3

Awards

About Me

Personal Details

Tomas received his Bachelor and Engineer degrees from the Czech Technical University, FEE, in addition he received M.S. degree from Baylor University. He received his Ph.D. in Information Science and Computer Engineering from the Czech Technical University, FEE in 2016. Soon after graduation, he returned to Baylor University to join the faculty of the School of Engineering and Computer Science.

View Full Details CV

Cloud-native system analysis

Cloud-native system analysis

We look into cloud-native system analysis meant to reconstruct software architecture. Since each microservices can reside in self-contained codebase, we analyze each and combine the intermediate results. Our tool Prophet does it for Java and Prophet 2 is more universal.

Current students: Amr ElSayed, Abdullah Maruf, Rofiqul Islam, Rokin Maharjan, Md Rahaman

Past students: Dipta Das, Vincent Bushong, Jan Svacina

“Developing a prophet tool for cloud-native system static analysis”

Decentralized system visualization

Decentralized system visualization

Many others follow conventional system visualization, like UML, or ArchiMate; we seek 3D representation for architectural views of the overall system, we experiemnted with augmented reality as showed here:

Students: Vincent Bushong, Amr ElSayed

“Large Microservice-based cloud systems are decentralized, we want to see the system-centric perspective to reason about the system”

Context-Awareness in IoT

Context-Awareness in IoT

With a mobile app prototype, we collect various contextual information from the environment, with a smart lab environment we can utilize various sort of information and rationalize about the activities.

Current PostDoc: Jun Huang

Current and formal students: Michal Trnka, Filip Rysavy, Vladyslav Gorbunov

“Smart environments need smart solutions to integrate context-awareness for automation or augmented use experience”

Supervised by Dr. Byungkwan Jung (PostDoc)

Featured

Code Analysis

Code Analysis

System codebase contains a lot of information that can reveal broad details about it. We analyze systems to find errors, improve tests or security, we challenge current gaps like decentralization and language specificity

Current students: Micah Schiewe, Jacob Curtis, Amr ElSayed

Current Bachelor students: Andrew Walker, Ian Laird, Jan Svacina, Jonathan Simmons, Dipta Das, Denton Woods

“Have you ever debugged program for hours to find an error? code analysis can locate the issue in a range of second.. but in current tools there are broad limits which we try to address, such as decentralization, and language specificity“

Natural-language processing in scientific documents / system policies

Natural-language processing in scientific documents / system policies

Extensive size of documents and material in natural language makes it difficult for individuals to assess compliance, knowledge and consistency

Students:Ernesto Caballero

“Automating knowledge extraction and reasoning in natural texts”

Secure Enterprise Application Design

Secure Enterprise Application Design

What is the right software design approach to build safe system; can we reduce vulnerabilities? Robust static and dynamic analysis can help

Current and formal students: Micah Schiewe, Jacob Curtis, Md Rahaman, Andrew Walker, Dipta Das, Michal Trnka, Filip Sedlinsky

“Enterprise systems have a lot of security concerns, static analysis has a lot to offer”

  • Selected
  • Static Analysis
  • Security
  • Software Design
  • Aspect-Oriented Programming
  • User Interface
  • All

CSI 3471 - Software Engineering I

Spring/Fall

  • Java SE
  • Basic UML modeling
  • Object-oriented design

CSI 5324 - Software Engineering

Fall

  • Java EE
  • Advanced UML modeling
  • Design patterns

CSI 5354 - Advanced Software Engineering

Spring

  • Java EE
  • Microservice architecture
  • Aspect-Oriented Programming

CSI 5347 - Distributed Systems

Spring

  • Cloud-native infrastructure
  • Decentralization, resilience, monitoring
  • Spring Cloud

CSI 5352 - Adv. Object-oriented Programming

Spring

  • Design Patterns
  • Software Architecture
  • Polymorphism

CSI 4V96-05 - Special Topic : Quality Assurance and Testing

Spring/Fall

  • Research practice
  • Quality Assurance
  • Testing

CSI 5V92-02 / 5V96-02 - Master's Research / Project

Spring/Fall

  • Research topics

CSI 5V90-02 - Special Problems

Fall

  • Research topics

Latest posts

February 6, 2021
Our research group presenting

Keynote at DevConf.CZ 2021

DefConf, Red Hat developer conference, Online!
Prophet: On holistic analysis of microservice applications - DevConf.CZ 2021

Summer 2019

First week becoming researcher in Prague

Research on testing automation and quality assurance at the CTU in Prague

Summer 2019 NSF IRES project half through

Fifth week becoming researcher in Brno

Research on testing automation and quality assurance at Red Hat, Brno.

Summer 2019 NSF IRES project almost through

Project presentations

Research on testing automation and quality assurance at Red Hat, Brno.

Mar 12, 2013

Introduction to AspectFaces

DefConf, Red Hat developer conference, Brno.

20th Feb, 2014

Separation of Concerns in User Interface

DefConf, Red Hat developer conference, Brno.