Find Academic Supervisors

• Knowledge-Based Engineering Systems
• Concurrent Engineering
• Computer Integrated Design and Manufacturing
• +6 more

Constantin Chassapis is a Professor in the Department of Mechanical Engineering at Stevens Institute of Technology's Charles V. Schaefer, Jr. School of Engineering and Science. He has held significant administrative roles including Senior Vice Provost for Graduate Education, Deputy Dean of the School of Engineering & Science, and Director of the Department of Mechanical Engineering. Education includes a PhD in Mechanical Engineering from The City University of New York, and ME/BE degrees from The City College, City University of New York. Research focuses on interdisciplinary domains including: Knowledge-Based Engineering Systems Concurrent Engineering methodologies Computer-Integrated Design and Manufacturing Advanced gear mechanism innovations Virtual laboratory development for education Honors include the President’s Leadership Award, honorary Master's degree, and multiple best paper awards from ASEE and SPE. Patents include innovations in planetary gear design and dynamically reconfigurable sensing architectures. Current projects involve hypocycloid gear mechanisms for internal combustion engines and biometric-authenticated virtual laboratories.

Paul GazzilloView profile

Associate Professor

• Programming Languages
• Software Engineering
• Software Security
• +6 more

Paul Gazzillo is an Associate Professor of Computer Science at the University of Central Florida, affiliated with the College of Engineering and Computer Science. He holds a PhD from New York University and has held postdoctoral positions at Yale University and Stevens Institute of Technology. His research focuses on making software development safer and more secure, with emphasis on program analysis, software engineering, and security. Key areas include analyzing configurable software systems, securing software configurations, and mitigating side-channel attacks. Education: PhD in Computer Science (NYU, 2016), MS (NYU, 2011), BS in Computer Science and Mathematics (Rutgers, 2003). Awards include the NSF CAREER Award (2020) and DARPA Young Faculty Award (2021). He leads the APPLeSEEd Lab and contributes to the Cyber Security and Privacy Research Cluster at UCF. Research highlights include tools like Krepair, Kismet, and SugarC for analyzing and securing software configurations. His work has been published in top venues such as ICSE, FSE, and PLDI. He actively mentors students in PhD, MS, and undergraduate research, focusing on topics like configuration-aware fuzzing and macro semantics. Grants include NSF funding for projects on configuration security and corporate entity tracking. Teaching includes courses on compilers, operating systems, and program analysis. He serves on program committees for major conferences and contributes to academic and industry outreach programs like Camp Connect and STEM Day.

Jakub GałkaView profile

Part-Time Lecturer

• Digital Signal Processing
• Multimedia Processing
• Machine Learning
• +6 more

Jakub Gałka serves as an Associated Part-time Lecturer at the Institute of Electronics, AGH University of Kraków, where he leads research in digital signal processing, machine learning, and deep learning for speech/audio applications. His dual career bridges academia and industry through co-founding Techmo sp. z o.o.—a voice technology commercialization spin-off—and providing R&D consultancy to multiple tech firms, driving innovation in voice biometrics and spoken dialogue systems. His research integrates wavelet analysis with modern deep learning techniques to solve real-world challenges in cross-gender voice conversion, speaker identification, and sign language processing. Key focus areas include audio security (replay attack detection), multimodal human action recognition, and accessibility technologies for the deaf community, demonstrating consistent translational impact from theoretical signal processing to market-ready solutions. Analysis of his recent publications reveals a strategic shift toward deep adversarial learning for voice conversion and robust biometric security systems, while maintaining foundational work in wavelet-Fourier transform compositions. His output consistently targets applied outcomes, particularly in commercial voice technologies and assistive systems for sign language processing. Scientific recognition includes: Graduate of Stanford University’s selective Top 500 Innovators internship program As an academic-industry liaison, Gałka mentors students through Techmo collaborations and directs R&D projects spanning voice authentication, music processing, and emergency call center speaker identification. His grant portfolio includes national and international initiatives focused on voice biometrics commercialization and sign language technology development. He actively contributes to the Signal Processing Group at AGH University, fostering partnerships that transform academic research—particularly in speech segmentation and neural network architectures—into deployable voice solutions for corporate and healthcare applications.

