Find Academic Supervisors

Vijay K. ShahView profile

Assistant Professor

• Networking
• Communications
• Controls
• +7 more

Vijay K. Shah is an Assistant Professor in the Electrical and Computer Engineering Department at North Carolina State University, leading the NextG Wireless Lab. His research focuses on advancing wireless communication and network technologies for beyond 5G/6G systems, including O-RAN architecture, spectrum management, and AI-driven network optimization. Education: Ph.D. in Computer Science, University of Kentucky (2019) Bachelor's in Computer Science and Engineering, National Institute of Technology, Durgapur (2013) Research emphasizes open radio access networks (O-RAN), mmWave testbeds, and cross-layer optimization. Recent work highlights include ORAN-Bench-13K (LLM benchmarking), ZT-RIC (zero-trust security frameworks), and Milli-O-RAN (reconfigurable mmWave networks). His contributions span O-RAN applications (xApps/rApps), satellite-terrestrial coexistence, and AI-driven positioning systems. Experimental validations include 3GPP-compliant 5G positioning and adversarial attack defenses. Publications reflect expertise in O-RAN architecture evolution, spectrum policy tools (ASCENT), and UAV-based network coordination (GLIDE). Current projects explore LEO satellite constellations and resilient disaster response networks. Labs/Teams: Head of the NextG Wireless Lab at NC State, focusing on prototype development in O-RAN, 6G, and secure AI-driven networks.

Jinhan KimView profile

Researcher

• Software Engineering
• Mutation Testing
• Fault Localization
• +4 more

Jinhan Kim is a Postdoctoral Researcher at the Università della Svizzera italiana (USI) in the Faculty of Informatics, working in the TAU lab under Prof. Paolo Tonella. He earned his Ph.D. from KAIST under Prof. Shin Yoo, focusing on software engineering research in mutation testing, fault localization, and deep learning system testing. His work bridges traditional software engineering techniques with AI-driven methodologies, emphasizing AI4SE and SE4AI paradigms. Education: Ph.D. in Software Engineering, KAIST, 2023 Research Interests: Mutation Testing Deep Learning System Testing Autonomous Systems Testing Adversarial Attack Detection Empirical Software Engineering Service and Leadership: Organized SBFT 2026 and DeepTest 2026 (co-located with ICSE 2026) Program Committee Member for ASE, ISSTA, Mutation, and DeMeSSAI Board of Distinguished Reviewers for TOSEM (2024–2025) Labs and Teams: Active contributor to the TAU Lab at USI, focusing on advanced software testing and AI integration.

Rajendran JeyavijayanView profile

Associate Professor

• Hardware Security
• Computer Security
• Hardware Fuzzing
• +4 more

Jeyavijayan 'JV' Rajendran is an Associate Professor in the Department of Electrical and Computer Engineering at Texas A&M University, part of the College of Engineering. He is an ASCEND Fellow and leads the Secure and Trustworthy Hardware (SETH) Lab. His research focuses on hardware security, computer security, and novel applications of AI in secure hardware design. Education: PhD in Electrical Engineering (NYU 2015), MS in Computer Engineering (NYU Tandon 2010), BE in Electronics and Communication Engineering (Anna University 2008). Research Interests: Hardware Security, Computer Security, Logic Locking, Hardware IP Protection, and Reinforcement Learning for Security. He explores AI-driven approaches to detect vulnerabilities, protect intellectual property, and enhance secure hardware design through fuzzing, obfuscation, and formal verification. Notable Awards: 2022 Office of Naval Research Young Investigator Award, 2021 IEEE CEDA Ernest Kuh Early Career Award, 2017 NSF CAREER Award. Lab and Teams: The SETH Lab focuses on trustworthy hardware design, developing techniques to secure integrated circuits against reverse engineering and IP theft. Current projects include LLM-based hardware code generation, formal approaches for hardware fuzzing, and AI-driven vulnerability detection.

• Industrial Automation
• Control Systems
• Machine Learning Applications
• +5 more

