What is he best known for?
The fields of study he is best known for:
- Operating system
- Programming language
- Artificial intelligence
His scientific interests lie mostly in Algorithm, Logic synthesis, Logic optimization, Theoretical computer science and Sequential logic.
Alberto Sangiovanni-Vincentelli combines subjects such as Synchronous circuit and Automatic test pattern generation with his study of Algorithm.
Alberto Sangiovanni-Vincentelli has included themes like Asynchronous circuit and Electronic design automation in his Logic synthesis study.
His Logic optimization research is multidisciplinary, incorporating perspectives in Register-transfer level and Logic family.
His Theoretical computer science research incorporates elements of Heuristic, Set and And-inverter graph.
His research in Sequential logic intersects with topics in Digital electronics, Combinational logic, Boolean circuit and Integrated circuit.
His most cited work include:
- Logic Minimization Algorithms for VLSI Synthesis (1271 citations)
- MIS: A Multiple-Level Logic Optimization System (1056 citations)
- System-level design: orthogonalization of concerns and platform-based design (852 citations)
What are the main themes of his work throughout his whole career to date?
Alberto Sangiovanni-Vincentelli focuses on Algorithm, Embedded system, Electronic engineering, Distributed computing and Theoretical computer science.
All of his Algorithm and Logic synthesis, Sequential logic, Logic optimization, Finite-state machine and Boolean function investigations are sub-components of the entire Algorithm study.
His Logic synthesis study is associated with Logic gate.
His Sequential logic study integrates concerns from other disciplines, such as Digital electronics and Combinational logic.
His work carried out in the field of Logic optimization brings together such families of science as Register-transfer level and Logic family.
His research integrates issues of Analogue electronics, Electronic circuit, Mixed-signal integrated circuit and Integrated circuit in his study of Electronic engineering.
He most often published in these fields:
- Algorithm (14.75%)
- Embedded system (12.84%)
- Electronic engineering (10.73%)
What were the highlights of his more recent work (between 2013-2021)?
- Cyber-physical system (3.54%)
- Artificial intelligence (3.26%)
- Distributed computing (10.63%)
In recent papers he was focusing on the following fields of study:
Cyber-physical system, Artificial intelligence, Distributed computing, Mathematical optimization and Theoretical computer science are his primary areas of study.
His work deals with themes such as Electronic design automation, Design space exploration, Embedded system and Systems design, Systems engineering, which intersect with Cyber-physical system.
His Electronic design automation study combines topics from a wide range of disciplines, such as Platform-based design and Software engineering.
The various areas that Alberto Sangiovanni-Vincentelli examines in his Distributed computing study include Scheduling, Cloud computing, Server and Formal methods.
As a member of one scientific family, Alberto Sangiovanni-Vincentelli mostly works in the field of Theoretical computer science, focusing on Modulo and, on occasion, Secure state and Soundness.
Satisfiability is a subfield of Algorithm that he investigates.
Between 2013 and 2021, his most popular works were:
- Model predictive control with signal temporal logic specifications (159 citations)
- Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach (141 citations)
- Contracts for System Design (121 citations)
In his most recent research, the most cited papers focused on:
- Operating system
- Programming language
- Artificial intelligence
His main research concerns Cyber-physical system, Satisfiability, Artificial intelligence, Systems engineering and Modulo.
His studies in Cyber-physical system integrate themes in fields like Electronic design automation, Design space exploration, Embedded system, Reliability engineering and Protocol.
His Satisfiability study is related to the wider topic of Algorithm.
The Algorithm study combines topics in areas such as Observer and Convergence.
His Systems engineering research includes themes of Automation, Probabilistic design, Component-based software engineering and Design flow.
His studies deal with areas such as Linear system, Mathematical optimization, Theoretical computer science and State as well as Modulo.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
