Scholar
Franjo Ivančić
Google Scholar ID: hImrcb0AAAAJ
Google, Inc.
Citations & Impact
Citations
1,349
H-index
18
i10-index
33
Publications
20
Co-authors
37
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- No specific academic achievements like publications or awards are directly mentioned.
Research Experience
- Currently a Senior Staff Software Engineer and Engineering Manager at Google in New York, working on application security, program analysis, and software development productivity tools; Adjunct Assistant Professor in Computer Science at Columbia University; Previously a Senior Researcher at NEC Labs in the Systems Analysis and Verification group, where he developed several static and dynamic program analysis tools based on model checking, abstract interpretation, and symbolic execution.
Education
- Ph.D. in Computer and Information Science from the University of Pennsylvania; Dipl.-Inform. degree from Rheinische Friedrich-Wilhelms-University in Bonn, Germany, with research performed at Fraunhofer Institute in St. Augustin, focusing on Fuzzy Pattern Recognition, Handwriting Recognition, and Machine Learning.
Background
- Research interests include Software Engineering, Machine Learning for Code, Software Productivity Tools, Automated Software Testing, Program Analysis, Automatic Test Generation, Static and dynamic code analysis, Formal Methods, Model Checking, Cyber-Physical Systems, Hybrid Systems, Constraint Solvers, Concurrency, Distributed Services.
Miscellany
- He is of Croatian descent but went to high school at Quirinus-Gymnasium in his hometown of Neuss, Germany.