Valeriy Vyatkin is a Professor at the Department of Electrical Engineering and Automation, Aalto University. His research focuses on advancing industrial automation, control systems, and their integration with emerging technologies like machine learning and digital twins. He specializes in standards such as IEC 61499, addressing interoperability, formal verification, and performance optimization in distributed automation systems. Key research interests include: Physics-informed machine learning for industrial processes (e.g., steel rolling, reservoir engineering) Formal methods for control system validation and safety-critical applications Development of adaptive automation frameworks for Industry 5.0 challenges, including human-robot collaboration and energy systems Interoperability between legacy and modern industrial standards (OPAS, OPC UA) Recent work emphasizes real-time simulation, FPGA-based control prototyping, and AI-driven solutions for energy efficiency and sustainability in manufacturing, horticulture, and process industries. Publications span topics like robotic walker design, probabilistic model checking, and decentralized learning management systems. He collaborates on EU and industry-funded projects, focusing on digital twin implementation, edge computing, and virtual commissioning. His team develops tools for automated code generation, system migration, and anomaly detection in complex industrial settings.

• Autonomous Vehicles
• Intelligent Transportation Systems
• Robotics
• +7 more

Miguel Ángel Sotelo Vázquez is a full Professor at the University of Alcalá, leading the INVETT Research Group (Intelligent Vehicles and Traffic Technologies). He holds the Department of Automatic Control and specializes in autonomous systems, particularly in path planning, sensor fusion, and human-vehicle interaction. His research integrates machine learning, robotics, and control theory to address challenges in intelligent transportation systems. He earned his Ph.D. in 2001 with a thesis on autonomous vehicle navigation in partially known environments. His work emphasizes real-world deployment, explainable AI, and safety-critical systems. Recent projects focus on lane change prediction, pedestrian behavior modeling, and cybersecurity for autonomous systems. Key contributions include neuro-symbolic frameworks for decision-making, real-time multi-physics field reconstruction, and cross-cultural studies of pedestrian interactions. He collaborates internationally on urban mobility resilience and hydrogen refueling infrastructure. Research Highlights : Development of knowledge graph-based prediction architectures Experimental validation of human-vehicle interaction in VR environments Creation of the SCOUT trajectory prediction framework

Aryeh KontorovichView profile

Professor

• Theoretical Machine Learning
• Probability
• Statistics
• +4 more

Aryeh Kontorovich is a Professor in the Computer Science Department at Ben-Gurion University. His research primarily focuses on theoretical machine learning, with expertise in probability, statistics, Markov chains, and metric spaces. His research interests span theoretical machine learning, with particular emphasis on: Probability theory and concentration inequalities Statistical learning theory Markov chains and mixing time estimation Metric space learning Kernel methods Sample compression schemes Professor Kontorovich's recent publications (2021-2025) demonstrate a continued focus on theoretical foundations of machine learning. His work shows strong trends in statistical estimation for Markov processes, distribution learning, metric space analysis, and sample compression. Many papers explore the intersection of probability theory and machine learning, particularly examining concentration inequalities, minimax optimality, and theoretical guarantees for learning algorithms. His research consistently bridges abstract mathematical theory with practical machine learning applications. Scientific awards and recognitions: Distinguished contribution award at MLG 2007 for "A Universal Kernel for Learning Regular Languages" Professor Kontorovich has advised numerous students and collaborated extensively with researchers in theoretical machine learning. His work spans both theoretical foundations and practical applications, with significant contributions to understanding the mathematical limits of learning algorithms. While specific grant information isn't provided in the source material, his extensive publication record in top venues suggests successful funding for his research programs. He maintains active collaborations with researchers worldwide, including prominent names like L. Gottlieb, D. Berend, and S. Hanneke.

Andrew B. WhinstonView profile

Professor

• Artificial Intelligence
• E-Commerce
• Information Systems
• +2 more