• Programming Languages
• Formal Methods
• POSIX Shell Semantics
• +3 more

Michael Greenberg is an Assistant Professor in the Department of Computer Science at Stevens Institute of Technology's Schaefer School of Engineering. His research develops formal methods for practical systems, focusing on POSIX shell semantics, gradual typing, and network programming abstractions. He has received multiple awards including a Distinguished Paper Award at PLDI 2022 and Most Influential Paper for Flapjax (OOPSLA 2009). Dr. Greenberg's work spans programming language theory, executable semantics for shell scripting, and software-defined networking. His publications demonstrate strong integration of theoretical foundations with systems applications, particularly in improving shell script reliability and developing network verification frameworks. Recent work includes Kleene algebra extensions and parallelization techniques for shell scripts. He holds a PhD in Computer Science from the University of Pennsylvania (2013) and BA degrees in Computer Science and Egyptology from Brown University (2007). Dr. Greenberg actively contributes to program committees for PLDI, OOPSLA, and POPL, and serves on the POPL Steering Committee (2021-2024).

Panayiotis GeorgiadisView profile

Professor

• Distributed Systems
• Simulation
• Management of Information Systems
• +3 more

Overview Panayiotis Georgiadis is a Professor and Chairman of the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens (NKUA). He leads the e-Government Laboratory, a pioneering group in Greece focusing on electronic governance, business planning, and public sector IT systems. His career spans over four decades, including roles as Secretary General for Information Systems in the Greek Ministry of Finance (1997–2002) and Senate member of NKUA (1992–1994). Education B.Sc. in Physics (University of Athens, 1969) M.Sc. in Computer Science (Warwick University, 1974) Ph.D. in Computer Science (University of Athens, 1982) Research & Teaching His research focuses on distributed systems, simulation, and e-Government. He teaches courses in Operating Systems, Software Engineering, and Network Performance Evaluation. Key projects include the SMARTGOV platform and the Taxisnet service, which earned the 2001 eEurope Best Electronic Governance Award. He has supervised over 15 Ph.D. theses and contributed to 50+ scientific publications. Awards & Recognition Project of the Month Award (SMARTGOV, 2001) Best Paper Award at ECIS 2001 2001 eEurope Best Electronic Governance Award (Taxisnet) Advising & Labs Head of the e-Gov Lab, which develops tools for public sector IT systems. His students include notable researchers such as D. Anagnostopoulos (expert system design) and St. Gritzalis (information security). He also contributed to the International Journal of Electronic Governance as Editor-in-Chief.

Nagarajan SethuramanView profile

Assistant Professor

• Supply Chain Innovation
• Responsible Innovation
• Impact of Diversity in R&D
• +3 more

Nagarajan Sethuraman is an Assistant Professor at the School of Business, University of Kansas, specializing in the Analytics, Information, and Operations Academic Area. His research focuses on supply chain innovations with emerging technologies like 3D printing and autonomous vehicles, responsible innovation, and the impact of diverse R&D teams. He holds a Ph.D. in Operations Management from the University of North Carolina, alongside master's and bachelor's degrees in engineering from prestigious institutions in India. Education Ph.D. in Operations Management, Kenan-Flagler Business School, University of North Carolina, 2019 M.S. in Business, Kenan-Flagler Business School, University of North Carolina, 2017 M.Tech. in Manufacturing Science, Indian Institute of Technology, Kanpur, 2005 B.E. in Production Engineering, Bharathidasan University, Tiruchirappalli, India, 2002 Research Interests His research spans business model innovation with emerging technologies, responsible innovation frameworks, gender diversity in R&D teams, econometric analysis, and game theory applications in operations. Recent work explores how customer-driven 3D printing strategies reshape supply chains and how diverse teams enhance innovation outcomes. Articles & Trends Recent publications emphasize digital disruption in manufacturing, 3D printing business models, and the role of gender diversity in R&D. Earlier work includes technical contributions to manufacturing automation systems, PLC logic verification, and geometric design processes. Awards While at General Motors Research & Development, he won multiple innovation awards for deploying projects that integrated advanced manufacturing techniques. Advising & Grants No student advisees or grants are explicitly listed in the provided texts. Labs & Teams No specific labs or collaborative teams are detailed in the profile.

