Search form

Search

Michal Čertický

Michal Čertický is a researcher at Agent Technology Center since 2013, where he currently works on multi-agent simulation and modelling related projects. Prior to his current position, Michal worked on his PhD and RNDr. degrees in Computer Science at the Department of Applied Informatics of Comenius University in Bratislava, as a member of a Knowledge Representation Group (KRG). He also holds a master's degree in Cognitive Science from Comenius University in Bratislava and Eötvös Loránd University in Budapest. His research interests cover a wide variety of topics relevant to Artificial Intelligence, including knowledge representation, non-monotonic logic, ambient intelligence, machine learning, planning, and multi-agent systems.

Malcolm Egan

Malcolm Egan is a postdoctoral researcher within the Agent Technology Center. Previously, he was a PhD candidate in the Telecommunications Laboratory at the University of Sydney, Australia, and the Computational Informatics Division in the Commonwealth Science and Industrial Research Organization (CSIRO). His fields of interest are intelligent transport systems, signal processing and wireless communications.

Jan Faigl

Jan Faigl received his Ph.D. degree in artificial intelligence and biocybernetics from the Czech Technical University in Prague (CTU) in 2010. The topic of his Ph.D. thesis is Multi-Goal Path Planning for Cooperative Sensing, which has been award for Antonin Svoboda prize for the best Ph.D. thesis by Czech Society for Cybernetics and Informatics. Since 2006 he has acted as research fellow at the Gerstner Laboratory, CTU till 2012. During 2003-2006, he worked as system analyst and programmer at ProTyS, Inc. on design and development of systems for railway safety and diagnostics. In 2013, he joined the Agent Technology Center and works on topics related to computational robotics. He is an author or coauthor of more than 50 publications in the peer-reviewed journals and conferences. His interests include planning, reasoning and navigation methods for autonomous intelligent mobile robotic systems for inspection, surveillance and exploration missions and long-term environment monitoring.

Jan Jakubův

Dr. Jan Jakubuv is a postdoctoral researcher at ATG since March 2012. He works onthe FAA branch of the AgentFly project.Jan received his master degree in Theoretical Computer Science from Charles University in Prague in 2006. His master thesis, supervised by Prof. Petr Štěpánek, concerned automated theorem proving using the Tableaux methods. During his studies Jan became one of the founding members of ARG (Automated Reasoning Group) on the Charles University. In 2007 Jan received an EPSRC scholarship to undertake a PhD study at Heriot-Watt University in Edinburgh under the supervision of Dr. Joe Wells and Prof. Fairouz Kamareddine. His PhD thesis, which concerns advanced process calculi type systems, was successfully defended with no corrections in 2010. After his PhD studies, he worked as a freelance programmer and as a machine vibration diagnostic system developer at CMMS s.r.o. Jan is also involved in several projects held at Tesla ElectronTubes, s.r.o.Jan is interested in applications of theoretical computer science both to industrial and fundamental research. He is especially interested in applications of automated reasoning techniques and type systems approach.

Antonín Komenda

Antonín Komenda is a researcher at ATG since 2007. He holds PhD from Artificial Intelligence and Biocybernetics from CTU with thesis on Domain-independent Multiagent Plan Repair. His master studies of Technical Cybernetics were finished also at ATG with a master thesis on Usage of Multi-agent System for Non-cooperative Airplane Deconfliction. In his research, he focuses on theory, methods and algorithms for automated multiagent planning, distributed problem solving and coordination. Similarily to the research work, Antonín's project work at ATG focused mosly on distributed planning, particularly in domains of tactical missions and logistics. From 2009, he worked on a track of Tactical AgentScout and Tactical AgentFly projects (funded by CERDEC) which targeted hardware deployment of various multi-agent algorithms for tactical mission support. From 2012, Antonín's project work got focused more on theoretical research in robust multi-agent planning (funded by AFRL). Additonally, Antonín was a technical lead of two of the projects at ATG. Antonín undertook a 5-week internship at Drexel University in Philadelphia in 2010 and a he was a post-doctoral fellow at Technion – Israel Institute of Technology in Haifa for a year in 2013-2014.

Antonín's prior employment was developer/programmer/analyst in private companies since 1998. His work focused on content managment systems and programming frameworks. He also collaborated on three startups in the Internet industry.

Tomáš Pevný

Tomáš Pevný holds the position of researcher at Czech Technical University of Prague. He received his PhD in Computer Sciences from State University of New York in Binghamton in Computer Science at 2008 and MS in Computer Sciences from School of Nuclear Sciences and Physical Engineering at Czech Technical University in Prague in 2003. In 2008--2009, he did his post-doc at Gipsa-lab in Grenoble, France. His research interests are applications of non-parametric statistics (machine learning, data modeling) with focuses on steganography, steganalysis, and intrusion detection.

Qing Song

Qing Song is a postdoctoral researcher at ATG since October 2013. She works on the multi-agent simulation and modelling related projects. She received her Ph.D. degree in Control Theory and Control Engineering from Shanghai Jiao Tong University, Shanghai, China, in 2012, and M.S. degree in control theory and control engineering from Shandong University, Jinan, China, in 2008. Her research interests include the modeling, simulation and optimization of complex systems, intelligent transportation systems, evolutionary computation and swarm intelligence.

Ondřej Vaněk

Ondřej Vaněk is a researcher in the ATG since 2008. His research is focused on multi-agent simulations and application of non-cooperative game theory on securing large and complex critical infrastructures, such as computer networks or transportation networks.

Ondřej currently works on a U.S. Office of Naval Research funded project from the maritime domain AgentC, researching techniques able to minimize negative impacts of contemporary maritime piracy on the international shipping industry. He deploys the project results together with the International Maritime Organization in the Kenyan regional Information Sharing Center which collects, analyzes and distributes information about the latest maritime piracy situation. Ondřej was visiting scholar in summer 2010, 2011 and 2012 at the University of Southern California in Teamcore research group, applying game theory to additional security problems, such as police checkpoint allocation in the city of Mumbai, optimal deep packet inspection in computer networks and efficient patrolling of urban districts.

Ondřej holds a PhD in Artificial Intelligence and a master’s degree in Technical Cybernetics from the Czech Technical University in Prague. Prior to his current position, he spent summer 2008 in Rockwell Automation Center in Cleveland as a visiting researcher and he worked as a Java programmer and IT analyst for various companies.