Andrew B. Whinston is the Hugh Roy Cullen Centennial Chair in Business Administration and Professor at the Red McCombs School of Business, The University of Texas at Austin, with additional appointments in Computer Science and Economics. He directs the Center for Research in Electronic Commerce and holds the John Newton Centennial IC2 Fellowship, while serving as editor for Decision Support Systems and Organizational Computing, and Electronic Commerce journals. His research centers on Artificial Intelligence applications in E-Commerce and Information Systems, with current focus on electronic commerce dynamics. Key interests include identity management, reputation systems, sentiment analysis in social media, location-based networks, and the economic implications of the New Economy. His interdisciplinary work bridges business administration, computer science, and economics to address digital marketplace challenges. Recent publications reveal strong emphasis on empirical analysis of digital platforms, exploring auction mechanisms for network resources, tradable reputation systems, social influence in location-based networks, and manipulation of sentiment in online environments. These works demonstrate methodological diversity spanning computational modeling, behavioral experiments, and big data analytics applied to real-world e-commerce scenarios. Major recognitions include: Career Research Excellence Award from University Co-op (2015) Career Award for Outstanding Research Contribution at UT Austin (2009) LEO Award for Lifetime Exceptional Achievement in Information Systems (2005) Ford Foundation Faculty Research Fellowship (1966) No information regarding student advising or specific grant funding was provided in source materials. As Director of the Center for Research in Electronic Commerce, Whinston leads interdisciplinary initiatives advancing theoretical frameworks and practical applications for digital marketplaces, fostering collaboration between academia and industry stakeholders in e-commerce innovation.

• Control Technology
• Distributed Optimization
• Machine Learning
• +4 more

Mikael Johansson is a Professor at Kungliga Tekniska Högskolan (KTH), specializing in Control Technology . He teaches and coordinates courses such as Distributed Optimization (FEL3311) and various advanced-level degree projects in computer science, electrical engineering, and systems engineering. His research spans Control Systems , Machine Learning , and Optimization , with a focus on asynchronous algorithms, federated learning, and applications in energy systems and construction. His work includes 15 recent publications on topics like neural networks, distributed optimization, and battery technology. Notable areas of contribution are in asynchronous learning, federated learning with privacy constraints, and quasi-Newton methods for optimization. His research bridges theoretical advancements with practical applications in urban design, healthcare, and autonomous systems.

John E. TaylorView profile

Professor

• Smart City Digital Twins
• Urban Infrastructure Resilience
• Network Dynamics
• +5 more

John E. Taylor is the Frederick Law Olmsted Professor and Associate Chair for Faculty Development and Research Innovation at the Georgia Institute of Technology's School of Civil and Environmental Engineering within the College of Engineering. His research focuses on the intersection of human and engineered networks, with particular emphasis on creating resilient infrastructure systems that serve society's needs while creating more livable communities. Taylor's research interests span multiple domains including Smart City Digital Twins , Urban Infrastructure Resilience , Network Dynamics , and Building-Occupant Interaction . His work examines how human behavior, infrastructure systems, and environmental factors interact during normal operations and extreme events. He has developed innovative approaches to understanding urban systems through the lens of network theory and computational modeling. His publication record demonstrates consistent contributions to the fields of urban analytics and infrastructure resilience, with a recent focus on digital twin technologies for urban systems. Taylor's work shows a clear trajectory toward increasingly sophisticated integration of AI, network science, and civil infrastructure engineering to address complex urban challenges. His research has particular relevance for cities facing climate change impacts and seeking to build more equitable and resilient communities. Taylor leads the Network Dynamics Lab at Georgia Tech, where he mentors PhD students and postdoctoral researchers. His lab has produced significant work on human-infrastructure interaction, particularly during disasters and extreme events. The lab's research combines computational modeling, data analytics, and field studies to understand and improve urban systems. His work has been applied to real-world challenges including river emergency response systems, urban heat exposure forecasting, and disaster response optimization. Taylor has collaborated with city officials and agencies to implement systems that have demonstrable community benefits, such as the AI-enabled camera system for drowning prevention on the Chattahoochee River and crime reduction systems using mobile cameras guided by AI algorithms.

Paul RaysonView profile

Professor

• Natural Language Processing
• Corpus Linguistics
• Semantic Multilingual NLP
• +7 more