Tiziana MargariaView profile

Professor

• Model-Driven Development
• Artificial Intelligence
• Formal Verification
• +7 more

Professor Tiziana Margaria is a faculty member at the Department of Computer Science & Information Systems at the University of Limerick. She is affiliated with multiple research centers, including Lero – the Irish Software Research Centre, the Centre for Research Training in Foundations of Data Science, and the Limerick Digital Cancer Research Centre. Academic focus on Model-Driven Development, Artificial Intelligence in Healthcare, and Formal Verification 2023 recipient of the University of Limerick Team Teaching Award Active in interdisciplinary collaborations bridging Computer Science with Digital Humanities and Healthcare Develops low-code/no-code platforms for medical data analysis and smart manufacturing Her research spans AI governance , blockchain-based privacy systems , digital twins for cyber-physical systems , and education-focused software tools . Recent projects include interoperability frameworks for healthcare data and extreme model-driven approaches for historical data transcription. Notable scientific contributions include: 2025: Review on AI-driven healthcare system design 2024: Formal methods in AI validation 2022: Edge analytics in smart manufacturing 2020: Blockchain for medical privacy Her work emphasizes practical implementation of theoretical concepts through tools like Cinco de Bio and MazeGen. She actively promotes collaboration between technical and domain-specific teams in Industry 4.0 contexts.

Radu GrosuView profile

Professor

• Model-based Design
• Complex Dynamic Systems
• Model Checking
• +7 more

Radu Grosu is a Professor and Head of the Dependable-Systems Group at the Faculty of Informatics, Vienna University of Technology, and a Research Professor at the Department of Computer Science, Stony Brook University. He holds a Dr.rer.nat. in Computer Science from the Technical University of München and was a Research Associate at the University of Pennsylvania's Computer Science Department. His research focuses on formal methods for modeling complex systems, including software, embedded systems, and biological systems. Key contributions include noncommutative Cayley-Hamilton theorems for finite automata, emergent property detection in cardiac networks, and compositional models for hierarchic automata. He teaches courses such as CSE 304, CSE 510, and CSE 657. Research Interests: Model-based design, control theory, computational biology, formal verification, UML. Awards: NSF Career Award, SUNY Promising Inventor Award, ACM Service Award. His work emphasizes scalable formal methods, including model-checking techniques and algebraic foundations for UML-RT. He leads the Dependable-Systems Group, advancing interdisciplinary approaches to system analysis and design.

• Cryptography
• Authentication Protocols
• Key Exchange
• +3 more

Colin Alexander Boyd is Professor in the Department of Information Security and Communication Technology at the Norwegian University of Science and Technology (NTNU). With an MSc and PhD in Discrete Mathematics from Eindhoven University of Technology, his career includes faculty positions at Queensland University of Technology and University of Manchester. Research specializes in cryptographic protocols, authentication mechanisms, and key exchange systems. Recent work develops secure outsourcing frameworks for network functions and updatable encryption schemes. Publications demonstrate consistent focus on formal security verification, protocol efficiency, and practical implementations for cloud, blockchain, and voting systems. Authored the comprehensive reference 'Protocols for Authentication and Key Establishment' and maintains active research in post-quantum cryptography. Work bridges theoretical cryptography with real-world security challenges in networked systems.

Justin FirestoneView profile

Assistant Professor

• Computer Science
• Synthetic Biology
• Regulatory Frameworks
• +3 more

