The position will be located at the cyber physical system group at tu wien under the supervision of prof. One estimates that by 2020, there will be more than one thousand electrical systems for each human being. The primary focus of radu grosu s research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, embedded systems and biological systems. Fil rouge capital frc is an investment fund manager whose funds focus on early stage businesses from pre. The main emphasis is on approaches that scale well for realistic applications. A multisensor data fusion approach for atrial hypertrophy disease diagnosis based on.
This cited by count includes citations to the following articles in scholar. Radu grosu professor of computer science verified email at tuwien. Radu grosu e182 institute of computer engineering prof. Radu grosu short biography radu grosu is a full professor and the head of the cyberphysicalsystems division, of the computerengineering institute, at the faculty of informatics, technische universitat wien, austria. Scotts research in these areas has resulted in over 200 publications, generating more than 9,000 citations. Radu grosu is a professor and head of the dependablesystems group at the faculty of informatics of the vienna. A refinement proof for a garbage collector, klaus havelund and natarajan shankar. Researchers at the technische universitat wein have created a simulation of a simple worms neural network, and have been able to replicate its natural behavior to completely mimic the worms natural reflexive behavior. July 2014 our report on first international competion on software for runtime. With the growth of these iot ecosystems, their complexity is also growing exponentially. Dean, mikhail gorbovitski, radu grosu, justin seyster, scott a.
Radu grosu professor vienna university of technology. Faculty member description radu grosu to stable and unstable dynamics. Furthermore, he is research professor at the computer science department of the state university of new york at stony brook. W2dynamics a continuoustime hybridizationexpansion monte carlo code for calculating nparticle greens functions of the anderson impurity model and within dynamical meanfield theory. If you are interested, please contact me at the above email.
Benchmarks and competitions, from april 21 25, 2014. The idea for this handbook originated with helmut veith around 2006. Curriculum vitae1 radu grosu address institute of computer engineering head of dependable systems group 1821 faculty of informatics vienna university of technology. Hybrid systems cyberphysical systems modeling analysis and control computational systems biology. Generic lowlevel sensor fusion framework for cyber. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Theoretical and practical challenges, by ezio bartocci, oliver hoeftberger and radu grosu apr 2014 i will participate to the dagstuhl seminar 14171, evaluating software verification systems. After 12 to 18 months you defend your dissertation proposal in front of an academic jury.
Burkhard kittl e311 institute for production engineering and laser technology. Ras bodik university of washington, radu grosu tuwien, ruzica piskac yale university, sanjit seshia university of california, berkeley the workshop aims to bring together researchers interested in the broad area of synthesis of computational models and systems. Stefan biffl institute of software technology and interactive systems cdl. Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many. Algorithms and complexity automation systems business informatics compilers and languages computer graphics computer vision cyberphysical systems databases and artificial intelligence distributed systems ecommerce embedded computing systems formal methods in systems engineering human computer interaction information and software engineering. The primary focus of radu grosus research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, embedded systems and biological systems. Iotsys internet of things integration middleware tu wien. Wolfgang kastner institute of computer aided automation automation systems group prof. Grosu is also the head of the cyberphysicalsystems group within the institute of computerengineering, and a research professor at the department of computer science, of the state. Radu grosu is a full professor, and the head of the institute of computer engineering, at the faculty of informatics, of the vienna university of technology. In proceedings of the 2008 nsf next generation software workshop, held in conjunction with the 2007 international parallel and distributed processsing symposium ipdps 2007.
Feb 12, 2018 the article is from worm uploaded to a computer and trained to balance a pole is it a computer program or a living being. Radu grosu gets best paper award institute of computer. Radu grosu is currently a full professor and the head of the cyberphysical systems division, faculty of informatics, tu wien. Software inspection is a quality assurance method to detect defects early during the software development process. A novel spatialtemporal logic and its applications. I am an assistant professor in the department of computer science at texas tech university ttu. Radu grosu 1, senior member, ieee, muhammad shafique 1. Downloads imprint login faculty for architecture and planning tu wien karlsplatz 1040 vienna info and directions. Shaohui wang, yoann geoffroy, gregor goessler, oleg sokolsky and insup lee, a hybrid approach to causality analysis. August 2014 the web site for rv 2015 is now under construction. This is an interesting approach not because the worm brain solved a problem that hadnt been solved in other ways. Modelbased design of software architectures and deployment.
Media and press institute of computer engineering e191. Gerti kappel e188 institute of software technology and interactive systems prof. Current projects institute of computer engineering e191. Pdf with the extensive growth of smart and autonomous devices, as well as corresponding development of software architecture and frameworks in recent years, cyber physical systems cps become attractive enabling efficient endtoend workflows and new forms of usermachine interaction. The 1st workshop on intelligence, security and resilience in. Apr 2014 ercim newsletter 97, cyberphysical systems. As infrastructure we understand hardware, software and communication. Hasani, guodong wang and radu grosu cyberphysical systems group, vienna universityof techno logy, austria ramin. These information needs were found with an analysis of the stateoftheart literature. A multisensor data fusion approach for atrial hypertrophy.
Worm uploaded to a computer and trained to balance a pole. Analysis, abstraction, stochastic model checking, compositional reasoning, modelling, analysis and control of cardiaccell networks. E bartocci, r grosu, p katsaros, cr ramakrishnan, sa smolka. Software model checking is an approach to formal software verification based on reasoning about the states a program can be in. Iotsys is an integration middleware for the internet of things. From computer chips triggering an airbag to smart cities.
Radu grosu is a professor and head of the dependable systems group at the faculty of informatics of the tu vienna since 2012. Compressed sensing in cyber physical social systems. This masters thesis proposes a software visualization that aims at analyzing software quality metric trends and identifying possible causes of change. See the complete profile on linkedin and discover radu s connections. Integrating probabilistic information of dynamic environment into maps for enhanced action planning masters thesis submitted in partial ful. Integrating probabilistic information of dynamic environment. Researchers create simulation of a simple worms neural. Generic lowlevel sensor fusion framework for cyberphysical systems. Wiener zeitung interview with radu grosu about cps. Radu grosu gets the best paper award for his paper on assumeguarantee abstraction refinement meets hybrid systems. Radu grosu tu wien ezio bartocci tu wien organizing committee.
If you are interested in this topic, please contact radu grosu and manuel wimmer industry 4. During the four years, guodongs major interests were software engineering and programming languages. Spokespersons for the groups represented in the senate term of office from 1 october 2019 to 30 september 2022 university professors. He is also a research professor with the department of computer science, state university of new york, stony brook, usa. Schahram dustdar, gerti kappel, radu grosu tu wien, vienna, austria name. We introduce a new type of recurrent neural networks which we call wormnets, as they were inspired by a biophysical model for neurons and. Wolfgang kastner e183 institute of computer aided automation prof. Csh associate faculty radu grosu is full professor and head of the institute of computer engineering at the faculty of informatics of tu wien. Parking a car with only 12 neurons computer scientists at tu wien vienna are improving artificial intelligence by drawing inspiration from biology. You can read the full article online, or view it as pdf both in german. Hamidreza mahyar, rouzbeh hasheminezhad, elahe ghalebi, radu grosu, h. Two universityassistants phd positions three researchassistants phd positions persorad and adaptnessopen position in the doctoral college resilient embedded systems research. Runtime verification 2015 rv 15 the 15th international conference on runtime verification, september 22 september 25, 2015 vienna, austria. As a result, dependable embedded systems are getting more intelligent and automated.
Intercommunication framework for autonomous realtime systems masters thesis submitted in partial ful. She has been on the faculty of kansas state university since 2015, and has previously held a faculty position at the imdea software institute in madrid, spain. Invisible invariants are neither, lenore zuck and kenneth mcmillan. He is a director and a cofounder of reactive systems, inc. Dung phan, junxing yang, denise ratasich, radu grosu, scott a. She was a cmi center for mathematics of information fellow at caltech for the year 201112. Cyberphysical systems are going to completely change our everyday life, says professor radu grosu tu wien. Downloads tu wien faculty of architecture and planning. The strands project is committed to release its outcomes as open source nearly all our software outcomes are available from our github organisation.
It is interesting because the solution is a very effective and probably optimal program based on a design developed through natural evolution. A roadmap toward the resilient internet of things for. Monitoring with uncertainty ezio bartocci faculty of informatics vienna university of technology vienna, austria ezio. They also offer software and marketplace for a fair annual usage fee. Nevertheless, how the dynamics of single cells and interactions with coupled cells give rise to highlevel behavior, like locomotion, is poorly understood. The idea is based on the specific information needs of software developers that are hard to satisfy. With a completely mapped connectome and a sequenced genome, the nematode c. The primary focus of my research is to develop formal methods, computational tools and techniques that support the modeling and the automated analysis of complex computational systems, including software systems, cyberphysical systems and biological systems. Proceedings of the 23rd international conference on software engineering, 2001. Eugene stanley, a compressive sensing framework for distributed detection of high closeness centrality nodes in networks, in proc the international conference on complex networks and their applications complex networks, cambridge, united kingdom, december 2018, pp.
Before joining at ttu, i worked as a postdoctoral fellow under ed clarke, a recipient of 2007 acm turing award, at carnegie mellon university. The resulting flexible framework comes at the price of programs with behaviors. According to the article, using a simple neural network o. To ease use by others and simply installation, we are releasing ubuntu binary and source packages for most of our software development. The position is well suited for applicants with a background in computer science, informatics and electrical engineering. In recent years it has become evident that the use of software to perform critical functions is on the rise. Intercommunication framework for autonomous realtime. Radu grosu, ramin mohammad hasani idev40 focuses on digitally connecting value chains to facilitate and strengthen the innovation capacity of large and small european electronic components and system actors for sustainably competitive electronic. Smolka, ashish tiwari, vasudha varadarajan, and xingfang wang cyberphysical systems group, technische universit at wien, austria. We love bold founders and we provide capital for the bold. Since 032015, guodong is working on his phd as a research assistant at the cyberphysical systems group, institute of computer engineering, vienna university of technology, supervised by prof. I obtained my phd from the department of computer science at stony brook university in 2015 under the supervision of prof. Synthesis of models and systems simons institute for the.
It provides a communication stack for embedded devices based on ipv6, web services, and obix to establish interoperable interfaces for smart objects. Radu grosu institute of computer engineering cyber physical systems group prof. Smolka and scott stoller, collision avoidance for mobile robots with limited sensing in unknown environments. A software model checker can prove that certain properties hold on a given program.
1155 986 503 293 891 280 364 107 667 847 1533 18 75 120 265 705 56 149 211 1150 798 719 453 749 1269 1235 308 339 189 200 235 254 259 161 132