Professor Paul Rayson is a Professor of Natural Language Processing in the School of Computing & Communications at Lancaster University, UK. He serves as Director of the UCREL (University Centre for Computer Corpus Research on Language) interdisciplinary research centre and is affiliated with multiple research institutes including Security Lancaster, the Lancaster Centre for Digital Humanities, and the Data Science Institute. Education: PhD in Computer Science, Lancaster University (2003) BSc (Hons) Computer Science and Mathematics, Lancaster University (1990) Professor Rayson's research focuses on semantic multilingual Natural Language Processing (NLP) in challenging linguistic environments with noisy language data, including historical texts, learner language, speech, email, and other computer-mediated communication. His work spans applications in dementia detection, mental health analysis, online child protection, cyber security, learner dictionaries, and text mining of biomedical literature, historical corpora, and financial narratives. He has developed semantic tagging tools like USAS (UCREL Semantic Analysis System) and Wmatrix for corpus analysis. Major Awards and Honors: FHEA (Fellow of the Higher Education Academy) MBCS (Member of the British Computer Society) Professor Rayson has supervised numerous PhD students in NLP and corpus linguistics, with eight current students and seven completed doctorates. He has led or co-investigated multiple major research projects including the £3.5m ESRC-funded Centre for Corpus Approaches to Social Science (CASS), the National Corpus of Contemporary Welsh, and projects related to mental health forums, financial narrative analysis, and cyber security. His research has been supported by ESRC, EPSRC, and other funding bodies. As Director of UCREL, he oversees research in corpus linguistics and NLP. He is also active in the Cyber Security Research Centre, Digital Health Group, and multiple Data Science Institute initiatives. His lab has developed several widely-used NLP tools including CLAWS for English POS tagging, USAS semantic analysis system, Wmatrix corpus analysis tool, and the Variant Detector (VARD) for historical texts.

• Business Process Management
• Process Mining
• Complex Event Processing
• +5 more

Prof. Dr. Matthias Weidlich is a faculty member at Humboldt University of Berlin within the Institute of Computer Science under the Faculty of Mathematics and Natural Sciences . His research focuses on Process Mining , Complex Event Processing , and Data Privacy with applications in Business Process Management and Scientific Workflows . Research Interests: Business Process Management and Process Mining Complex Event Processing and Stream Data Analysis Data Privacy and Security in Process Systems Scientific Workflow Systems and User Behavior Heterogeneous Network Embeddings Algorithm Design and Optimization Recent Publications (2023-2025) demonstrate expertise in: Efficient stream processing techniques Privacy-preserving process mining frameworks Scientific workflow analysis tools Graph neural network applications Multi-modal data integration Adaptive querying systems Contact: Office: Unter den Linden 6, 10099 Berlin Phone: 030 2093-41277 Email: matthias.weidlich@hu-berlin.de Web: hu.berlin/data

Raul Castro FernandezView profile

Assistant Professor

• Data Management
• Data Science
• Databases
• +6 more

Raul Castro Fernandez is an Assistant Professor of Computer Science at the University of Chicago, where he researches data ecology, a concept he created to study how data shapes our world and how we can shape it back. He is the faculty co-lead of the Data Science Institute's Data Ecology Research Initiative and a member of ChiData, the data systems research group at the University of Chicago. He is also co-founder and Chief Research Officer at invocate and co-runs Chicago Data Night, a forum connecting industry and academia in Chicago. Castro Fernandez's research focuses on data ecology, data discovery, data markets, and data integration. He develops both theory and systems that help people and organizations find, evaluate, and use data effectively. His work often uses techniques from data management, statistics, and machine learning. He has pioneered concepts in data market design, understanding the economics of data, and building platforms to support markets of data. His research on data ecology frames how data moves through and transforms technological, economic, and social systems—and how to design interventions to make those ecosystems more valuable, equitable, and resilient. His publications reveal a strong focus on data markets, data discovery, and LLM applications for data management. Recent work includes Pneuma (leveraging LLMs for tabular data), Solo (data discovery using natural language), and Nexus (correlation discovery for spatio-temporal data). His research spans theoretical foundations of data value to practical systems for data sharing and discovery. SIGMOD Test of Time Award (2023) NSF CAREER Award (2024) Sloan Research Fellowship (2025) Castro Fernandez has advised numerous PhD, Master's, and undergraduate students who have gone on to pursue PhDs at institutions like University of Washington and Stony Brook, joined companies like Google, Anthropic, and Citadel, or founded startups. His teaching includes courses on The Value of Data, Ethics in Data Science, and Introduction to Databases. He serves on program committees for major conferences including SIGMOD, VLDB, and CIDR, and has been recognized as a Distinguished Reviewer by multiple venues.