Justin Firestone serves as an Assistant Professor of Practice in the Jeffrey S. Raikes School of Computer Science and Management at the University of Nebraska-Lincoln, with his academic home in the School of Computing. He concurrently teaches Cyberlaw at the University's College of Law and maintains active legal licensure in Nebraska and Illinois. His exceptional educational journey spans multiple disciplines at the University of Nebraska-Lincoln: Ph.D. in Computer Science (2020) M.S. in Computer Science (2016) B.S. in Computer Science (2013) J.D. in Law (2005) M.A. in Classics (1998) B.A. in Latin and Economics (1996) Firestone's research pioneers the convergence of computer science, synthetic biology, and regulatory frameworks, specifically investigating how software engineering principles can address safety, security, and compliance challenges in biological engineering. His work establishes foundational methodologies for building assurance cases in synthetic biology applications while critically examining the regulatory landscape through the lens of soft law development. Analysis of his 2014-2024 publications reveals a consistent interdisciplinary trajectory where software engineering rigor meets biological innovation. Dominant themes include assurance engineering for biological systems (36% of publications), regulatory frameworks for emerging biotechnologies (27%), and educational tools for computing pedagogy (18%), with recurring focus on safety-critical applications and cross-domain knowledge transfer. His scholarly contributions have been recognized through: Regents Scholarship for undergraduate excellence GRF-STEM fellowship from the National Institute of Justice supporting doctoral research As a lifelong Lincoln resident, Firestone maintains active engagement with the local community through ingredient-driven culinary pursuits and electronic music composition using KORG Gadget, reflecting his interdisciplinary approach to both professional and personal endeavors.

Tukun LiView profile

Research Fellow

• ISO GPS (Geometrical Product Specifications)
• Computer-Aided Tolerancing (CAT)
• AI and Big Data in Metrology
• +4 more

Dr. Tukun Li is a Research Fellow at the University of Huddersfield's Centre for Precision Technologies and EPSRC Future Metrology Hub. He holds visiting professorships at Chengdu University of Information Technology and Huaqiao University. With a BSc from Huazhong University of Science and Technology and a PhD from Huddersfield, his expertise spans ISO GPS standards, AI-driven metrology, and educational technology. He leads projects like the Gongchabang ISO GPS APP (300K+ downloads) and develops national/international standards. His work focuses on Computer-Aided Tolerancing (CAT), knowledge representation (ontologies), and smart manufacturing solutions. Research Interests: ISO GPS standardization and implementation AI applications in metrology Knowledge graph-based systems Ontology engineering EdTech for engineering education Manufacturing quality assurance Grants & Projects: EPSRC Future Metrology Hub (£78K each for two projects) ISO/TR 23605 standard development (international collaboration) National Natural Science Foundation projects (total funding: 12M+ CNY) Awards: Fellow of the Higher Education Academy Lead developer of award-winning Gongchabang APP Lab & Teams: Core member of the Centre for Precision Technologies, collaborating with industry leaders like NIO Inc. and Ametek Taylor Hobson.

William LathamView profile

Professor

• Evolutionary Art
• Generative Art
• Computer Graphics
• +5 more

William Latham is a Professor in the Computing Department at Goldsmiths, University of London. His work bridges computer science, visual art, and biology, focusing on evolutionary art, generative systems, and virtual reality. He has pioneered projects like Mutator VR , an immersive art platform exploring organic form evolution, and collaborated on medical visualization tools such as FoldSynth for molecular structures. Latham’s research intersects video game design, computational creativity, and interdisciplinary art-science collaborations. His creative works have been exhibited globally, including at the Centre Pompidou (Paris), Venice Biennale, and digital art festivals like CYFEST. He co-edited the foundational text Evolutionary Art and Computers (1992) and continues to explore applications of AI in art, healthcare, and interactive media. Key Roles & Projects: Professor of Computing (Goldsmiths) Lead developer of Mutator VR and Formscape VR Collaborations with institutions like UCL (aphasia therapy research), NHS, and game studios Founder of evolutionary art methodologies influencing generative design Research Themes: Generative art using evolutionary algorithms Immersive VR environments for creative expression Procedural content generation in games Applications of AI in medical visualization and therapy Exhibitions & Publications: Over 80+ peer-reviewed articles in journals like Leonardo , IEEE Transactions , and Computer Graphics Forum Featured in major exhibitions from 1980s至今, including Tate Britain and ARS Electronica Co-developer of commercial software like Organic Art and game titles for Sony/Sega