Mitra Bokaei HosseiniView profile

Assistant Professor

• Legal Compliance
• Natural Language Processing
• Privacy
• +3 more

Mitra Bokaei Hosseini is an Assistant Professor in the Department of Computer Science at the University of Texas at San Antonio (UTSA), part of the College of Sciences. She holds a Ph.D. in Computer Science from UTSA, an M.S. in Information Technology from K.N. Toosi University of Technology, and a B.S. in Information Technology from Qazvin Islamic Azad University. Her research focuses on legal compliance, natural language processing (NLP), privacy, and software engineering, with an emphasis on regulatory compliance frameworks, privacy policy analysis, and automated tools for policy adherence. Her work bridges NLP techniques with practical applications in software development and mobile security. Key research trends in her articles include privacy policy analysis, automated extraction of regulatory requirements, and the use of machine learning (e.g., few-shot learning, large language models) to align code with privacy policies. Her work addresses challenges in disambiguating policy ambiguities, identifying third-party entities, and ensuring compliance in mobile applications. No scientific awards are explicitly mentioned. Her advising record and grants are not detailed in the provided texts. She may be affiliated with research teams or labs focused on privacy and NLP, though specifics are not listed.

Andreas LööwView profile

Lecturer

• Hardware Verification
• Software Verification
• Symbolic Execution
• +5 more

Andreas Lööw is a Lecturer at Royal Holloway, University of London , focusing on hardware and software verification. Previously, he was a postdoctoral researcher at Imperial College London under Philippa Gardner , contributing to the Gillian Platform . He completed his PhD at Chalmers University of Technology under Magnus Myreen , specializing in interactive theorem proving and hardware verification. His research explores symbolic execution, separation logic, and formal verification of hardware/software systems. Key projects include Betterlog (Verilog semantics reformulation) and foundational work on the Gillian Platform . 2025 : Compositional Symbolic Execution for Memory Models 2025 : Simulation Semantics of Synthesisable Verilog 2024 : Compositional Symbolic Execution for Correctness/Incorrectness 2023 : Exact Separation Logic (Distinguished Paper at ECOOP'24) 2023 : Hardware Verification of Pipelined Processors 2022 : Verilog Concurrency Analysis 2021 : Verified Verilog Compiler (Lutsig) Scientific Awards : Distinguished Paper at ECOOP 2024 He maintains the vv Verilog visualization tool and collaborates on the Gillian Platform . Contact: andreas.loow@rhul.ac.uk

Xujie SiView profile

Assistant Professor

• Artificial Intelligence
• Machine Learning
• Software Engineering
• +5 more

Xujie Si is an Assistant Professor in the Department of Computer Science at the University of Toronto. He is also a faculty affiliate at the Vector Institute and an affiliate member at Mila - Quebec AI Institute, holding a Canada CIFAR AI Chair. Previously, he served as an Assistant Professor at McGill University's School of Computer Science. Education: Ph.D., Computer and Information Science, University of Pennsylvania (advised by Mayur Naik) M.S., Computer Science, Vanderbilt University B.E. (with Honors), Nankai University Research Focus: His work bridges AI and program reasoning, emphasizing the integration of statistical and logical methods. Key areas include: Static analysis and verification using deep learning/reinforcement learning Neuro-symbolic systems for urban simulation (e.g., LogiCity) Automated theorem proving via LLMs and symbolic reasoning Program repair and compiler fuzzing Recent Article Trends: Recent work focuses on synergizing LLMs with symbolic reasoning (e.g., Olympiad inequality proving), advancing SAT solving with graph neural networks, and applying neuro-symbolic methods to Euclidean geometry formalization. Awards: Canada CIFAR AI Chair (2023) Lab/Teams: Leads research teams exploring program analysis, neuro-symbolic AI, and formal verification at the University of Toronto and Vector Institute.