• Computer Vision
• Artificial Intelligence
• Machine Learning
• +4 more

Abhinav Shrivastava is an Associate Professor in the Department of Computer Science at the University of Maryland, College Park, with a joint appointment in the Institute for Advanced Computer Studies (UMIACS). His research focuses on AI, particularly computer vision, machine learning, and robotics, with applications in graphics, natural language processing, and cognitive neuroscience. He holds a Ph.D. from Carnegie Mellon University (2017) and an M.S. from the same institution (2011). Research Interests: His work emphasizes temporal understanding, visual perception, and open-world learning. He explores how machines can analyze temporal phenomena like human actions in videos and develop robust models for dynamic environments. Key Projects: Recipient of the NSF CAREER Award (2023) to advance computers' ability to understand temporal phenomena. His research includes developing computational frameworks for video understanding, object discovery, and neural representations for videos. Awards: NSF CAREER (2023), Best Paper Award (WACV 2020), Microsoft Research PhD Fellowship (2014-16), and recognition in media outlets like Wired and Forbes for contributions to AI and computer vision. Labs/Teams: Leads research in the Vision & Learning Center and contributes to the Institute for Trustworthy AI in Law & Society. Active in organizing workshops on open-world vision and novelty handling in AI systems.

Ilya SergeyView profile

Associate Professor

• Programming Languages
• Software Verification
• Distributed Systems
• +5 more

Associate Professor Ilya Sergey leads the Verified Systems Engineering (VERSE) lab at the School of Computing, National University of Singapore (NUS). He holds a PhD in Computer Science from KU Leuven and an MSc in Mathematics from Saint Petersburg State University. His research focuses on programming languages, software verification, distributed systems, and program synthesis. He is a recipient of the AITO Dahl-Nygaard Junior Prize (2019) and multiple ACM SIGPLAN Distinguished Paper Awards. His work includes developing the Scilla smart contract language and the Veil verification framework, emphasizing formal methods for ensuring software correctness. **Education**: PhD in Computer Science, KU Leuven, Belgium (2012) MSc in Mathematics and Computer Science, Saint Petersburg State University, Russia (2008) **Research Interests**: Design and Implementation of Programming Languages Formal Verification using Separation Logic Distributed Systems and Concurrency Program Synthesis and Automated Proof Repair **Recent Articles Trends**: His recent work emphasizes automated verification tools (e.g., Veil), exploit generation via synthesis, and compositional verification of Byzantine protocols. These contributions bridge foundational theory with practical applications in distributed systems and smart contracts. **Awards**: AITO Dahl-Nygaard Junior Prize (2019) ACM SIGPLAN Distinguished Paper Awards (PLDI'23, PLDI'21, POPL'19) Google, Facebook, and Amazon Research Awards **Advising & Grants**: He actively mentors PhD students in formal methods and verification. His grants include support from Google and industry partnerships. He organizes the ICFP Programming Contest and co-chairs ICFP'25. **Labs & Teams**: Leads the VERSE lab, part of the PLSE@NUS group, focusing on verified software systems and program synthesis.

Caitlin RayView profile

Assistant Professor

• Human Capital Resources
• Employee Mobility
• Social Capital
• +3 more

Caitlin Ray is an Assistant Professor in the Department of Human Resource Studies at Cornell University's ILR School. Her research examines how employees collectively generate organizational value through human capital resources, with focus on dynamic group composition factors like employee mobility and relational properties including social capital. Current investigations explore internal mobility patterns, human capital emergence through social networks, and value congruence effects on team performance. Her work integrates micro-level individual behaviors with macro-level organizational outcomes across diverse contexts including military personnel transitions. Educational background includes a PhD in Business Administration from the University of South Carolina, an MBA from Fayetteville State University, and a Bachelor's degree in Music from the University of New Hampshire.